Section: Overall Objectives

Highlights of the Year

In February 2009, the industrialization of the Astrée analyzer started with the signature of a license agreement with AbsInt Angewandte Informatik GmbH. Astrée should be commercially available from AbsInt in the near future.

In 2009, the Space Software Validation using Abstract Interpretation ESA-ITI project with ESA, CEA, and Astrium Space Transportation concluded that the new generation of static analyzers, including Astrée , can be used to improve the safety of embedded critical space software (in the past, industrial codes analyzed by Astrée originated mainly from the avionic industry).