Charles ANDRÉ
Reactive systems involve communication, concurrency and preemption. Few models support these three concepts, even less can correctly deal with their coexistence. The synchronous paradigm allows a rigourous approach to this problem, crucial to reactive systems.
This paper analyzes the underlying hypotheses of the synchronous approach. Reactive behaviors are characterized. A new visual model (SyncCharts) is then proposed. This graphical model is fully compatible with the imperative synchronous language Esterel and is specially convenient to express complex reactive behaviors.
@INPROCEEDINGS{sp:cesaSC,
AUTHOR = "C. Andr\'e",
TITLE = "Representation and Analysis of Reactive Behaviors: A Synchronous
Approach",
YEAR = {1996},
PAGES = {19--29},
PUBLISHER = {IEEE-SMC},
BOOKTITLE = {Computational Engineering in Systems Applications (CESA) },
ADDRESS = {Lille (F)},
MONTH = {July}
}