Static Analysis and Verification of Aerospace Software by Abstract Interpretation - Sorbonne Université Accéder directement au contenu
Article Dans Une Revue Foundations and Trends in Programming Languages Année : 2015

Static Analysis and Verification of Aerospace Software by Abstract Interpretation

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

Citer

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⟩
321 Consultations
260 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More