Max-plus algebra failure propagation analysis of safety systems

被引：0

作者：

She X. ^{[1
]}

Zhao J. ^{[2
]}

Yang J. ^{[1
]}

机构：

[1] Department of Electronic Engineering, Tsinghua University, Beijing

[2] Collaborative Innovation Center of High-End Manufacturing Equipment, Xi'an Jaotong University, Xi'an

来源：

Qinghua Daxue Xuebao/Journal of Tsinghua University | 2016年 / 56卷 / 03期

关键词：

Failure propagation; Max-plus algebra; Safety analysis; Train control system;

D O I：

10.16511/j.cnki.qhdxxb.2016.21.023

中图分类号：

学科分类号：

摘要：

A failure propagation analysis method was developed for safety systems having multiple interactive sub-systems. Two models are given based on min-plus and max-plus algebra to describe the failure propagation and control processes. Iterative solutions for both models give the final hazardous output disclosure time for specific failures. Unlike other failure propagation models, this method describes the asymmetry in the failure propagation mechanism and presents a calculational method for the hazardous incident time for interactive safety systems. This method is applied to a conceptual CTCS system to demonstrate its effectiveness. © 2016, Press of Tsinghua University. All right reserved.

引用

页码：318 / 323

页数：5

共 13 条

[1]

Leveson N., Engineering a Safer World: Systems Thinking Applied to Safety, (2011)

[2]

Jahanian F., Mok A.K., Safety analysis of timing properties in real-time systems, IEEE Transactions on Software Engineering, 12, 9, pp. 890-904, (1986)

[3]

Fenelon P., McDermid J.A., An integrated tool set for software safety analysis, Journal of Systems and Software, 21, 3, pp. 279-290, (1993)

[4]

Leveson N.G., Stolzy J.L., Safety analysis using Petri nets, IEEE Transactions on Software Engineering, SE-13, 3, pp. 386-397, (1987)

[5]

Railway Applications: Safety-related Electronic Systems for Signalling, (2003)

[6]

Baccelli F., Cohen G., Olsder G.J., Et al., Synchronization and Linearity: An Algebra for Discrete Event Systems, (1992)

[7]

Zheng D., Zhao Q., Discrete Event Dynamic Systems, (2001)

[8]

Gunawardena J., Min-max functions, Discrete Event Dynamic Systems, 4, 4, pp. 377-407, (1994)

[9]

Yedidia J.S., Freeman W.T., Weiss Y., Understanding belief propagation and its generalizations, Exploring Artificial Intelligence in the New Millennium, 8, pp. 236-239, (2003)

[10]

Goverde R.M., A delay propagation algorithm for large-scale railway traffic networks, Transportation Research Part C: Emerging Technologies, 18, 3, pp. 269-287, (2010)

← 1 2 →