Representation and Analysis of Reactive Behaviors: A Synchronous Approach

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.

[1]  Wolfgang A. Halang,et al.  Real-Time Systems: Implementation of Industrial Computerized Process Automation , 1992 .

[2]  Gérard Berry,et al.  A hardware implementation of pure ESTEREL , 1992 .

[3]  James Madden,et al.  Preparation of function charts for control systems , 1988 .

[4]  Nicolas Halbwachs,et al.  Implementing Reactive Programs on Circuits: A Hardware Implementation of LUSTRE , 1991, REX Workshop.

[5]  Nicolas Halbwachs,et al.  Synchronous Programming of Reactive Systems , 1992, CAV.

[6]  Gérard Berry,et al.  The constructive semantics of pure esterel , 1996 .

[7]  Gérard Berry,et al.  Preemption in Concurrent Systems , 1993, FSTTCS.

[8]  Robin Milner,et al.  Calculi for Synchrony and Asynchrony , 1983, Theor. Comput. Sci..

[9]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[10]  Nicolas Halbwachs,et al.  Synchronous Observers and the Verification of Reactive Systems , 1993, AMAST.

[11]  Fr.-Xavier Fornari.  Optimisation du controle et implantation en circuits de programmes esterel , 1995 .

[12]  Wolfgang A. Halang,et al.  Real-time systems - implementation of industrial computerised process automation , 1992 .

[13]  Florence Maraninchi.  Argos : un langage graphique pour la conception, la description et la validation des systèmes réactifs , 1990 .

[14]  Albert Benveniste,et al.  The synchronous approach to reactive and real-time systems , 1991 .

[15]  Michael von der Beeck,et al.  A Comparison of Statecharts Variants , 1994, FTRTFT.

[16]  C. Andre,et al.  Synchronous programming: introduction and application to industrial process control , 1993, 1993 CompEuro Proceedings Computers in Design, Manufacturing, and Production.

[17]  Aloysius K. Mok,et al.  Modechart: A Specification Language for Real-Time Systems , 1994, IEEE Trans. Software Eng..

[18]  Robert de Simone,et al.  The SL Synchronous Language , 1996, IEEE Trans. Software Eng..

[19]  David Harel,et al.  Executable object modeling with statecharts , 1996, Proceedings of IEEE 18th International Conference on Software Engineering.

[20]  Ch. Andre,et al.  Synccharts: A visual representation of reactive behaviors , 1995 .

[21]  Nancy G. Leveson,et al.  Requirements Specification for Process-Control Systems , 1994, IEEE Trans. Software Eng..

[22]  Jean-Paul Marmorat,et al.  Environnement pour la programmation synchrone des systèmes réactifs , 1996 .