In the context of the safety-critical embedded, the development processes follow strict guidelines and requirements. The development quality assurance applies as well to the final embedded code, as to the tools themselves.
The French company Esterel-Technologies decided in 2006 to base on Objective Caml its new SCADE Suite(TM) certifiable code generator. This paper outlines how it has been challenging in the context of safety-critical embedded software development by the rigourous norms DO-178B, EN 50128, IEC 61508 and such.
START Conference Manager (V2.56.8 - Rev. 748M)