Fault trees are a key technique in safety and reliability engineering. Their application includes aerospace, nuclear power, car, and process engineering industries. Various fault tree extensions exist that increase expressiveness while yielding succinct models. Their analysis is a main bottleneck: techniques do not scale and require manual effort. Formal methods have an enormous potential to so...

Specification before implementation has been suggested as a sensible approach to software evolution. The quality of this approach may be improved by using formal specification. However, to serve as a trustable foundation for implementation and to help reduce the cost in program testing, the formal specification must be ensured to be satisfiable, consistent, complete, and accurate in recording t...

Several recent advances in fault tree models have been developed as an aid in the analysis of computer systems, and these have appeared in the RAMS symposium in the past several years. Such advances include the ability to model sequence dependencies [8, 6], the application of fault trees to the analysis of hardwareand softwarefault tolerant systems [11], the ability to include details of the re...

Safety is an essential requirement for railway transportation. There are many methods that have been developed to predict, prevent and mitigate accidents in this context. All of these methods have their own purpose and limitations. This paper presents a new useful analysis technique: timed fault tree analysis. This method extends traditional fault tree analysis with temporal events and fault ch...