Observations on formal safety analysis in practice
نویسندگان
چکیده
منابع مشابه
Safety Analysis in Formal Specification
Formal methods give us techniques to specify the functionality of a system, to verify its correctness or to develop the system stepwise from an abstract specification to its implementation. These aspects are important when designing safety-critical systems. Safety analysis is a vital part of the development of such systems. However, formal methods seldom interface well with the more informal te...
متن کاملThe practice of formal methods in safety-critical systems
By describing several industrial-scale applications of formal methods, this paper intends to demonstrate that formal methods for software development and safety analysis are increasingly adopted in the safety critical systems sector. The bene ts and limitations of using formal methods are described, and the problems of developing software for safety critical systems are analysed.
متن کاملFormal Safety Analysis in Transportation Control
Transportation control systems are safety critical systems. While a couple of years ago control systems mainly used to be built up from (electro-) mechanical devices, nowadays more and more functionality is software controlled. To sustain the high level safety standards for these embedded systems, we propose to use fault tree analysis integrated with formal methods for analyzing system safety. ...
متن کاملFormal analysis of safety-critical system simulations
Safety-critical systems are often large and complex. Usually it is not physically or economically feasible to operate these systems under all variant environmental conditions to analyze possible behaviors. Simulating system behaviors under various different environmental conditions and operator guidance patterns provides a cost-effective method of system analysis. In this work we demonstrate ho...
متن کاملFormal Safety Analysis of Transportation Control Systems
From a safety point of view different transportation systems share many properties and requirements. They are all supposed to function correctly, to be failure tolerant and to be associated with only minimal risk. To ensure these requirements formal methods are a great help. The ForMoSA approach provides an integrated methodology for formally analyzing safety-critical transportation systems. On...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 2014
ISSN: 0167-6423
DOI: 10.1016/j.scico.2013.01.001