Using Objective Caml to Develop Safety-Critical Embedded Tools in a Certification Framework

Pascal Manoury (1)

1 PPS - Preuves, Programmes et Systèmes

The French company Esterel-Technologies decided in 2006 to base on Objective Caml its new SCADE SUITE 6TM certifiable code generator. This paper outlines how it has been challenging in the context of safety critical software development by the rigourous norms DO-178B, IEC 61508, EN 50128 and such.

Domaines: Autre [cs.OH]

Pascal Manoury. Using Objective Caml to Develop Safety-Critical Embedded Tools in a Certification Framework. International conference on functional programming, Aug 2009, Edinburgh, United Kingdom. p 42. ⟨hal-00641005⟩