Methods for Safe Control Systems Design and Implementation
作者： Jean-Marc Faure , Jean-Jacques Lesage
DOI: 10.1016/S1474-6670(17)33275-5
关键词:
摘要: This paper is the introductory one of Safe control systems session. A classification methods contributing to safety proposed in order place five other papers this session and show that they are complementary. based on a life-cycle criterion. Focusing then discrete event safety, we point out relationships between state space synthesis analysis system safety. enables more formal approach safe design implementation.
archives-ouvertes.fr 
sci-hub.se 参考文章(7)
Sérgio Vale Aguiar Campos, Kenneth L. McMillan, Edmund M. Clarke, Vassili Hartonas-Garmhausen, Symbolic Model Checking ,(1993)
Rene David, Hassane Alla, Petri Nets and Grafcet: Tools for Modelling Discrete Event Systems ,(1992)
S. Brown, Overview of IEC 61508. Design of electrical/electronic/programmable electronic safety-related systems Computing & Control Engineering Journal. ,vol. 11, pp. 6- 12 ,(2000) , 10.1049/CCE:20000101
David Harel, Statecharts: A visual formalism for complex systems Science of Computer Programming. ,vol. 8, pp. 231- 274 ,(1987) , 10.1016/0167-6423(87)90035-9
W. M. Wonham, P. J. Ramadge, On the Supremal Controllable Sublanguage of a Given Language SIAM Journal on Control and Optimization. ,vol. 25, pp. 637- 659 ,(1987) , 10.1137/0325036
G. Frey, L. Litz, Formal methods in PLC programming systems man and cybernetics. ,vol. 4, pp. 2431- 2436 ,(2000) , 10.1109/ICSMC.2000.884356
Jean-Jacques Lesage, Jean-Marc Roussel, Validation and verification of grafcets using state machine IMACS-IEEE "CESA'96". pp. 758- 764 ,(1996)