Safety assessment of virtualization computing platform for avionics system of civil aircraft

被引：0
|
作者：
Yang H. [1 ]
Wang X. [1 ]
Li G. [1 ]
Zhang S. [2 ]
Guo Y. [3 ]
机构：
[1] School of Computer Science, Northwestern Polytechnical University, Xi′an
[2] Xi′an Aeronautical Computing Technique Research Institute, Xi′an
[3] School of Cybersecurity, Northwestern Polytechnical University, Xi′an
来源：
Xibei Gongye Daxue Xuebao/Journal of Northwestern Polytechnical University | 2024年 / 42卷 / 01期
关键词：
analytical hierarchy process; civil aircraft; computing platform; functional safety; virtualization;
D O I：
10.1051/jnwpu/20244210045
中图分类号：
学科分类号：
摘要：
Aiming at the main problems that affect the security of airborne computing platform after virtualization, such as time-space isolation, fault isolation and schedulability, this paper studies the security level evaluation of airborne computing platform under virtualization environment. Considering the characteristics of virtualized avionics system, a security calculation method based on analytic hierarchy process (AHP) and gray correlation analysis (GARD) is proposed. The safety evaluation decision tree of airborne virtualization computing platform is established, and the weight of each safety capability is calculated by AHP method, and the overall safety score of the system is given. On this basis, combined with GRAP method and referring to the safety evaluation of avionics system, the safety level with the highest adaptability between the test system and DAL safety level requirements is calculated, realizing security grade evaluation of airborne computing platform under virtualization environment. ©2024 Journal of Northwestern Polytechnical University.
引用
收藏
页码：45 / 52
页数：7
相关论文
共 18 条
  • [11] JAKUB S, RUBY B L., Architectural support for hypervisor-secure virtualization [ C], Proceedings of the International Conference on Architertural Support for Programming Languages and Opterating Systems, (2012)
  • [12] HAO Jifeng, YU Baozhong, ZHOU Ting, Et al., Design and implementation of the multicore hybrid partition scheduling algorithm, Microelectronics & Computer, 33, 7, pp. 140-144, (2016)
  • [13] WANG Xinran, Performance optimization of secure virtualization containers, (2020)
  • [14] FU Ning, DU Chenglie, LI Jianliang, Et al., Analysis and verification of AADL hierarchical schedulers, Journal of Computer Research and Development, 52, 1, pp. 167-176, (2015)
  • [15] LEI Yuliang, HU Ning, CHEN Fu, Et al., Verification method of schedulability for real-time task in ARINC653, Microcontrollers & Embedded Systems, 21, 4, pp. 15-20, (2021)
  • [16] BUI B D, CACCAMO M, SHA L, Et al., Impact of cache partitioning on multi-tasking real-time embedded systems, 2008 14th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, pp. 101-110, (2008)
  • [17] ALTMEYER S, DOUMA R, LUNNISS W, Et al., On the effectiveness of cache partitioning in hard real-time systems, RealTime Systems, 52, 5, pp. 598-643, (2016)
  • [18] YANG Shiping, Research on crisis prevention technology of distributed mission-critical real-time system, (2004)
12