About the Design of Distributed Control Systems: The Quasi-Synchronous Approach

The European project Crisys+ aims at improving and formalizing the actual methods, techniques and tools used in the industries concerned with process control, in order to support a global system approach when developing Distributed Control System. This paper focuses on the main result of the Crisys project: the quasi-synchronous approach which is based on the synchronous language Lustre-Scade. The quasi-synchronous methodology provides (1) a complete framework consistent with usual engineering practices for both programming, simulating, testing a distributed system and (2) a robustness properties checker so as to ensure the behavior preservation during the distributed implementation. Both elements are based on a solid theoretical basis.

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

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

[3]  Paul Caspi,et al.  Formal Design of Distributed Control Systems with Lustre , 1999, SAFECOMP.

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

[5]  J. L. Bergerand,et al.  SAGA: A Software Development Environment for Dependability Automatic Controls , 1988 .

[6]  Rainer Gerlich.  An Implementation and Verification Technique for Distributed Systems , 2000 .

[7]  Moez Yeddes,et al.  On the supervisory synthesis for distributed control of discrete event dynamic systems with communication delays , 1999, Proceedings of the 1999 IEEE International Symposium on Intelligent Control Intelligent Systems and Semiotics (Cat. No.99CH37014).

[8]  Florence Maraninchi,et al.  MATOU: An Implementation of Mode-Automata , 2000, CC.

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

[10]  Moez Yeddes,et al.  Checking order-insensitivity using ternary simulation in synchronous programs , 2000, 2000 IEEE International Symposium on Performance Analysis of Systems and Software. ISPASS (Cat. No.00EX422).