About the Design of Distributed Control Systems: The Quasi-Synchronous Approach-Reference-Cited by-同舟云学术

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

Published:2001 Issue: Volume: Page:215-226
ISSN:0302-9743
Container-title:Computer Safety, Reliability and Security
language:
Short-container-title:

Author:

Caspi Paul,Mazuet Christine,Paligot Natacha Reynaud

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-45416-0_21

Reference16 articles.

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.

Cited by 10 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Factorization of the State Space Construction for Cyclic Systems with Data;Lecture Notes in Computer Science;2023-12-19

2. Modeling and formal analysis of virtually synchronous cyber-physical systems in AADL;International Journal on Software Tools for Technology Transfer;2022-09-03

3. MIMOS: A Deterministic Model for the Design and Update of Real-Time Systems;Lecture Notes in Computer Science;2022

4. Hybrid SynchAADL: Modeling and Formal Analysis of Virtually Synchronous CPSs in AADL;Computer Aided Verification;2021

5. A timeless model for the verification of quasi-periodic distributed systems;Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design;2019-10-09