Transformation of deterministic models into state space models for safety analysis of safety critical systems: A case study of NPP. (July 2017)

• Record Type: Journal Article
• Authors: Kumar, Vinay; Singh, Lalit Kumar; Tripathi, Anil Kumar
• Is Part Of: Annals of nuclear energy. Volume 105(2017:Jul.)
• Page Start: 133
• Page End: 143
• Publication Date: 2017-07
• Subjects: RV Re-circulation Valve -- RCICS Reactor Core Isolation Cooling System -- RP Re-circulation Pump -- RCICT Reactor Core Isolation Colling System Turbine -- RCICP Reactor Core Isolation Colling Pump -- CST Condensate Storage Tank -- SP suppression pool -- NPP Nuclear Power Plant -- PN Petri Net -- SRV Safety Relief Valve -- USCD UML State Chart Diagram; Petri Nets -- State-chart diagram -- State space modeling technique -- UML; Nuclear energy -- Periodicals; Nuclear engineering -- Periodicals; 621.4805
• DOI: 10.1016/j.anucene.2017.02.026
• Languages: English
• ISSNs: 0306-4549

Abstract

Highlights: Safety critical systems are designed to function in safe manner to avoid catastrophic effects. Therefore reliability requirements of such systems are very high. UML is a proven and easy approach to capture all the system requirements. This paper proposes a methodology to transform the UML model into the state space model. Abstract: The state space models has been successfully applied in engineering, statistics, computer science and economics to solve a broad range of dynamical systems problems; like safety analysis, reliability analysis, performability analysis, etc. However, embedding the complete and accurate system requirements in such models is quite challenging. Analyzing model with incomplete or inaccurate requirements gives inaccurate results. UML is a proven and easy approach to capture all the system requirements. This paper proposes a methodology to transform the UML model into the state space model. The resultant model will embed all the system requirements and hence can be used to analyze the critical attributes of the systems. The methodology is validated on 13 sets of operational profile of different safety critical systems of Nuclear Power Plant and shown on Reactor Core Isolation Cooling System (RCICS).