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
来源：
INTERNATIONAL JOURNAL OF RELIABILITY QUALITY AND SAFETY ENGINEERING | 2024年 / 31卷 / 01期
关键词：
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 条
  • [31] Analysis of Fast and Secure Protocol Based on Continuous-Time Markov Chain
    Zhou Conghua
    Cao Meiling
    CHINA COMMUNICATIONS, 2013, 10 (08) : 137 - 149
  • [32] Continuous Time Markov Chain Based Reliability Analysis for Future Cellular Networks
    Farooq, Hasan
    Parwez, Md Salik
    Imran, Ali
    2015 IEEE GLOBAL COMMUNICATIONS CONFERENCE (GLOBECOM), 2015,
  • [33] Applications of Population Growth Model Based on Continuous-time Markov Chain
    Zhuang Guangming
    RECENT ADVANCE IN STATISTICS APPLICATION AND RELATED AREAS, PTS 1 AND 2, 2011, : 705 - 708
  • [34] Timing Analysis for Hypervisor-based I/O Virtualization in Safety-Related Automotive Systems
    Kohn A.
    Schmidt K.
    Decker J.
    Sebastian M.
    Züpke A.
    Herkersdorf A.
    SAE International Journal of Passenger Cars - Electronic and Electrical Systems, 2017, 10 (02): : 368 - 379
  • [35] Framework for computer based safety-related systems: Overview of draft international standard IEC 1508
    Bell, R
    THIRD IEEE INTERNATIONAL SOFTWARE ENGINEERING STANDARDS SYMPOSIUM AND FORUM (ISESS 97) - EMERGING INTERNATIONAL STANDARDS, PROCEEDINGS, 1997, : 301 - 316
  • [36] Architectural Guidelines for AUTOSAR-based E/E Systems with Safety-related Availability Requirements
    Toennemann, Jan
    VDI Berichte, 2022, 2022 (2405): : 211 - 218
  • [37] Utilizing Continuous Time Markov Chain for analyzing video-on-demand streaming in multimedia systems
    Ghosh, Debjani
    Pandey, Mayank
    Gautam, Chakrapani
    Vidyarthi, Ankit
    Sharma, Rahul
    Draheim, Dirk
    EXPERT SYSTEMS WITH APPLICATIONS, 2023, 223
  • [38] Continuous-time Markov-chain models for reaction systems: fast and slow processes
    MacDonald, Iain L. L.
    Pienaar, Etienne A. D.
    REACTION KINETICS MECHANISMS AND CATALYSIS, 2023, 136 (04) : 1757 - 1773
  • [39] Continuous-time Markov-chain models for reaction systems: fast and slow processes
    Iain L. MacDonald
    Etienne A. D. Pienaar
    Reaction Kinetics, Mechanisms and Catalysis, 2023, 136 : 1757 - 1773
  • [40] Algorithm for Optimal Real-time Pricing Based on Switched Markov Chain Models
    Kobayashi, Koichi
    Hiraishi, Kunihiko
    2015 IEEE Power & Energy Society Innovative Smart Grid Technologies Conference (ISGT), 2015,
12345