I spent a very interesting week in Toulouse last week. It started with a day of conference in which INRIA research labs showed a host of products and advanced research applicable to the domains of modeling and safety. There was in particular demos of Astrée (static analyzer for C, now sold by AbsInt Gmbh), Frama-C (framework for analyses on C, partner in Hi-Lite) and Alt-Ergo (prover SMT, partner in Hi-Lite).
It continued with the conference ERTS² during 3 days, which gathered many French and European providers and customers of embedded solutions. I’d like to highlight 3 presentations:
- the Formal Methods Subgroup of the upcoming DO-178C standard presented how formal methods may be used in a certification context
- PolySpace and automotive stakeholders presented the use of static analysis tools to ensure levels of quality from subcontractors
- the initiative “Certification Together” presented the goals of their initiative to share the cost of certification
One Comment
Videos of the demos are now online:
http://www.inria.fr/valorisation/rencontres/industries-aeronautique/videos-demos.fr.html