Translation validation for synchronous data-flow equations in a Lustre compiler

Abstract

Research Context The synchronous data-flow language SCADE is the de-facto standard to implement reactive systems in critical domains, including nuclear energy, avionics, railways, and automotive (http://www.esterel-technologies.com). The SCADE compiler is written in OCaml and is “qualified” with the highest safety requirements (norm DO-178C, level A). This certification is instrumental for the SCADE success but imposes a major overhead to implement even simple modifications of the compiler.

Cite this paper

@inproceedings{Pouzet2012TranslationVF, title={Translation validation for synchronous data-flow equations in a Lustre compiler}, author={Marc Pouzet and Francesco Zappa Nardelli}, year={2012} }