Industry Papers

Industry Papers on Esterel

A fast Esterel-to-C compiler developed at Synopsys:

  • Compiling Esterel into Sequential Code.
    Stephen Edwards, Synopsys, Mountain View, CA, USA.
    In Proceedings of the 37th Design Automation Conference (DAC’2000),
    Los Angeles, California, June 5-9, 2000. pp. 322-327
    http://www.dac.com/37proceedings/19_2.pdf

Avionics systems developed at Dassault Aviation:

  • Esterel: a formal method applied to avionic software development.
    Gérard Berry, Amar Bouali, Xavier Fornari, Emmanuel Ledinot, Eric Nassor, Robert de Simone. Science of Computer Programming, 36(2000) 5-25. Published paper, no link available.

The use of Esterel in a real large design of a DSP at Texas Instruments:

  • Using Esterel and Formal Methods to Increase the Confidence in the Functional Validation of a Commercial DSP
    [ Compressed PostScript ] [ PostScript ] [ PDF ]
    Laurent Arditi et al., Texas Instrument, Villeneuve Loubet, France
    Amar Bouali et al., CMA/INRIA Sophia-Antipolis, France
    In proceedings of ERCIM workshop on Formal Methods for Industrial Critical Systems, Trento, Italy, 1999..

Using optimal HW/SW partitioning and early system validation:

  • Using HW/SW modeling to optimize embedded control systems.
    [PDF]
    Yves Mathys, Andre Chatelain. In Proceedings of the FDL Conference, 1999.

Using Esterel for safe telecommunication software:

  • Safety property verification of Esterel programs and applications to telecommunications software.
    Lalita Jategaonkar Jagadeesan, Carlos Puchol, and James E. Von Olnhausen. In Proceedings of the Seventh Conference on Computer-Aided Verification, July 1995.

Terminal control protocol from AT&T Bell Labs:

  • Terminal Call Processing in Esterel
    G. Murakami, Ravi Sethi. Proc. IFIP 92 World Computer Congress, Madrid, Spain, 1992.

Switching Software from AT&T Bell Labs:

  • A formal approach to reactive systems software: A telecommunications application in Esterel.
    Lalita Jategaonkar Jagadeesan, Carlos Puchol, and James E. Von Olnhausen. In Proceedings of the Workshop on Industrial-Strength Formal Specification Techniques, April 1995.

Controling mobile communication architectures:

  • An experiment in using Esterel Studio for modeling the control of mobile communication architectures.
    [PDF]
    H.Boufaied, A.Cavanie, B.Dion, S.Dissoubray, L.Arditi, G.Clave, C.Andre.
    In proceedings of the SAME congress at Sophia Antipolis, October 1999.