Abstract
Boolean-logic driven Markov processes (BDMPs) is a graphical language for reliability analysis of dynamic repairable systems. BDMPs are capable of defining complex interdependencies among failure modes such as functional dependencies and state-dependent failures. The interpretation of BDMPs is non-trivial due to the many possible complex interactions of activation and failure mechanisms. This paper presents a formal semantics of repairable BDMPs by using generalized stochastic Petri nets (GSPNs). Our semantics is modular and thus easily extendable to other elements, e.g., leaves dedicated to security applications. Priorities on GSPN transitions are used to impose a partial order on various possible interleaving of activation and failure mechanisms. The semantics is realized by the prototypical tool BDMP2GSPN that converts a Figaro description of a BDMP into a GSPN. The reliability and availability metrics of BDMPs are obtained using the probabilistic model-checking capability of the existing GreatSPN tool. Experiments show that our GSPN semantics corresponds to the BDMP interpretation by the tool yet another Monte Carlo simulator (YAMS).
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
