Using static analysis in space: why doing so?

  • Authors:

  • David Lesens

  • Affiliations:

  • EADS Astrium Space Transportation, Route de Verneuil, France

  • Venue:
  • SAS'10 Proceedings of the 17th international conference on Static analysis
  • Year:
  • 2010

Quantified Score

Hi-index 0.01

Visualization

Abstract

This paper presents the point of view of an industrial company of the space domain on static analysis. It first discusses the compatibility of static analysis with the standards applicable for the development of critical embedded software in the European space domain. It then shows the practical impact of such a technology on the software development process. After the presentation of some examples of industrial use of static analysis, it concludes by envisaging the future needs of industry concerning static analysis.