Static Analysis and Verification of Aerospace Software by Abstract Interpretation - Sorbonne Université Access content directly
Journal Articles Foundations and Trends in Programming Languages Year : 2015

Static Analysis and Verification of Aerospace Software by Abstract Interpretation

Abstract

We discuss the principles of static analysis by abstract interpretationand report on the automatic verification of the absence of runtimeerrors in large embedded aerospace software by static analysis basedon abstract interpretation. The first industrial applications concernedsynchronous control/command software in open loop. Recent advancesconsider imperfectly synchronous programs, parallel programs, and targetcode validation as well. Future research directions on abstract interpretationare also discussed in the context of aerospace software.
Fichier principal
Vignette du fichier
article-bertrane-al-fntpl15.pdf (1.83 Mo) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-01312241 , version 1 (05-05-2016)

Identifiers

Cite

Julien Bertrane, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, et al.. Static Analysis and Verification of Aerospace Software by Abstract Interpretation. Foundations and Trends in Programming Languages, 2015, 2 (2-3), pp.171-291. ⟨10.1561/2500000002⟩. ⟨hal-01312241⟩
323 View
264 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More