Reliability and performance analysis of safety-critical system using transformation of UML into state space models. (October 2020)

• Record Type: Journal Article
• Authors: Mamdikar, Mohan Rao; Kumar, Vinay; Singh, Pooja; Singh, Lalit
• Is Part Of: Annals of nuclear energy. Volume 146(2020)
• Publication Date: 2020-10
• Subjects: Reliability -- Petri nets -- Token probability -- Performance -- Safety-critical system -- PIPE -- Markov chain; Nuclear energy -- Periodicals; Nuclear engineering -- Periodicals; 621.4805
• DOI: 10.1016/j.anucene.2020.107628
• Languages: English
• ISSNs: 0306-4549

Abstract

Highlights: Reliability and performance analysis are the two main components of NFR analysis. The framework uses state-space model to analyse system's behavior dynamically. A system that does not meet the target NFR is considered to be a failure. The framework is validated with 32 critical system instances of the NPP on the RCICS . Abstract: Non-functional requirement analysis is the most critical factor for safety-critical system construction as it reduces the risk of catastrophic loss of assets by taking measurable actions in the design phase. Reliability and performance analysis are the two main components of non-functional requirement analysis. In this paper, a reliability analysis framework is devised, which maps the Unified Modeling Language (UML) state chart model into the state-space model to analyze dynamic behavior and state transition probabilities of a safety-critical system. A system that does not meet the target reliability and performance requirements is considered to be a failure. The proposed framework is validated with 32 safety-critical system instances of the Nuclear Power Plant on the Reactor Core Isolation Cooling System module.