Safety Analysis of Life Critical Software Systems: a Case Study of Nuclear Power Plant

被引：3
|
作者：
Singh, Lalit [1 ]
Rajput, Hitesh [2 ]
机构：
[1] IIT BHU, Dept Comp Sci & Engn, Varanasi, Uttar Pradesh, India
[2] IIT BHU, Dept Mat Sci, Varanasi, Uttar Pradesh, India
来源：
IETE TECHNICAL REVIEW | 2017年 / 34卷 / 03期
关键词：
Nuclear power plant; Petri net; Reactor safety system; System safety; System reliability; PETRI NETS;
D O I：
10.1080/02564602.2016.1190305
中图分类号：
TM [电工技术]; TN [电子技术、通信技术];
学科分类号：
0808 ; 0809 ;
摘要：
Current life-critical system designs fully incorporate digital instrumentation and control systems. Due to safety significance of such systems, these need to be designed carefully to ensure their safety requirements. However, digital systems have some unique characteristics, such as using software, and may have different failure causes and/or modes than the analog systems; hence, their incorporation into life critical systems, safety analysis entails special challenges. The strategy to perform safety analysis using Petri net for full proof design is discussed in this paper. The technique is demonstrated on a safety critical system of nuclear power plant.
引用
收藏
页码：333 / 339
页数：7
相关论文
共 50 条
  • [1] Security Analysis of Safety Critical and Control Systems: A Case Study of a Nuclear Power Plant System
    Kaur, Raj Kamal
    Singh, Lalit Kumar
    Pandey, Babita
    [J]. NUCLEAR TECHNOLOGY, 2017, 197 (03) : 296 - 307
  • [2] An optimized technique for reliability analysis of safety-critical systems: A case study of nuclear power plant
    Kumar, Pramod
    Singh, Lalit Kumar
    Kumar, Chiranjeev
    [J]. QUALITY AND RELIABILITY ENGINEERING INTERNATIONAL, 2019, 35 (01) : 461 - 469
  • [3] Verification of Safety in Safety Critical Computer-Based Systems: A Case Study of Nuclear Power Plant System
    Singh, Lalit
    Rajput, Hitesh
    [J]. NUCLEAR TECHNOLOGY, 2016, 195 (03) : 301 - 309
  • [4] Licensing experiences of safety critical software systems in nuclear applications - A case study
    Oh, TK
    Chung, YH
    Kim, BR
    [J]. PROCEEDINGS OF THE INTERNATIONAL TOPICAL MEETING ON ADVANCED REACTORS SAFETY, VOLS 1 AND 2, 1997, : 227 - 236
  • [5] Safety critical software in nuclear power
    Welbourne, D
    [J]. GEC JOURNAL OF TECHNOLOGY, 1997, 14 (01): : 33 - 40
  • [6] Micro incident analysis framework to assess safety and resilience in the operation of safe critical systems: A case study in a nuclear power plant
    Carvalho, Paulo V. R.
    dos Santos, Isaac L.
    Gomes, Jose Orlando
    Borges, Marcos R. S.
    [J]. JOURNAL OF LOSS PREVENTION IN THE PROCESS INDUSTRIES, 2008, 21 (03) : 277 - 286
  • [7] Criticality analysis for safety-critical software in nuclear power plant distributed control system
    Cui, J.
    Cai, Y.
    Wu, Y.
    [J]. KERNTECHNIK, 2021, 86 (05) : 343 - 352
  • [8] A Probabilistic Hazard Assessment Framework for Safety-Critical and Control Systems: A Case Study for a Nuclear Power Plant
    Kumar, Vinay
    Singh, Lalit
    Tripathi, A. K.
    [J]. NUCLEAR TECHNOLOGY, 2017, 197 (01) : 20 - 28
  • [9] The risk effect analysis of the digital safety-critical systems in a nuclear power plant
    Kang, HG
    Jang, SC
    Ha, JJ
    [J]. PROBABILISTIC SAFETY ASSESSMENT AND MANAGEMENT, VOL 1- 6, 2004, : 663 - 668
  • [10] Performance evaluation of safety-critical systems of nuclear power plant systems
    Kumar, Pramod
    Singh, Lalit Kumar
    Kumar, Chiranjeev
    [J]. NUCLEAR ENGINEERING AND TECHNOLOGY, 2020, 52 (03) : 560 - 567
12345