Patterns for Representing FMEA in Formal Specification of Control Systems

2011 IEEE 13th International Symposium on High-Assurance Systems Engineering ◽

10.1109/hase.2011.10 ◽

2011 ◽

Cited By ~ 13

Author(s):

Ilya Lopatkin ◽

Alexei Iliasov ◽

Alexander Romanovsky ◽

Yuliya Prokhorova ◽

Elena Troubitsyna

Keyword(s):

Control Systems ◽

Formal Specification

Download Full-text

Formal specification and verification of a fault-masking and transient-recovery model for digital flight-control systems

Lecture Notes in Computer Science - Formal Techniques in Real-Time and Fault-Tolerant Systems ◽

10.1007/3-540-55092-5_13 ◽

1992 ◽

pp. 237-257 ◽

Cited By ~ 8

Author(s):

John Rushby

Keyword(s):

Control Systems ◽

Flight Control ◽

Formal Specification ◽

Recovery Model ◽

Formal Specification And Verification ◽

Fault Masking ◽

Specification And Verification

Download Full-text

Practical Formal Specification for Embedded Control Systems

IFAC Proceedings Volumes ◽

10.1016/s1474-6670(17)36113-x ◽

2004 ◽

Vol 37 (4) ◽

pp. 165-170 ◽

Cited By ~ 4

Author(s):

Frantz Iwu ◽

Andy Galloway ◽

Ian Toyn ◽

John McDermid

Keyword(s):

Control Systems ◽

Formal Specification ◽

Embedded Control ◽

Embedded Control Systems

Download Full-text

An Approach to the Formal Specification of Holonic Control Systems

Holonic and Multi-Agent Systems for Manufacturing - Lecture Notes in Computer Science ◽

10.1007/978-3-540-45185-3_6 ◽

2003 ◽

pp. 59-70 ◽

Cited By ~ 11

Author(s):

Paulo Leitão ◽

Armando W. Colombo ◽

Francisco Restivo

Keyword(s):

Control Systems ◽

Formal Specification

Download Full-text

Formal Specification Applied to Control Systems Development

IFAC Proceedings Volumes ◽

10.1016/s1474-6670(17)44833-6 ◽

1995 ◽

Vol 28 (25) ◽

pp. 115-120

Author(s):

K. Brink ◽

L.J.G. Bun ◽

P.M. Bruijn ◽

G. Frensel ◽

J. van Katwijk ◽

...

Keyword(s):

Control Systems ◽

Formal Specification ◽

Systems Development

Download Full-text

Formal specification of requirements for analytical redundancy-based fault -tolerant flight control systems

10.33915/etd.2378 ◽

2000 ◽

Author(s):

Diego Del Gobbo

Keyword(s):

Control Systems ◽

Flight Control ◽

Formal Specification ◽

Fault Tolerant ◽

Analytical Redundancy

Download Full-text

Formal specification of stability in hybrid control systems

Hybrid Systems III - Lecture Notes in Computer Science ◽

10.1007/bfb0020954 ◽

1996 ◽

pp. 294-303 ◽

Cited By ~ 1

Author(s):

Wang Ji ◽

He Weidong

Keyword(s):

Control Systems ◽

Formal Specification ◽

Hybrid Control ◽

Hybrid Control Systems

Download Full-text

Completeness in formal specification language design for process-control systems

Proceedings of the third workshop on Formal methods in software practice - FMSP '00 ◽

10.1145/349360.351140 ◽

2000 ◽

Cited By ~ 26

Author(s):

Nancy Leveson

Keyword(s):

Process Control ◽

Control Systems ◽

Formal Specification ◽

Specification Language ◽

Language Design ◽

Process Control Systems ◽

Formal Specification Language

Download Full-text

Towards Domain-Specific Formal Specification Languages for Railway Control Systems

IFAC Proceedings Volumes ◽

10.1016/s1474-6670(17)38134-x ◽

2000 ◽

Vol 33 (9) ◽

pp. 119-124 ◽

Cited By ~ 5

Author(s):

Jan Peleska ◽

Alexander Baer ◽

Anne E. Haxthausen

Keyword(s):

Control Systems ◽

Formal Specification ◽

Specification Languages ◽

Domain Specific

Download Full-text

Completeness in formal specification language design for process-control systems

Proceedings of the third workshop on Formal methods in software practice - FMSP '00 ◽

10.1145/349360.351142 ◽

2000 ◽

Cited By ~ 1

Author(s):

E.-R. Olderog ◽

A. P. Ravn

Keyword(s):

Process Control ◽

Control Systems ◽

Formal Specification ◽

Specification Language ◽

Language Design ◽

Process Control Systems ◽

Formal Specification Language

Download Full-text

Formal Specification of Railway Control Systems

Lecture Notes in Electrical Engineering - Advanced Technologies, Embedded and Multimedia for Human-centric Computing ◽

10.1007/978-94-007-7262-5_46 ◽

2013 ◽

pp. 389-399

Author(s):

Bingqing Xu ◽

Lichen Zhang

Keyword(s):

Control Systems ◽

Formal Specification

Download Full-text