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.
Supplemental Material
- Gérard Berry. The Effectiveness of Synchronous Languages for the Development of Safety-Critical Systems. Technical report, Esterel-Technologies, 2003.Google Scholar
- Jean-Louis Camus and Bernard Dion. Efficient Development of Airborne Software with SCADE Suite TM. Technical report, Esterel-Technologies, 2003.Google Scholar
- Jean-Louis Colaço and Marc Pouzet. Clocks as First Class Abstract Types. In Third International Conference on Embedded Software (EMSOFT'03), Philadelphia, Pennsylvania, USA, oct 2003.Google Scholar
Cross Ref
- Jean-Louis Colaço, Bruno Pagano, and Marc Pouzet. A Conservative Extension of Synchronous Data-flow with State Machines. In ACM International Conference on Embedded Software (EMSOFT'05), Jersey city, New Jersey, USA, sep 2005. Google Scholar
Digital Library
- P. Cousot, R. Cousot, J. Feret, L. Mauborgne, A. Miné, D. Monniaux, and X. Rival. The astrée analyser. In European Symposium on Programming. LNCS, April 2005.Google Scholar
- ECMA-367: Eiffel analysis, design and programming language. ECMA (European Association for Standardizing Information and Communication Systems), pub-ECMA:adr, June 2005.Google Scholar
- N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud. The synchronous dataflow programming language lustre. In Proceedings of the IEEE, pages 1305--1320, 1991.Google Scholar
Cross Ref
- Kelly J. Hayhurst, Dan S. Veerhusen, John J. Chilenski, and Leanna K. Rierson. A Practical Tutorial on Modified Condition/Decision Coverage. Technical report, NASA/TM-2001-210876, May 2001.Google Scholar
- Xavier Leroy, Damien Doligez, Jacques Garrigue, Didier Rémy, and Jérôme Vouillon. The Objective Caml system, documentation and user's manual - release 3.11. INRIA, December 2008. URL http://caml.inria.fr/pub/docs/manual-ocaml/.Google Scholar
- Bruno Pagano, Olivier Andrieu, Benjamin Canou, Emmanuel Chailloux, Jean-Louis Colaço, Thomas Moniot, and Philippe Wang. Certified development tools implementation in objective caml. In Paul Hudak and David Scott Warren, editors, Tenth International Symposium on Practical Aspects of Declarative Languages (PADL), volume 4902 of Lecture Notes in Computer Science, pages 2--17. Springer, 2008. Google Scholar
Digital Library
- Marc Pouzet. Lucid Synchrone version 3.0 : Tutorial and Reference Manual, 2006. (www.lri.fr/%7Epouzet/lucid-synchrone).Google Scholar
- The Coq Development Team LogiCal Project. The Coq Proof Assistant Reference Manual, 2006. (coq.inria.fr/V8.1beta/refman).Google Scholar
- RTCA/DO-178B. Software Considerations in Airborne Systems and Equipment Certification. Radio Technical Commission for Aeronautics RTCA, pages 31,74, December 1992.Google Scholar
Index Terms
Experience report: using objective caml to develop safety-critical embedded tools in a certification framework
Recommendations
Experience report: using objective caml to develop safety-critical embedded tools in a certification framework
ICFP '09: Proceedings of the 14th ACM SIGPLAN international conference on Functional programmingHigh-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 ...
Safety critical Java™ technology
JTRES '06: Proceedings of the 4th international workshop on Java technologies for real-time and embedded systemsA specification for Java in safety critical systems is being developed by The Open Group under the Java Community Process. The JSR-302 Expert Group has begun work to create this specification based on the Real-Time Specification for Java (RTSJ) that ...
An agile v-model for medical device software development to overcome the challenges with plan-driven software development lifecycles
SEHC '13: Proceedings of the 5th International Workshop on Software Engineering in Health CareThrough the use of semi structured interviews with medical device software organizations it emerged that medical device software organizations are experiencing difficulties when following plan driven Software Development Life Cycles (SDLC), particularly ...







Comments