Skip to Main content Skip to Navigation
Conference papers

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

Abstract : 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.
Document type :
Conference papers
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-00396371
Contributor : Emmanuel Chailloux Connect in order to contact the contributor
Submitted on : Wednesday, June 17, 2009 - 5:56:17 PM
Last modification on : Friday, January 8, 2021 - 5:32:06 PM

Identifiers

Citation

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⟩

Share

Metrics

Record views

397