Space software validation using abstract interpretation

Olivier Bouissou; Eric Conquet; Patrick Cousot; Radhia Cousot; Jérôme Feret; Khalil Ghorbal; Eric Goubault; David Lesens; Laurent Mauborgne; Antoine Miné; Sylvie Putot; Xavier Rival; Michel Turin

Space software validation using abstract interpretation

Olivier Bouissou
, Eric Conquet
, Patrick Cousot
, Radhia Cousot
, Jérôme Feret
, Khalil Ghorbal
, Eric Goubault
, David Lesens
, Laurent Mauborgne
, Antoine Miné
, Sylvie Putot
, Xavier Rival
, Michel Turin

LIST-DTSI-SLA CEA
ESTEC - European Space Research and Technology Centre
DI
CNRS
INRIA Institut National de Recherche en Informatique et en Automatique
Airbus Defence and Space
GTI6

Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

19 Citations (Scopus)

Résumé

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).

langue originale	Anglais
titre	Proceedings of DASIA 2009 Conference on DAta Systems In Aerospace
état	Publié - 1 déc. 2009
Modification externe	Oui
Evénement	DASIA 2009 Conference on DAta Systems In Aerospace - Istanbul, Turquie Durée: 26 mai 2009 → 29 mai 2009

Série de publications

Nom	European Space Agency, (Special Publication) ESA SP
Volume	669 SP
ISSN (imprimé)	0379-6566

Une conférence

Une conférence	DASIA 2009 Conference on DAta Systems In Aerospace
Pays/Territoire	Turquie
La ville	Istanbul
période	26/05/09 → 29/05/09

Contient cette citation

@inproceedings{80da399ab1554f0184a0823596c67097,

title = "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}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).",

author = "Olivier Bouissou and Eric Conquet and Patrick Cousot and Radhia Cousot and J{\'e}r{\^o}me Feret and Khalil Ghorbal and Eric Goubault and David Lesens and Laurent Mauborgne and Antoine Min{\'e} and Sylvie Putot and Xavier Rival and Michel Turin",

year = "2009",

month = dec,

day = "1",

language = "English",

isbn = "9789292212339",

series = "European Space Agency, (Special Publication) ESA SP",

booktitle = "Proceedings of DASIA 2009 Conference on DAta Systems In Aerospace",

note = "DASIA 2009 Conference on DAta Systems In Aerospace ; Conference date: 26-05-2009 Through 29-05-2009",

}

Bouissou, O, Conquet, E, Cousot, P, Cousot, R, Feret, J, Ghorbal, K, Goubault, E, Lesens, D, Mauborgne, L, Miné, A, Putot, S, Rival, X & Turin, M 2009, Space software validation using abstract interpretation. Dans Proceedings of DASIA 2009 Conference on DAta Systems In Aerospace. European Space Agency, (Special Publication) ESA SP, VOL. 669 SP, DASIA 2009 Conference on DAta Systems In Aerospace, Istanbul, Turquie, 26/05/09.

Space software validation using abstract interpretation. / Bouissou, Olivier; Conquet, Eric; Cousot, Patrick et al.
Proceedings of DASIA 2009 Conference on DAta Systems In Aerospace. 2009. (European Space Agency, (Special Publication) ESA SP; Vol 669 SP).

Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

TY - GEN

T1 - Space software validation using abstract interpretation

AU - Bouissou, Olivier

AU - Conquet, Eric

AU - Cousot, Patrick

AU - Cousot, Radhia

AU - Feret, Jérôme

AU - Ghorbal, Khalil

AU - Goubault, Eric

AU - Lesens, David

AU - Mauborgne, Laurent

AU - Miné, Antoine

AU - Putot, Sylvie

AU - Rival, Xavier

AU - Turin, Michel

PY - 2009/12/1

Y1 - 2009/12/1

N2 - 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).

AB - 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).

M3 - Conference contribution

AN - SCOPUS:74549162684

SN - 9789292212339

T3 - European Space Agency, (Special Publication) ESA SP

BT - Proceedings of DASIA 2009 Conference on DAta Systems In Aerospace

T2 - DASIA 2009 Conference on DAta Systems In Aerospace

Y2 - 26 May 2009 through 29 May 2009

ER -

Space software validation using abstract interpretation

Résumé

Série de publications

Une conférence

Empreinte digitale

Contient cette citation