Architecture for safety-critical transportation systems

被引：0

作者：

Ahangari, Hamzeh ^{[1
]}

Ozkok, Yusuf Ibrahim ^{[2
]}

Yildirim, Asil ^{[2
]}

Say, Fatih ^{[2
]}

Atik, Funda ^{[3
]}

Ozturk, Ozcan ^{[1
]}

机构：

[1] Bilkent Univ, Comp Engn Dept, Ankara, Turkiye

[2] Aselsan Corp, Ankara, Turkiye

[3] Washington Univ, Dept Comp Sci & Engn, St Louis, MI USA

来源：

MICROPROCESSORS AND MICROSYSTEMS | 2023年 / 98卷

关键词：

Reliability; Safety; Redundancy; Transportation; REDUNDANCY; DESIGN; RELIABILITY; COMPUTER; SIFT;

D O I：

10.1016/j.micpro.2023.104818

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

In many industrial systems, including transportation, fault tolerance is a key requirement. Usually, fault tolerance is achieved by redundancy, where replication of critical components is used. In the case of transportation computing systems, this redundancy starts with the processing element. In this paper, we use Markov models to assess the level of safety with different redundancy techniques used in the literature. More specifically, we give implementation details for various architecture options and evaluate one out of two (1oo2) and two out of three (2oo3) implementations. We observe that both 1oo2 and 2oo3 can reduce the average probability of failure per hour (PFH) down to 10-7 which provides Level-3 (SIL3) safety according to the standards.

引用

页数：11

共 30 条

[1] Analysis of Design Parameters in Safety-Critical Computers [J].

Ahangari, Hamzeh ;

Atik, Funda ;

Ozkok, Yusuf Ibrahim ;

Yildirim, Asil ;

Ata, Serdar Oguz ;

Ozturk, Ozcan .

IEEE TRANSACTIONS ON EMERGING TOPICS IN COMPUTING, 2020, 8 (03) :712-723

[2] A watchdog processor to detect data and control flow errors [J].

Benso, A ;

Di Carlo, S ;

Di Natale, G ;

Prinetto, P .

9TH IEEE INTERNATIONAL ON-LINE TESTING SYMPOSIUM, PROCEEDINGS, 2003, :144-148

[3]

Butler Ricky W., 2008, NASATM2008215108

[4] A Newly Developed Safety-Critical Computer System for China Metro [J].

Chen, Xiangxian ;

Zhou, Gongshuang ;

Yang, Yi ;

Huang, Hai .

IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS, 2013, 14 (02) :709-719

[5]

DESOUSA PT, 1978, IEEE T COMPUT, V27, P624, DOI 10.1109/TC.1978.1675162

[6]

Durmus M. S., 2011, Proceedings of the 2011 International Conference on Transportation and Mechanical & Electrical Engineering (TMEE), P723, DOI 10.1109/TMEE.2011.6199304

[7]

Fan CH, 2020, INT CONF SOFTW ENG, P519, DOI [10.1109/ICSESS49938.2020.9237647, 10.1109/icsess49938.2020.9237647]

[8] FTMP - HIGHLY RELIABLE FAULT-TOLERANT MULTIPROCESSOR FOR AIRCRAFT [J].

HOPKINS, AL ;

SMITH, TB ;

LALA, JH .

PROCEEDINGS OF THE IEEE, 1978, 66 (10) :1221-1239

[9]

Hoyme K., 1993, IEEE Aerospace and Electronics Systems Magazine, V8, P34, DOI 10.1109/62.199819

[10] Implementation Details and Safety Analysis of a Microcontroller-based SIL-4 Software Voter [J].

Idirin, Mikel ;

Aizpurua, Xabier ;

Villaro, Almir ;

Legarda, Jon ;

Melendez, Juan .

IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS, 2011, 58 (03) :822-829

← 1 2 3 →