Title :
Using Formal Methods and Testability Concepts in the Avionics Systems Validation and Verification (V&V) Process
Author_Institution :
Airbus France, Toulouse, France
Abstract :
Airbus has used formal methods for several years to specify avionics systems. Thanks to these methods, formal verification, testability concepts and automatic test case generation were explored and experimented on Airbus systems. This paper depicts the Airbus validation and verification process all along the system development cycle pointing out what kinds of static analysis and dynamic verification and validation activities are conducted. Then, we focus on innovative methods based on testing strategies for traceability purposes, testing design and fault isolation. Some considerations related to automatic test case generation are also discussed.
Keywords :
avionics; formal verification; program testing; airbus; automatic test case generation; avionics systems validation and verification process; formal methods; formal verification; system development cycle; testability concepts; Aerospace electronics; Aircraft; Assembly systems; Automatic testing; Automation; Fault diagnosis; Formal specifications; Ground support; Software testing; System testing; Formal methods; automatic test case generation; testing strategy; validation and verification;
Conference_Titel :
Software Testing, Verification and Validation (ICST), 2010 Third International Conference on
Conference_Location :
Paris
Print_ISBN :
978-1-4244-6435-7
DOI :
10.1109/ICST.2010.38