Abstract

to describe them as sets of concurrent processes. Cases (2) and (3) must be distinguished. In the later case, concurrency is nothing but a description facility; we call it logical concurrency. Generally, it has nothing to do with physical concurrency involved in case (2), and is not submitted to the same constraints. -- They are submitted to critical reliability requirements. In fact, most critical systems either are reactive, or contain reactive parts. ? This work has been partially supported by the ESPRIT-LTR project "SYRF". ?? Verimag is a joint laboratory of Universit'e Joseph Fourier (Grenoble I), CNRS and INPG ! Initialize Memory ? foreach input event do ! Compute Outputs ? ! Update Memory ? end ! Initialize Memory ? foreach period do ! Read Inputs ? ! Compute Outputs ? !<F

Citations

343	The synchronous approach to reactive and realtime systems - Benveniste, Berry - 1991
69	the dataflow programming language - Lucid - 1985
63	Representation and analysis of reactive behaviors : A synchronous approach - Andre - 1996
35	Time programming: Special purpose or general purpose languages - Real - 1989
34	Esterel on hardware - Berry - 1992
29	Synchronous programming of reactive systems: an introduction to ESTEREL - Berry, Couronne - 1987
22	The SL synchronous language - Boussinot, Simone - 1996
12	Preemption and concurrency - Berry - 1993
3	The Programming Language Ada Reference Manual - Ada - 1983
1	Proving properties of grafcet with synchronous tools - Andr'e, Gaff'e - 1996