@inproceedings{512ada88e2df481689ed44abc860f0ef,
title = "Function extraction: Automated behavior computation for aerospace software verification and certification",
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.",
author = "Redge Bartholomew and Luanne Burns and Tim Daly and Rick Linger and Stacy Prowell",
year = "2007",
doi = "10.2514/6.2007-2929",
language = "English",
isbn = "1563478935",
series = "Collection of Technical Papers - 2007 AIAA InfoTech at Aerospace Conference",
publisher = "American Institute of Aeronautics and Astronautics Inc.",
pages = "2145--2153",
booktitle = "Collection of Technical Papers - 2007 AIAA InfoTech at Aerospace Conference",
note = "2007 AIAA InfoTech at Aerospace Conference ; Conference date: 07-05-2007 Through 10-05-2007",
}