RELIABILITY MODELING AND ANALYSIS OF COMPLEX HIERARCHICAL SYSTEMS

Author(s):  
LIUDONG XING

In this paper we consider the problem of reliability modeling and analysis of hierarchical computer-based systems (HS) with modular imperfect coverage (MIPC) and common-cause failures (CCF). The MIPC and CCF can cause vertical dependence that runs through different levels of the system as well as horizontal dependence that runs across components or modules on the same system level. The consideration of these dependencies poses unique challenges to existing HS reliability analysis methods. We propose an efficient decomposition and aggregation approach named EDA-HS to the reliability evaluation of complex hierarchical systems with both MIPC and CCF as one way to meet the above challenges in an efficient and elegant manner. Our approach is to decouple the effects of both MIPC and CCF from the combinatorics of the solution. The approach is represented in a dynamic fault tree by a proposed probabilistic functional dependency gate and a proposed CCF gate modeled after the existing FDEP gate. We present the basics and advantages of the EDA-HS approach by working through an analysis of an example HS subject to MIPC and CCF.

2009 ◽  
Vol 58 (1) ◽  
pp. 10-19 ◽  
Author(s):  
Liudong Xing ◽  
A. Shrestha ◽  
L. Meshkat ◽  
Wendai Wang

Author(s):  
Zahra Mohaghegh ◽  
Mohammad Modarres ◽  
Aris Christou

The modeling of dependent failures, specifically Common Cause Failures (CCFs), is one of the most important topics in Probabilistic Risk Analysis (PRA). Currently, CCFs are treated using parametric methods, which are based on historical failure events. Instead of utilizing these existing data-driven approaches, this paper proposes using physics-based CCF modeling which refers to the incorporation of underlying physical failure mechanisms into risk models so that the root causes of dependencies can be “explicitly” included. This requires building a theoretical foundation for the integration of Probabilistic Physics-Of-Failure (PPOF) models into PRA in a way that the interactions of failure mechanisms and, ultimately, the dependencies between the multiple component failures are depicted. To achieve this goal, this paper highlights the following methodological steps (1) modeling the individual failure mechanisms (e.g. fatigue and wear) of two dependent components, (2) applying a mechanistic approach to deterministically model the interactions of their failure mechanisms, (3) utilizing probabilistic sciences (e.g. uncertainty modeling, Bayesian analysis) in order to make the model of interactions probabilistic, and (4) developing appropriate modeling techniques to link the physics-based CCF models to the system-level PRA. The proposed approach is beneficial for (a) reducing CCF occurrence in currently operating plants and (b) modeling CCFs for plants in the design stage.


Author(s):  
Laura Baracchi ◽  
Alessandro Cimatti ◽  
Gerald Garcia ◽  
Silvia Mazzini ◽  
Stefano Puri ◽  
...  

The development of complex computer-based systems poses two fundamental challenges. On one side, the architectural decomposition must be complemented by a suitable refinement of the requirements. On the other side, it is fundamental to provide the means for component reuse in order to limit development costs. In this chapter, the authors discuss the approach taken in FoReVeR, a project funded by the European Space Agency (ESA), where these two issues are tackled in the setting of space systems. The approach taken in FoReVeR is based on the idea of contracts, which allow one to formally specify the requirements of components at different levels of abstraction and to formally prove the correctness of requirements decomposition. In particular, the authors show how system-level requirements can be progressively refined into software requirements and how the contract-based framework supports the reuse of the components of a reference architecture under development by ESA. The authors discuss how the proposed solution has been integrated in a space development process and present the results of case studies.


Author(s):  
Laura Baracchi ◽  
Alessandro Cimatti ◽  
Gerald Garcia ◽  
Silvia Mazzini ◽  
Stefano Puri ◽  
...  

The development of complex computer-based systems poses two fundamental challenges. On one side, the architectural decomposition must be complemented by a suitable refinement of the requirements. On the other side, it is fundamental to provide the means for component reuse in order to limit development costs. In this chapter, the authors discuss the approach taken in FoReVeR, a project funded by the European Space Agency (ESA), where these two issues are tackled in the setting of space systems. The approach taken in FoReVeR is based on the idea of contracts, which allow one to formally specify the requirements of components at different levels of abstraction and to formally prove the correctness of requirements decomposition. In particular, the authors show how system-level requirements can be progressively refined into software requirements and how the contract-based framework supports the reuse of the components of a reference architecture under development by ESA. The authors discuss how the proposed solution has been integrated in a space development process and present the results of case studies.


Sign in / Sign up

Export Citation Format

Share Document