Communication Dans Un Congrès Année : 2019

Keynote : Some industrial applications I’ve been involved in

Résumé

Designers of safety-critical systems have to ensure these systems behave as intended. In certain application domains (e.g. avionics at the highest safety levels), this is an onerous and ponderous process. I will discuss my personal experience with two projects: 1) ASTRÉE: a tool for automatically proving that programs do not have undefined behaviors (accesses out of bounds, overflows…).

2) CompCert: a compiler for which there is a mathematical proof that the assembly code is a faithful translation of the source code.

Both tools, arising from French academic projects, are now commercialized by Absint GmbH.

Monniaux_ECRTS_2019.pdf (161.14 Ko) Télécharger le fichier
Monniaux_ECRTS_2019_abstract.pdf (71.06 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence

Dates et versions

hal-04827834 , version 1 (09-12-2024)

Identifiants

Citer

David Monniaux. Keynote : Some industrial applications I’ve been involved in. Euromicro conference on real-time systems (ECRTS), Euromicro; Arne Hamann; Dirk Ziegenbein, Jul 2019, Stuttgart, Germany. ⟨10.4230/LIPIcs.ECRTS.2019.0⟩. ⟨hal-04827834⟩
52 Consultations
24 Téléchargements

Altmetric

Partager

  • More