Title :
Combination of Static and Dynamic Analyses for the Certification of Avionics Software
Author :
Ferlin, A. ; Wiels, Virginie
Author_Institution :
EYYWDV/DTIM, Airbus Oper. S.A.S., Toulouse, France
Abstract :
This paper proposes a dynamic analysis approach developed for the verification of avionics software. The objective is to formally verify temporal properties on execution traces. The approach consists of three steps: computation of the necessary observation points in the program using static analysis, execution of the program and generation of the execution trace, verification of the temporal property on the trace. The approach has been implemented in a tool.
Keywords :
aerospace computing; avionics; certification; formal verification; program diagnostics; avionics software verification; certification; dynamic analysis approach; execution traces; formally verification; program execution; program generation; static analysis; temporal property; Abstracts; Aerospace electronics; Automata; Context; Observability; Pragmatics; Software;
Conference_Titel :
Software Reliability Engineering Workshops (ISSREW), 2012 IEEE 23rd International Symposium on
Conference_Location :
Dallas, TX
Print_ISBN :
978-1-4673-5048-8
DOI :
10.1109/ISSREW.2012.100
