About the design of distributed control systems: The quasi-synchronous approach

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2187, Issue , 2001, Pages 215-226

  Caspi, Paul ^a   Mazuet, Christine ^b   Paligot, Natacha Reynaud ^b  

^a VERIMAG   (France)

^b SCHNEIDER ELECTRIC   (France)

Author keywords

[No Author keywords available]

Indexed keywords

DISTRIBUTED PARAMETER CONTROL SYSTEMS; SAFETY ENGINEERING;

DISTRIBUTED IMPLEMENTATION; DISTRIBUTED SYSTEMS; ENGINEERING PRACTICES; EUROPEAN PROJECT; QUASI-SYNCHRONOUS; ROBUSTNESS PROPERTIES; SYNCHRONOUS LANGUAGES; TECHNIQUES AND TOOLS;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 84956999589     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45416-0_21     Document Type: Conference Paper

References (16)

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
2. J.L. Bergerand and E. Pilaud. SAGA: a software development environment for dependability in automatic control. In Safecomp'88. Pergamon Press, 1988
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
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
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
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
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
8. M. Ljung. Formal modelling and automatic verification of Lustre programs using NPTools. In Crisys deliverable no CMA/ 999909, October 1999
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
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
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
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
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
14. P. Caspi. The quasi-synchronous approach to Distributed Control Systems. Crisys deliverable no CMA/ 009931, May 2000
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
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.