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 条

[21] Evaluating Real Checkability for FPGA-based Components of Safety-Related Systems
Drozd, Oleksandr
Zashcholkin, Kostiantyn
Dobrowolski, Maciej
Sachenko, Anatoliy
Martynyuk, Oleksandr
Ivanova, Olena
Drozd, Julia
COLINS 2021: COMPUTATIONAL LINGUISTICS AND INTELLIGENT SYSTEMS, VOL I, 2021, 2870
[22] Vague Set based FMEA Method for Risk Evaluation of Safety-Related Systems
Lin, Kuo-Sui
Chiu, Chih-Chung
2018 IEEE CONFERENCE ON DEPENDABLE AND SECURE COMPUTING (DSC), 2018, : 229 - 236
[23] FPGA-Based Wireless Sensor Network for Safety-Related Cognitive Systems
Hayek, Ali
Suna, Yusuf
Schreiber, Michael
Boercsoek, Josef
2012 IX INTERNATIONAL SYMPOSIUM ON TELECOMMUNICATIONS (BIHTEL), 2012,
[24] Integrating Online Safety-related Memory Tests in Multicore Real-Time Systems
Donnarumma, Ciro
Biondi, Alessandro
De Rosa, Francesco
Di Carlo, Stefano
2020 IEEE 41ST REAL-TIME SYSTEMS SYMPOSIUM (RTSS), 2020, : 296 - 307
[25] Formal analysis and validation of continuous-time Markov chain based system level power management strategies
Norman, G
Parker, D
Kwiatkowska, M
Shukla, SK
Gupta, RK
SEVENTH IEEE INTERNATIONAL HIGH-LEVEL DESIGN VALIDATION AND TEST WORKSHOP, PROCEEDINGS, 2002, : 45 - 50
[26] Optimal adaptive sampling for a symmetric two-state continuous time Markov chain
Michel, Jon
ECONOMETRIC REVIEWS, 2020, 39 (06) : 602 - 611
[27] Markov Chain Monte Carlo for Continuous-Time Switching Dynamical Systems
Kohs, Lukas
Alt, Bastian
Koeppl, Heinz
INTERNATIONAL CONFERENCE ON MACHINE LEARNING, VOL 162, 2022,
[28] Discussion on: "On the Filtering Problem for Continuous-Time Markov Jump Linear Systems with no Observation of the Markov Chain"
Shi, Peng
Liu, Ming
EUROPEAN JOURNAL OF CONTROL, 2011, 17 (04) : 355 - 356
[29] Effectiveness of Matrix and Pipeline FPGA-Based Arithmetic Components of Safety-Related Systems
Drozd, Julia
Drozd, Oleksandr
Antoshchuk, Svetlana
Kushnerov, Alex
Nikul, Valery
2015 IEEE 8TH INTERNATIONAL CONFERENCE ON INTELLIGENT DATA ACQUISITION AND ADVANCED COMPUTING SYSTEMS: TECHNOLOGY AND APPLICATIONS (IDAACS), VOLS 1-2, 2015, : 785 - 789
[30] Continuous-Time Markov Chain-Based Flux Analysis in Metabolism
Huo, Yunzhang
Ji, Ping
JOURNAL OF COMPUTATIONAL BIOLOGY, 2014, 21 (09) : 691 - 698

← 1 2 3 4 5 →