We present a semantics for fault tree analysis, a technique used for the analysis of safety critical systems, in the real-time interval logic Duration Calculus with Liveness and show how properties of fault trees can be checked automatically. We apply this technique in two examples and show how it can be connected to other verification techniques
System verification and hazard analysis procedures on critical systems are traditionally carried out...
The Fault tree handbook has become the de facto standard for fault tree analysis (FTA), defining the...
In this work we propose a verification methodology consisting of selective quantitative analysis and...
Abstract: This paper proposes a method enabling to state formal properties of a logic controller, a ...
Fault tree analysis, the most widely used safety analysis technique in industry, is often applied ma...
ABSTRACT: In train control systems, more and more (electro-)mechanical devices are substituted by so...
Behavior Trees are a graphical notation used for formalising functional requirements, and have been ...
Fault Tree Analysis is a very popular tech-nique to assess safety and reliability of technical sys-t...
The design of safety-critical systems have become more and more complex in recent years. As a result...
Formal methods have significant benefits for developing safety critical systems, in that they allow ...
Formal methods have significant benefits for developing safety critical systems, in that they allow ...
Designing cost-sensitive real-time control systems for safety-critical applications requires a caref...
Reasoning about causes and effects naturally arises in the engineering of safety-critical systems. A...
International audienceThe design of complex safety critical systems raises new technical challenges ...
The application of fault tree analysis (FTA) to system safety and reliability is presented within th...
System verification and hazard analysis procedures on critical systems are traditionally carried out...
The Fault tree handbook has become the de facto standard for fault tree analysis (FTA), defining the...
In this work we propose a verification methodology consisting of selective quantitative analysis and...
Abstract: This paper proposes a method enabling to state formal properties of a logic controller, a ...
Fault tree analysis, the most widely used safety analysis technique in industry, is often applied ma...
ABSTRACT: In train control systems, more and more (electro-)mechanical devices are substituted by so...
Behavior Trees are a graphical notation used for formalising functional requirements, and have been ...
Fault Tree Analysis is a very popular tech-nique to assess safety and reliability of technical sys-t...
The design of safety-critical systems have become more and more complex in recent years. As a result...
Formal methods have significant benefits for developing safety critical systems, in that they allow ...
Formal methods have significant benefits for developing safety critical systems, in that they allow ...
Designing cost-sensitive real-time control systems for safety-critical applications requires a caref...
Reasoning about causes and effects naturally arises in the engineering of safety-critical systems. A...
International audienceThe design of complex safety critical systems raises new technical challenges ...
The application of fault tree analysis (FTA) to system safety and reliability is presented within th...
System verification and hazard analysis procedures on critical systems are traditionally carried out...
The Fault tree handbook has become the de facto standard for fault tree analysis (FTA), defining the...
In this work we propose a verification methodology consisting of selective quantitative analysis and...
DOI
Add to ORKG