27th Congress of International Council of the Aeronautical Sciences, 19 - 24 September 2010, Nice, France
Paper ICAS 2010-10.5.2

AIRBORNE SOFTWARE VERIFICATION FRAMEWORK AIMED AT AIRWORTHINESS

Y. Wu, B. Liu
Beihang Univ., China

Keywords: software airworthiness, software verification framework, software reliability and safety

The verification framework is presented based on the mapping work of software life cycle processes between GJB2786 and DO-178B to satisfy the airworthiness requirements for the airborne software. The verification schemes with the implementation guides are also proposed to make the verification framework come into practice.

view full paper