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