Generalized Boolean logic Driven Markov Processes: A powerful modeling framework for Model-Based Safety Analysis of dynamic repairable and reconfigurable systems

The Strathprints institutional repository (https://strathprints.strath.ac.uk) is a digital archive of University of Strathclyde research outputs. It has been developed to disseminate open access research outputs, expose data about those outputs, and enable the management and persistent access to Strathclyde's intellectual output. Abstract-In engineering practice, multiple repair actions are considered carefully by designers, and their success or failure defines further control actions and the evolution of the system state. Such treatment is not fully supported by the current state-of-the-art in dependability analysis. We propose a novel approach for explicit modelling and analysis of repairable systems, and describe an implementation, which builds on HiP-HOPS, a method and tool for model-based synthesis of dependability evaluation models. HiP-HOPS is augmented with Pandora, a temporal logic for the qualitative analysis of Temporal Fault Trees (TFTs), and capabilities for quantitative dependability analysis via Stochastic Activity Networks (SAN). Dependability prediction is achieved via explicit modelling of local failure and repair events in a system model and then by: (i) propagation of local effects through the model and synthesis of repair-aware TFTs for the system, (ii) qualitative analysis of TFTs that respects both failure and repair logic and (iii) quantification of dependability via translation of repair-aware TFTs into SAN. The approach provides insight into the effects of multiple and alternative failure and repair scenarios, and can thus be useful in reconfigurable systems that typically employ software to utilise functional redundancies in a variety of ways.

show abstract

“…BDMP has also been extended to address some of these limitations and model accurately complex systems through Switched Markov processes [17].…”

Section: Related Workmentioning

confidence: 99%

Explicit Modelling and Treatment of Repair in Prediction of Dependability

Aizpurua

Papadopoulos

Merle

2020

IEEE Trans. Dependable and Secure Comput.

View full text Add to dashboard Cite

show abstract

“…Dynamic reliability techniques are relatively mature and have been applied to the dynamic PRA of subsystems of NPPs. Improvements in size limits and calculation speed should be made to meet the requirements of plant-scale applications in the future (75,76). Regarding interactive features, we may refer to the Systems-Theoretical Accident Model and Process, the Risk Management Framework of Jens Rasmussen (56,(77)(78)(79), and so on.…”

Section: Technical Humility-based Risk Assessmentmentioning

confidence: 99%

Nuclear safety in the unexpected second nuclear era

Chen

Wang

et al. 2019

Proc. Natl. Acad. Sci. U.S.A.

View full text Add to dashboard Cite

Nuclear energy development has entered an unexpected second nuclear era, which is mainly driven by developing countries. Despite major efforts to pursue a safe nuclear energy system in the first nuclear era, severe nuclear accidents occurred. A basic problem is that we do not have an adequate understanding of nuclear safety. From the viewpoints of risk and the close coupling of technical and social factors, this paper reexamines the nature of nuclear safety and reviews how previous experts understood it. We also highlight the new challenges that we are likely to confront in the unexpected second nuclear era and clarify some of the refinements that need to be made to the concept of nuclear safety from a sociotechnical perspective. These include the following: 1) Risk decisions should be made based on integrating social and technical elements (i.e., “social rationality”); 2) risk needs to be controlled based on the “Wuli–Shili–Renli” framework; 3) systems thinking should be substituted for reductionism in risk assessment, and social mechanisms need to be combined to address uncertainties; and 4) public-centered risk communication should be established. This contribution can provide a theoretical foundation for improving our understanding of the nature of nuclear safety and for transforming the concept of nuclear safety in the unexpected second nuclear era.

show abstract

“…It will be assumed in what follows that the model to formally verify is well-formed. For space reasons, it is not possible to give a complete syntax of GBDMP; detailed presentations can be found in (Piriou and al, 2017) and (Piriou and al, 2016).…”

Section: Overall Descriptionmentioning

confidence: 99%

“…Moreover, for each node (leaf or gate) n of the fault tree, three other variables can be computed from these two sets of state variables, as detailed in (Piriou, 2017):…”

Section: Evolutions Of a Gbdmp Modelmentioning

confidence: 99%

“…This framework has been developed for MBSA of dynamic, repairable, and reconfigurable systems (Piriou and al, 2017); it particularly enables fine modelling of different reconfiguration strategies and of the failure of these strategies. Construction rules of well-formed GBDMP models have also been defined in the above reference to ensure syntactic consistency.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Formal Verification of Safety Analysis Models of Repairable and Reconfigurable Systems

2017

Self Cite

View full text Add to dashboard Cite

This paper proposes a method to formally check whether formal properties hold on a dynamic model which has been designed by experts for Model Based Safety Analysis/Assessment. As repairable and reconfigurable systems are considered, this model is assumed to be described in the Generalized Boolean-logic Driven Markov Processes (GBDMP) modelling framework. Translation rules are given to obtain a formal model that describes correctly the evolution of the initial model with the semantics of the verification tool. The approach is exemplified on a simple case of standby redundancy.

show abstract

Generalized Boolean logic Driven Markov Processes: A powerful modeling framework for Model-Based Safety Analysis of dynamic repairable and reconfigurable systems

Cited by 22 publications

References 23 publications

Explicit Modelling and Treatment of Repair in Prediction of Dependability

Explicit Modelling and Treatment of Repair in Prediction of Dependability

Nuclear safety in the unexpected second nuclear era

Formal Verification of Safety Analysis Models of Repairable and Reconfigurable Systems

Contact Info

Product

Resources

About