Safety assessment of virtualization computing platform for avionics system of civil aircraftHuan YANG, Xiaodong WANG, Geng LI, Shuang ZHANG and Yangming GUOJNWPU, 42 1 (2024) 45-52DOI: https://doi.org/10.1051/jnwpu/20244210045