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.
![](../PICS/PDFICON.GIF)
view full paper