Real-Time Safety-Critical Systems: An Overview

作者: Thomas Hilburn , Janusz Zalewski

DOI: 10.1016/S1474-6670(17)44835-X

关键词:

摘要: Abstract Safety-critical systems that operate in real time have received enormous attention recent years. This is mostly due to their importance all kinds of sensitive applications, both civilian and military. Several surveys been published on the principles analysis development such systems, but they suffer from addressing problem solely an academic standpoint rather than exploring actual industrial practice. paper lists cases real-time safety-critical reported literature tries analyze state-of-the-art industry. It starts with a model system focuses two major industries: aerospace nuclear. Other industries are also mentioned briefly

参考文章(77)
Paul Chung, Eamon Broomfield, Hazard and operability (hazop) studies applied to computer-controlled process plants Computer Control and Human Error. pp. 45- 80 ,(1995) , 10.1016/B978-088415269-9/50004-3
René-Pierre Hautbois, Hubert Garavel, Experimenting with LOTOS in the aerospace industry Theories and experiences for real-time system development. pp. 287- 307 ,(1994)
Phil Bennett, Safety Aspects of Computer Control Butterworth-Heinemann. ,(1993)
Giorgio Mongardi, Dependable Computing for Railway Control Systems Dependable Computing for Critical Applications 3. pp. 255- 277 ,(1993) , 10.1007/978-3-7091-4009-3_11
Jonathan Jacky, Formal Specification and Development of Control System Input/Output Proceedings of the Z User Workshop. pp. 95- 108 ,(1992) , 10.1007/978-1-4471-3556-2_7
Clifford Lau, Gary M. Koob, Foundations of Dependable Computing: Paradigms for Dependable Applications Springer Science+Business Media. ,(1994)