Abstract
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.
This work has been partially supported by Esprit Project CRISYS (EP 25514).
VERIMAG is a joint laboratory of Université Joseph Fourier (Grenoble 1), CNRS and INPG.
http://borneo.gmd.de/~ap/crisys/
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud. The synchronous dataflow programming language Lustre. Proceedings of the IEEE, 79(9):1305–1320, September 1991.
J.L. Bergerand and E. Pilaud. SAGA: a software development environment for dependability in automatic control. In Safecomp’88. Pergamon Press, 1988.
A. Billet and C. Esmenjaud. Software qualification: the experience of french manufacturers. International Conference on Control and Instrumentation in Nuclear Installations, INEC Cambridge, Great Britain, April 1995.
J.-M. Palaric and A. Boué. Advanced safety I&C system for nuclear power plants. In ENC’98 World Nuclear Congress, Nice, France, October 1997.
D. Brière, D. Ribot, D. Pilaud, and J.L. Camus. Methods and specification tools for Airbus on-board systems. In Avionics Conference and Exhibition, London, December, 1994. ERA Technology.
A. Boué and G. Clerc. Nervia: a local network for safety. In IAEA Specialist Meeting on Communication and data transfer in Nuclear Power Plants (CEA/EDF/FRAMATOME editors), Lyon, France, April 1990.
N. Halbwachs, F. Lagnier, and C. Ratel. Programming and verifying real-time systems by means of the synchronous dataflow language Lustre. IEEE Trans. on Software Engineering, 18(9):785–793, September 1992.
M. Ljung. Formal modelling and automatic verification of Lustre programs using NPTools. In Crisys deliverable n°CMA/ 999909, October 1999.
F. Maraninchi and Y. Rémond and Y. Raoul. MATOU: An Implementation of Mode-Automata into DC. In Proceedings of Compiler Construction, Berlin, Germany, 2000
P. Raymond, X. Nicollin, N. Halbwachs and D. Weber. Automatic testing of reactive systems. In 19th IEEE Real-Time Systems Symposium, Madrid, Spain, December 1998.
R. Gerlich. An Implementation and Verification Technique for Distributed systems. In: F. Cassez, C. Jard, B. Rozoy, M. Ryan (eds.), Proceedings of the Summer School “Modelling and Verification of Parallel Processes (MOVEP’2k), Ecole Centrale de Nantes, June 2000, p. 285–296.
N. Halbwachs, F. Lagnier, and P. Raymond. Synchronous observers and the verification of reactive systems. In M. Nivat, C. Rattray, T. Rus and G. Scollo, editors, Third Int. Conf. on Algebraic Methodology and Software Technology, AMAST’93, Twente, June 1993.
Paul Caspi, Christine Mazuet, Rym Salem, and Daniel Weber. Formal Design of Distributed Control System with Lustre. In proceedings of the 18th International Conference on Computer Safety, Reliability and Security (SAFECOMP’99), Toulouse, France, September 27-29, 1999.
P. Caspi. The quasi-synchronous approach to Distributed Control Systems. Crisys deliverable n°CMA/ 009931, May 2000.
M. Yeddes and H. Alla. Checking Order-insensitivity using Ternary Simulation in Synchronous Programs. IEEE, ISPASS 2000, Austin (USA), pp.52–58, 24-25 April 2000.
M. Yeddes, H. Ala, and R. David. On the Supervisory Synthesis for Distributed Control of Discrete Event Dynamic Systems with Communication Delays. In Proceedings of the 1999 IEEE ISIC, Massachusetts (USA), pp. 1–6, 1999.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Caspi, P., Mazuet, C., Paligot, N.R. (2001). About the Design of Distributed Control Systems: The Quasi-Synchronous Approach. In: Voges, U. (eds) Computer Safety, Reliability and Security. SAFECOMP 2001. Lecture Notes in Computer Science, vol 2187. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45416-0_21
Download citation
DOI: https://doi.org/10.1007/3-540-45416-0_21
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42607-3
Online ISBN: 978-3-540-45416-8
eBook Packages: Springer Book Archive