Space Software Validation using Abstract Interpretation

Abstract : This paper reports the results of an ESA funded project on the use of abstract interpretation to validate critical real-time embedded space software. Abstract interpretation is industrially used since several years, especially for the validation of the Ariane 5 launcher. However, the limitations of the tools used so far prevented a wider deployment. Astrium Space Transportation, CEA, and ENS have analyzed the performances of two recent tools on a case study extracted from the safety software of the ATV: * ASTRÉE, developed by ENS and CNRS, to check for run-time errors, * FLUCTUAT, developed by CEA, to analyse the accuracy of numerical computations. The conclusion of the study is that the performance of this new generation of tools has dramatically increased (no false alarms and fine analysis of numerical precision).
Type de document :
Communication dans un congrès
The International Space System Engineering Conference : Data Systems in Aerospace - DASIA 2009, May 2009, Istambul, Turkey. European Space Agency, 1, pp.1-7, 2009
Liste complète des métadonnées

Littérature citée [8 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00528590
Contributeur : Jérôme Feret <>
Soumis le : lundi 11 décembre 2017 - 15:57:26
Dernière modification le : mardi 24 avril 2018 - 17:20:13

Fichier

dasia2009.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00528590, version 1

Collections

CEA | INRIA | DRT | PSL | LIST

Citation

Olivier Bouissou, Eric Conquet, Patrick Cousot, Radhia Cousot, Jérôme Feret, et al.. Space Software Validation using Abstract Interpretation. The International Space System Engineering Conference : Data Systems in Aerospace - DASIA 2009, May 2009, Istambul, Turkey. European Space Agency, 1, pp.1-7, 2009. 〈inria-00528590〉

Partager

Métriques

Consultations de la notice

423

Téléchargements de fichiers

17