Add to ORKGThis paper discusses two behavioural interfaces for reliability analysis: dynamic fault trees, which model the system reliability in terms of the reliability of its components and Arcade, which models the system reliability at an architectural level. For both formalisms, the reliability is analyzed by transforming the DFT or Arcade model to a set of input-output Markov Chains. By using compositional aggregation techniques based on weak bisimilarity, significant reductions in the state space can be obtained
Rigorous analysis of the reliability of a dynamic system calls for modelling of the dynamic behaviou...
The focus of this work is on the dependability analysis of safety or mission-critical systems; in pa...
Abstract: Fault trees show which joint components ' faults mean system faults. Fault trees can ...
Dependability is a key concern for today's complex computer and communication systems. To make sure ...
This paper proposes a formally well-rooted and extensible framework for dependability evaluation: Ar...
Fault trees (FT) are among the most prominent formalisms for reliability analysis of technical syste...
Dynamic fault trees (DFTs) are a versatile and common formalism to model and analyze the reliability...
Fault tree analysis is a widespread industry standard for assessing system reliability. Standard (st...
Dynamic Fault Trees (DFT) extend standard fault trees by allowing the modeling of complex system com...
In this paper, dynamic simulation methods for reliability evaluation of common industry-based contro...
Reliability, availability, maintenance and safety (RAMS) analysis is essential in the evaluation of ...
This paper discusses the requirements that a suitable formalism for dependability modeling/evaluatio...
Fault trees show which joint components' faults mean system faults. Fault trees can often be used to...
Fault Tree Analysis (FTA) is a prominent technique in industrial and scientific risk assessment. Rep...
Fault Tree Analysis (FTA) is a prominent technique in industrial and scientific risk assessment. Rep...
Rigorous analysis of the reliability of a dynamic system calls for modelling of the dynamic behaviou...
The focus of this work is on the dependability analysis of safety or mission-critical systems; in pa...
Abstract: Fault trees show which joint components ' faults mean system faults. Fault trees can ...
Dependability is a key concern for today's complex computer and communication systems. To make sure ...
This paper proposes a formally well-rooted and extensible framework for dependability evaluation: Ar...
Fault trees (FT) are among the most prominent formalisms for reliability analysis of technical syste...
Dynamic fault trees (DFTs) are a versatile and common formalism to model and analyze the reliability...
Fault tree analysis is a widespread industry standard for assessing system reliability. Standard (st...
Dynamic Fault Trees (DFT) extend standard fault trees by allowing the modeling of complex system com...
In this paper, dynamic simulation methods for reliability evaluation of common industry-based contro...
Reliability, availability, maintenance and safety (RAMS) analysis is essential in the evaluation of ...
This paper discusses the requirements that a suitable formalism for dependability modeling/evaluatio...
Fault trees show which joint components' faults mean system faults. Fault trees can often be used to...
Fault Tree Analysis (FTA) is a prominent technique in industrial and scientific risk assessment. Rep...
Fault Tree Analysis (FTA) is a prominent technique in industrial and scientific risk assessment. Rep...
Rigorous analysis of the reliability of a dynamic system calls for modelling of the dynamic behaviou...
The focus of this work is on the dependability analysis of safety or mission-critical systems; in pa...
Abstract: Fault trees show which joint components ' faults mean system faults. Fault trees can ...