DocumentCode
588679
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
fYear
2012
fDate
27-30 Nov. 2012
Firstpage
331
Lastpage
336
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Reliability Engineering Workshops (ISSREW), 2012 IEEE 23rd International Symposium on
Conference_Location
Dallas, TX
Print_ISBN
978-1-4673-5048-8
Type
conf
DOI
10.1109/ISSREW.2012.100
Filename
6405466
Link To Document