Experience Report: Using Objective Caml to develop safety-critical embedded tool in a certification framework - CNRS - Centre national de la recherche scientifique Accéder directement au contenu
Communication Dans Un Congrès Année : 2009

Experience Report: Using Objective Caml to develop safety-critical embedded tool in a certification framework

Bruno Pagano
  • Fonction : Auteur
Olivier Andrieu
Thomas Moniot
  • Fonction : Auteur
Pascal Manoury
  • Fonction : Auteur
  • PersonId : 829387
Jean-Louis Colaço
  • Fonction : Auteur

Résumé

High-level tools have become unavoidable in industrial software development processes. Safety-critical embedded programs don't escape this trend. In the context of safety-critical embedded systems, the development processes follow strict guidelines and requirements. The development quality assurance applies as much to the final embedded code, as to the tools themselves. The French company Esterel Technologies decided in 2006 to base its new SCADE SUITE 6TM certifiable code generator on Objective Caml. This paper outlines how it has been challenging in the context of safety critical software development by the rigorous norms DO-178B, IEC 61508, EN 50128 and such.
Fichier non déposé

Dates et versions

hal-00396371 , version 1 (17-06-2009)

Identifiants

Citer

Bruno Pagano, Olivier Andrieu, Thomas Moniot, Benjamin Canou, Emmanuel Chailloux, et al.. Experience Report: Using Objective Caml to develop safety-critical embedded tool in a certification framework. The 14th ACM SIGPLAN International Conference on Functional Programming (ICFP 2009), Aug 2009, Edinburgh, United Kingdom. pp.215-220, ⟨10.1145/1596550.1596582⟩. ⟨hal-00396371⟩
156 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More