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
Y1 - 2009
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).
UR - http://www.scopus.com/inward/record.url?scp=74549162684&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=74549162684&partnerID=8YFLogxK
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 -