Skip to Main content Skip to Navigation
New interface
Journal articles

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.
Complete list of metadata

Cited literature [86 references]  Display  Hide  Download
Contributor : Antoine Miné Connect in order to contact the contributor
Submitted on : Thursday, May 5, 2016 - 9:35:28 AM
Last modification on : Saturday, November 19, 2022 - 3:59:09 AM
Long-term archiving on: : Tuesday, November 15, 2016 - 8:30:19 PM


Files produced by the author(s)



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⟩



Record views


Files downloads