Cronos: A Separate Compilation Toolset for Modular Esterel Applications

Authors:
Olivier Hainque;Laurent Pautet;Yann Le Biannic;Eric Nassor
Affiliations:
-;-;-;-
Venue:
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Year:
1999

Citing 3
Cited 1

Synchronous programming with events and relations: the SIGNAL language and its semantics

Science of Computer Programming
Esterel: a formal method applied to avionic software development

Science of Computer Programming
Constructive Analysis of Cyclic Circuits

EDTC '96 Proceedings of the 1996 European conference on Design and Test

WCRT algebra and interfaces for Esterel-style synchronous processing

Proceedings of the Conference on Design, Automation and Test in Europe

Quantified Score

Hi-index	0.00

Visualization

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.