Optimal Proof-Testing Strategies for Safety-Related Systems Based on Continuous Time Markov Chain

被引:0
|
作者
Inoue, Shinji [1 ]
Fujiwara, Takaji [2 ]
Yamada, Shigeru [3 ]
机构
[1] Kansai Univ, Fac Informat, 2-1-1 Ryozenji Cho, Takatsuki, Osaka 5691095, Japan
[2] SRATECH Lab Inc, 1949-24 Yamakuni, Kato, Hyogo 5691095, Japan
[3] Tottori Univ, Grad Sch Engn, 4-101 Minami,Koyama Cho, Tottori, Tottori 6808552, Japan
关键词
Functional safety; proof-testing interval; safety-related systems; continuous time Markov chain; optimal policy;
D O I
10.1142/S0218539323500389
中图分类号
T [工业技术];
学科分类号
08 ;
摘要
Maintenance activities for safety-related systems are generally required to ensure that the systems are working as intended. Regarding the maintenance activities, proof-testing is known as scheduled inspections and maintenance activities for detecting dangerous undetected faults which cannot be detected by diagnostic testing systems installed in the safety-related systems. However, the proof-testing needs a lot of cost and provokes decreasing of the availability for the whole system because the whole system is needed to shut down for proofing that the whole system is working as intended. We discuss analytical methodologies for obtaining optimal proof-testing interval with harmful risk and proof-testing cost by describing the behavior of the safety-related system based on a continuous-time Markov chain. Further, an analytical optimal policy for obtaining economic proof-testing interval is proposed in this paper.
引用
收藏
页数:16
相关论文
共 50 条
  • [1] Economic Proof-Testing Intervals for E/E/Pe Safety-Related System with Harmful Risk
    Inoue, Shinji
    Maki, Kousuke
    Fujiwara, Takaji
    Yamada, Shigeru
    [J]. INTERNATIONAL JOURNAL OF RELIABILITY QUALITY AND SAFETY ENGINEERING, 2023, 30 (01)
  • [2] Proof-testing strategies induced by dangerous detected failures of safety-instrumented systems
    Liu, Yiliu
    Raus, Marvin
    [J]. RELIABILITY ENGINEERING & SYSTEM SAFETY, 2016, 145 : 366 - 372
  • [3] Assessment of safety-related systems using Markov model
    Long, W
    Oshima, M
    Zhang, TL
    [J]. PROBABILISTIC SAFETY ASSESSMENT AND MANAGEMENT, VOL 1- 6, 2004, : 2398 - 2403
  • [4] An Optimal Design Procedure based on the Safety Integrity Level for Safety-related Systems
    Kim, Sung Kyu
    Kim, Yong Soo
    [J]. KSII TRANSACTIONS ON INTERNET AND INFORMATION SYSTEMS, 2018, 12 (12): : 6079 - 6097
  • [5] Proof-Testing Level-Measurement Devices in Storage-Tank Safety Systems
    Enberg, AnnCharlott
    [J]. Enberg, AnnCharlott (AnnCharlott.Enberg@Emerson.com), 1600, Access Intelligence (128): : 43 - 47
  • [6] Functional Safety Assessment of Safety-Related Systems with Non-perfect Proof-Tests
    Muta, Hitoshi
    Sato, Yoshinobu
    [J]. IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2014, E97A (08): : 1739 - 1746
  • [7] Functional safety assessment of safety-related systems with non-perfect proof-tests
    Muta, Hitoshi
    Sato, Yoshinobu
    [J]. IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, 2014, E97-A (08) : 1739 - 1746
  • [8] A course on safety-related real-time computing systems
    Halang, WA
    Zalewski, J
    [J]. REAL-TIME SYSTEMS EDUCATION, 1996, : 98 - 107
  • [9] Technical Obsolescence Management Strategies for Safety-Related Software for Airborne Systems
    Gerasimou, Simos
    Kolovos, Dimitris
    Paige, Richard
    Standish, Michael
    [J]. SOFTWARE TECHNOLOGIES: APPLICATIONS AND FOUNDATIONS, STAF 2017, 2018, 10748 : 385 - 393
  • [10] Reliability assessment of network-based safety-related systems
    Langeron, Yves
    Barros, Anne
    Grall, Antoine
    Berenguer, Christophe
    [J]. RELIABILITY, RISK AND SAFETY: THEORY AND APPLICATIONS VOLS 1-3, 2010, : 1649 - 1656