Reliability and performance analysis of safety-critical system using transformation of UML into state space models
Introduction
Safety-Critical System (SCS) comprises of the components whose failure may lead to severe to the society in many aspects such as financial, environmental, life loss, and many more on a large scale. Nowadays, SCSs are used to serve some critical functionalities of mankind. Medical devices, power generation, aviation, railways, military equipment, etc. are just a few names in the list. Therefore, failure of the SCS (Kumar et al., 2017a) in those areas can cause a catastrophic loss in society. Thus nonfunctional requirement analysis plays a crucial role in designing those applications to reduce the risk of damage. Also, the validation of those non-functional requirements is difficult in practice. Comparatively, fewer efforts are invested in these requirements considering it as a non-viable methodology of “Fix-it-later”. Such research practices must be unacceptable to SCSs due to the risk concerns.
In nonfunctional requirement analysis, reliability and performance analysis are the two major aspects that must be ensured. In this paper, UML is considered to be the modeling language due to its power to capture all the requirements and easy understandability to the stakeholder to design the model SCSs. Specifically, the UML state chart model is a great tool to model such a scenario. The state chart model is then converted to Petri Net, and Petri Net is used to analyze through Markov chain construction with transition time using transition rate throughput. Petri Net is a mathematical modeling tool for system analysis where concurrency, choice, and iteration exist.
The framework is analyzed on different thirty-two (32) critical system instances of Nuclear Power Plant (NPP). The complete process is illustrated on the Reactor Core Isolation Cooling System (RCICS) of NPP. The paper is structured in the following scheme. Section II describes the mathematical preliminaries with the related work required for the dynamic analysis of a system. A Complete case study of RCICS is discussed in Section III. Section IV and V describe the proposed approaches for reliability and performance analysis of the SCS, respectively. Section VI describes the experimental validation of the proposed model. In section VII, we conclude the paper.
Section snippets
Mathematical preliminaries
Petri Net: Petri Net (Murata, 1989) is formally defined using 5- tuple as:Where
- •
is a finite set of places .
- •
is a finite set of transitions .
- •
is a finite set of arcs .
- •
is the arc weight mapping, where is a nonnegative integer such that and is not in .
- •
is the initial markings. A marking of a Petri Net is a mapping. where is a nonnegative integer. The marking assigned to each place is
Case study
To demonstrate the proposed framework Reactor Core Isolation Cooling System (RCICS) of Nuclear Power Plant (NPP) is considered as the subject of the case study.
The proposed framework for reliability analysis with a case study illustration
In this section, a framework is proposed to carry out a reliability analysis of the SCS. Our proposed reliability analysis framework aims to conquer the limitations of existing approaches identified in (André and Benmoussa, 2014, Christine et al., 2011, Liu et al., 2013, Pettit and Gomaa, 2006, Kumar et al., 2017b, Singh and Rajput, 2016, Singh and Tripathi, 2014, Ahmad and Khan, 2013). The proposed framework is beneficial to measure all types of possible threats, which can be the root cause of
Performance analysis
A safety system must meet the high-performance requirements. To perform the performance analysis for validation of the design of SCSs of NPP, Petri Net is considered to be a good choice due to its ability to predict performance when all the system characteristics are unknown and vaguely understood. This predicted value avoids delays in system development by saving a significant amount of effort.
The average delay of a subsystem when the system in steady- state condition can compute using
Experimental validation
In this section, we estimate the rate of failure for confirmation of the proposed method experimentally by using the Brown and Lipow Input Model (Kumar et al., 2017c, Brown and Lipow, 1975). In this process, the input domain is divided into several disjoint classes. To estimate the reliability of our model, the following equation is required:Where-
- •
: Probability specified from the operational profile. Here input course must be selected from each comparable class.
- •
: Number
Conclusion
The approach concentrates on a technique for computing reliability and performance of the safety-critical system’s software using UML, which directly maps to Petri Nets. We obtained the reliability accuracy of our approach as . We have also shown the effectiveness of our approach by computing the performance of the software system. This method helps designers for early prediction of reliability during the architectural design phase itself to remove any design aspect. Therefore we
Declaration of Competing Interest
The authors declare that they have no known competing financial interests or personal relationships that could have appeared to influence the work reported in this paper.
References (19)
- et al.
Specification and verification of safety properties along a crossing region in a railway network control
Appl. Math. Model.
(2013) - et al.
Performance evaluation and design for variable threshold alarm systems through semi-Markov process
ISA Trans.
(2020) - et al.
Risk informed validation framework for external flooding scenario
Nucl. Eng. Des.
(2020) - et al.
Ensuring safety in design of safety critical computer based systems
Ann. Nucl. Energy
(2016) - Etienne André, Mohamed Mahdi Benmoussa, Christine Choppy, 2014. In: Translating UML State Machines to Coloured Petri...
- et al.
Testing for software reliability
- et al.
Formal verification of UML state diagrams: a petri net based approach
ACM SIGSOFT Software Eng. Notes
(2011) - et al.
Modeling and supervisory control of railway networks using Petri nets
IEEE Trans. Autom. Sci. Eng.
(2008) - et al.
Abnormality diagnosis model for nuclear power plants using two-stage gated recurrent units
Nucl. Eng. Technol.
(2020)
Cited by (9)
Reliability Assessment of Safety-Critical Systems of Nuclear Power Plant using Ordinary Differential Equations and Reachability Graph
2023, Nuclear Engineering and DesignBatch Deterministic and Stochastic Petri nets Modeling for Reliability Quantification for Safety Critical Systems of Nuclear Power Plants
2023, Nuclear Engineering and DesignResearch on RMS Integrated Modeling and Simulation Method of the Reconfigurable System Based on GSPN and Monte Carlo
2023, Advances in Transdisciplinary EngineeringReliability and Performance Measurement of Safety-Critical Systems Based on Petri Nets: A Case Study of Nuclear Power Plant
2023, IEEE Transactions on ReliabilityDeveloping Reliable Digital Healthcare Service Using Semi-Quantitative Functional Resonance Analysis
2023, Computer Systems Science and Engineering