Function Extraction: Automated Behavior Computation for Aerospace Software Verification and Certification
Redge Bartholomew, Luanne Burns, Tim Daly, Richard C. Linger, Stacy Prowell · AIAA Infotech@Aerospace 2007 Conference and Exhibit · 2007
[Abstract] The complex aerospace systems of the future will challenge the capabilities of present-day software engineering, which is reaching cost and complexity limits of development technologies evolved in the first fifty years of computing. A new science for the next fifty years is required to transform software engineering into a computational discipline capable of fast and dependable software development. This paper describes verification and certification challenges for avionics software, in particular, the need to verify behavior in all circumstances of use. The emerging technology of function extraction (FX) for automated computation of software behavior is discussed as a new technology for avionics software certification. An FX demonstration system is employed to illustrate the role of behavior computation in the avionics certification process. I. Verification and Certification of Avionics Software The purpose of software verification in the certification context is to eliminate errors introduced during development, typically in compliance with industry or government guidance. In the case of software for commercial aviation, the FAA recognizes 1 the guidance provided by RTCA DO-178B 2, and aviation software developers use it as a compliance document. Among other things it advises the development team to make sure system requirements that were allocated to software have been developed into high-level software requirements, and that those have been