Safety Analysis of Safety-Critical Systems Using State-Space Models

被引：19

作者：

Kumar, Vinay ^{[1
]}

Singh, Lalit Kumar ^{[1
]}

Tripathi, Anil Kumar ^{[1
]}

Singh, Pooja ^{[1
]}

机构：

[1] Banaras Hindu Univ, Indian Inst Technol, Varanasi, Uttar Pradesh, India

来源：

IEEE SOFTWARE | 2017年 / 34卷 / 04期

关键词：

emergency core cooling system; nuclear power plants; Petri nets; safety-critical systems; software development; software engineering; state-space modeling; statecharts; UML;

D O I：

10.1109/MS.2017.93

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

State-space modeling is useful for prognostics of safety-critical systems. However, building such a model that embeds all the system requirements is a challenge. Furthermore, it requires expertise and hence isn't easily understood by all the stakeholders. UML can handle these challenges. A proposed approach converts a UML model into a state-space model. Researchers validated this approach on 13 safety-critical systems fornuclear power plants, focusing on the emergency core cooling system. © 2017 IEEE.

引用

页码：38 / 45

页数：8

共 50 条

[1] Reliability and performance analysis of safety-critical system using transformation of UML into state space models
Mamdikar, Mohan Rao
Kumar, Vinay
Singh, Pooja
Singh, Lalit
[J]. ANNALS OF NUCLEAR ENERGY, 2020, 146 (146)
[2] Bringing Rust to Safety-Critical Systems in Space
Seidel, Lukas
Beier, Julian
[J]. 2024 SECURITY FOR SPACE SYSTEMS CONFERENCE, 3S 2024, 2024,
[3] SysML Aided Safety Analysis for Safety-Critical Systems
Li, Guoqi
Wang, Boxuan
[J]. ARTIFICIAL INTELLIGENCE AND COMPUTATIONAL INTELLIGENCE, PT I, 2011, 7002 : 270 - 275
[4] Criticality Analysis for Safety-Critical Systems Using FMEA
Ahamad, Shakeel
Gupta, Ratneshwer
[J]. SMART SYSTEMS: INNOVATIONS IN COMPUTING (SSIC 2021), 2022, 235 : 229 - 235
[5] Hazard Analysis for Safety-critical Systems using SOFL
Abdullah, Azma Binti
Liu, Shaoying
[J]. PROCEEDINGS OF THE 2013 IEEE SYMPOSIUM ON COMPUTATIONAL INTELLIGENCE FOR ENGINEERING SOLUTIONS (CIES), 2013, : 133 - 140
[6] Multilevel Analysis of Human Performance Models in Safety-Critical Systems
Dzaack, Jeronimo
Urbas, Leon
[J]. DIGITAL HUMAN MODELING, PROCEEDINGS, 2009, 5620 : 375 - +
[7] HAZOP analysis of formal models of safety-critical interactive systems
Hussey, A
[J]. COMPUTER SAFETY, RELIABILITY AND SECURITY, PROCEEDINGS, 2000, 1943 : 371 - 381
[8] On Using Blockchains for Safety-Critical Systems
Berger, Christian
Penzenstadler, Birgit
Droegehorn, Olaf
[J]. 2018 IEEE/ACM 4TH INTERNATIONAL WORKSHOP ON SOFTWARE ENGINEERING FOR SMART CYBER-PHYSICAL SYSTEMS (SESCPS), 2018, : 30 - 36
[9] Safety analysis of safety-critical systems for their applicability on NPP systems: A state-of-the-art review
Kumar, Vinay
Maurya, Ashish Kumar
Singh, Karam Veer
Singh, Lalit Kumar
Singh, Pooja
Hati, Aditya Narayan
Singh, Vibhav Prakash
[J]. QUALITY AND RELIABILITY ENGINEERING INTERNATIONAL, 2021, 37 (05) : 1796 - 1831
[10] SAFETY-CRITICAL SYSTEMS
MCDERMID, JA
THEWLIS, DJ
[J]. SOFTWARE ENGINEERING JOURNAL, 1991, 6 (02): : 35 - 35

← 1 2 3 4 5 →