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

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.