Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Saved Items

Cronos: a separate compilation tool set for modular esterel applications

Olivier HainqueContact Information, Laurent PautetContact Information, Yann Le BiannicContact Information and Éric NassorContact Information

(6)  école Nationale Supérieure des Télécommunications, 46, rue Barrault, F-75013 Paris, France
(7)  Dassault-Aviation, 78, quai Marcel Dassault, F-92214 Saint-Cloud Cedex, France
Abstract
esterel is an imperative synchronous language designed for the specification and the development of reactive systems. Recent studies pointed out that its use for the development of avionics software can yield great benefits but that the lack of support for separate compilation in the current toolset may be an obstacle to the development of large systems. This paper presents the Cronos framework which provides such support for some specific cases of esterel programs.

Keywords  Esterel - Compilation - Synchronous Reactive Systems - Avionics Software


Contact Information Olivier Hainque
Email: hainque@inf.enst.fr

Contact Information Laurent Pautet
Email: pautet@inf.enst.fr

Contact Information Yann Le Biannic
Email: yann.lebiannic@dassault-aviation.fr

Contact Information Éric Nassor
Email: eric.nassor@dassault-aviation.fr
Fulltext Preview (Small, Large)
Image of the first page of the fulltext

References secured to subscribers.



Export this chapter
Export this chapter as RIS | Text
 
Remote Address: 38.107.191.106 • Server: mpweb08
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)