Skip to main content
SpringerLink
Log in
Book cover

International Conference on Computer Safety, Reliability, and Security

SAFECOMP 2001: Computer Safety, Reliability and Security pp 215–226Cite as

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

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2187))

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/

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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.

    Article  Google Scholar 

  2. J.L. Bergerand and E. Pilaud. SAGA: a software development environment for dependability in automatic control. In Safecomp’88. Pergamon Press, 1988.

    Google Scholar 

  3. 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.

    Google Scholar 

  4. 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.

    Google Scholar 

  5. 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.

    Google Scholar 

  6. 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.

    Google Scholar 

  7. 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.

    Article  Google Scholar 

  8. M. Ljung. Formal modelling and automatic verification of Lustre programs using NPTools. In Crisys deliverable n°CMA/ 999909, October 1999.

    Google Scholar 

  9. 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

    Google Scholar 

  10. 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.

    Google Scholar 

  11. 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.

    Google Scholar 

  12. 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.

    Google Scholar 

  13. 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.

    Google Scholar 

  14. P. Caspi. The quasi-synchronous approach to Distributed Control Systems. Crisys deliverable n°CMA/ 009931, May 2000.

    Google Scholar 

  15. 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.

    Google Scholar 

  16. 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.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. VERIMAG, 2 rue de Vignate, F-38610, Gières, France

    Paul Caspi

  2. Schneider Electric, Usine M3, F-38050, Grenoble Cedex 9, France

    Christine Mazuet & Natacha Reynaud Paligot

Authors
  1. Paul Caspi
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Christine Mazuet
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Natacha Reynaud Paligot
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Forschungszentrum Karlsruhe, Institut für Angewandte Informatik, Postfach 3640, 76021, Karlsruhe, Germany

    Udo Voges

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation