Reduction of Complex Safety Models based on Markov Chains

被引：0

作者：

Kohlik, Martin ^{[1
]}

Kubatova, Hana ^{[1
]}

机构：

[1] Czech Tech Univ, Dept Digital Design, Fac Informat Technol, Prague 16000 6, Czech Republic

来源：

2012 IEEE 15TH INTERNATIONAL SYMPOSIUM ON DESIGN AND DIAGNOSTICS OF ELECTRONIC CIRCUITS & SYSTEMS (DDECS) | 2012年

关键词：

D O I：

暂无

中图分类号：

TM [电工技术]; TN [电子技术、通信技术];

学科分类号：

0808 ; 0809 ;

摘要：

This paper presents a method how to reduce safety models based on Markov chains. The safety model is used to calculate the probability and rate of an event leading to the hazard state - situation, where safety of a modeled system is violated, so the system may cause material loss or mortality. The reduction method allows us to prove that the rate of the event is sufficiently small hence the hazard state may be neglected. The real safety model of railway station signaling and interlocking equipments is used as a case study.

引用

页码：183 / 186

页数：4

共 13 条

[1] [Anonymous], 2005, EMP TECHN FIN, P5
[2] [Anonymous], 501292003 EN
[3] [Anonymous], 2003, 50129 CSN EN
[4] Avizienis Algirdas., 2004, IEEE T DEPENDABLE SE, V1
[5] Reliable Railway Station System based on Regular Structure implemented in FPGA
Borecky, Jaroslav
Kubalik, Pavel
Kubatova, Hana
[J]. PROCEEDINGS OF THE 2009 12TH EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN, ARCHITECTURES, METHODS AND TOOLS, 2009, : 348 - 354
[6] Dobias R, 2004, PROCEEDINGS OF THE EUROMICRO SYSTEMS ON DIGITAL SYSTEM DESIGN, P467
[7] Dobias R., 2010, THESIS CTU PRAGUE
[8] Hoang P., 2007, SPRINGER SERIES RELI, P9
[9] Dependable design technique for system-on-chip
Kubalik, Pavel
Kubatova, Hana
[J]. JOURNAL OF SYSTEMS ARCHITECTURE, 2008, 54 (3-4) : 452 - 464
[10] Kubalík P, 2006, DSD 2006: 9TH EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN: ARCHITECTURES, METHODS AND TOOLS, PROCEEDINGS, P139

← 1 2 →