论文信息 - Describing Non-Deterministic Reactive Systems by Means of Regular Expressions

Describing Non-Deterministic Reactive Systems by Means of Regular Expressions

Abstract This paper presents a language based on regular expressions for describing non-deterministic reactive systems. It also presents some ideas on how to build (or adapt) tools for exploiting such a language (recognizers, generators and provers).

Pascal Raymond | Yvan Roux | Pascal Raymond | Yvan Roux

[1] Nicolas Halbwachs,et al. Programming and Verifying Real-Time Systems by Means of the Synchronous Data-Flow Language LUSTRE , 1992, IEEE Trans. Software Eng..

[2] Pascal Raymond,et al. The synchronous data flow programming language LUSTRE , 1991, Proc. IEEE.

[3] Nicolas Halbwachs,et al. Automatic testing of reactive systems , 1998, Proceedings 19th IEEE Real-Time Systems Symposium (Cat. No.98CB36279).

[4] Gérard Berry,et al. The Esterel Synchronous Programming Language: Design, Semantics, Implementation , 1992, Sci. Comput. Program..

[5] Leslie Lamport,et al. The temporal logic of actions , 1994, TOPL.

[6] Thierry Gautier,et al. Programming real-time applications with SIGNAL , 1991, Proc. IEEE.

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

[8] Ken Thompson,et al. Programming Techniques: Regular expression search algorithm , 1968, Commun. ACM.

[9] Charles André. Representation and Analysis of Reactive Behaviors: A Synchronous Approach , 2000 .