SAFETY ANALYSIS OF A RADIO-BASED CROSSING CONTROL SYSTEM USING FORMAL METHODS

This paper describes the application of fault tree analysis and formal modeling to examine the dependability of a radio-based level crossing control system. Safety critical components and a timing error in the model are identified.

[1]  Anders P. Ravn,et al.  From Safety Analysis to Software Requirements , 1998, IEEE Trans. Software Eng..

[2]  Janusz Górski.  Extending Safety Analysis Techniques with Formal Semantics , 1994 .

[3]  C. A. R. Hoare,et al.  A Calculus of Durations , 1991, Inf. Process. Lett..

[4]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[5]  Stuart Anderson,et al.  Validating Safety Models with Fault Trees , 1993, SAFECOMP.

[6]  Kurt Stenzel,et al.  Structured Specifications and Interactive Proofs with KIV , 1998 .

[7]  W E Vesely,et al.  Fault Tree Handbook , 1987 .

[8]  John A. McDermid,et al.  Experience with the application of HAZOP to computer-based systems , 1995, COMPASS '95 Proceedings of the Tenth Annual Conference on Computer Assurance Systems Integrity, Software Safety and Process Security'.

[9]  Donald J. Reifer,et al.  Software Failure Modes and Effects Analysis , 1979, IEEE Transactions on Reliability.

[10]  Nicholas J. Bahr.  System Safety Engineering And Risk Assessment: A Practical Approach , 1997 .