Function Extraction: Automated Behavior Computation for Aer ospace Software Verification and Certification
2007
[Abstract] The complex aerospace systems of the future will challenge the capabi lities 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 technol ogy 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 certi fication process.
Keywords:
- Software construction
- Computer engineering
- Software verification
- Social software engineering
- Avionics software
- Package development process
- Software Engineering Process Group
- Software verification and validation
- Computer science
- Software development
- Software development process
- Life-critical system
- Software system
- Software engineering
- Correction
- Source
- Cite
- Save
- Machine Reading By IdeaReader
5
References
16
Citations
NaN
KQI