about this paper

presentation abstract bibitem

downloads

paper (on HAL) editor link
Olivier Bouissou, Éric Conquet, Patrick Cousot, Radhia Cousot, Jérôme Feret, Khalil Ghorbal, Éric Goubault, David Lesens, Laurent Mauborgne, Antoine Miné, Sylvie Putot, Xavier Rival, & Michel Turin.
Space Software Validation using Abstract Interpretation.
 In Proc. of the Int. Space System Engineering Conf., Data Systems in Aerospace (DASIA 2009). Istambul, Turkey, May 2009, 7 pages.
ESA.

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:

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

@inproceedings{BouissouEtAl-DASIA09,
  author =    {O{.} Bouissou and \'E{.} Conquet and P{.} Cousot and R{.} Cousot and  J{.} Feret and K{.} Ghorbal and É{.} Goubault and D{.} Lesens and L{.} Mauborgne and A{.} Min\'e and S{.} Putot and X{.} Rival and M{.} Turin},
  title =     {Space Software Validation using Abstract Interpretation},
  pages =     {1--7},
  volume =    {SP-669},
  year =      {2009},
  month =     may,
  address =   {Istambul, Turkey},
  booktitle = {Proc. of the Int. Space System Engineering Conf.,
               Data Systems in Aerospace (DASIA 2009)},
  publisher = {ESA},
}