Max-plus algebra failure propagation analysis of safety systems

doi:10.16511/j.cnki.qhdxxb.2016.21.023

Download: PDF(1194 KB)
Export: BibTeX | EndNote | Reference Manager | ProCite | RefWorks

Abstract 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.

Keywords failure propagation max-plus algebra safety analysis train control system

ZTFLH:

U283.2

Issue Date: 15 March 2016

	Service

	E-mail this article
	E-mail Alert
	RSS
	Articles by authors

	SHE Xiaoli
	ZHAO Jiyuan
	YANG Jian

Cite this article:

SHE Xiaoli,ZHAO Jiyuan,YANG Jian. Max-plus algebra failure propagation analysis of safety systems[J]. Journal of Tsinghua University(Science and Technology), 2016, 56(3): 318-323.

URL:

http://jst.tsinghuajournals.com/EN/10.16511/j.cnki.qhdxxb.2016.21.023 OR http://jst.tsinghuajournals.com/EN/Y2016/V56/I3/318

[1] Leveson N. Engineering a Safer World:Systems Thinking Applied to Safety[M]. Massachusetts:Mit Press, 2011.
[2] Jahanian F, Mok A K. Safety analysis of timing properties in real-time systems[J]. IEEE Transactions on Software Engineering, 1986, 12(9):890-904.
[3] Fenelon P, McDermid J A. An integrated tool set for software safety analysis[J]. Journal of Systems and Software, 1993, 21(3):279-290.
[4] Leveson N G, Stolzy J L. Safety analysis using Petri nets[J]. IEEE Transactions on Software Engineering, 1987, SE-13(3):386-397.
[5] CENELEC. EN 50129 Railway Applications:Safety-related Electronic Systems for Signalling[S]. London, UK:British Standards Institution (BSI), 2003.
[6] Baccelli F, Cohen G, Olsder G J, et al. Synchronization and Linearity:An Algebra for Discrete Event Systems[M]. New York, NY, USA:John Wiley & Sons Ltd, 1992.
[7] 郑大钟, 赵千川. 离散事件动态系统[M]. 北京:淸华大学出版社, 2001.ZHENG Dazhong, ZHAO Qianchuan. Discrete Event Dynamic Systems[M]. Beijing:Tsinghua University Press, 2001. (in Chinese)
[8] Gunawardena J. Min-max functions[J]. Discrete Event Dynamic Systems, 1994, 4(4):377-407.
[9] Yedidia J S, Freeman W T, Weiss Y. Understanding belief propagation and its generalizations[J]. Exploring artificial intelligence in the new millennium, 2003, 8:236-239.
[10] Goverde R M. A delay propagation algorithm for large-scale railway traffic networks[J]. Transportation Research Part C:Emerging Technologies, 2010, 18(3):269-287.
[11] Goverde R M. Railway timetable stability analysis using max-plus system theory[J]. Transportation Research Part B:Methodological, 2007, 41(2):179-201.
[12] 张曙光. CTCS-3级列控系统总体技术方案[M]. 北京:中国铁道出版社, 2008.ZHANG Shuguang. CTCS-3 Train Control System Technical Specification[M]. Beijing:China Railway Publishing House, 2008. (in Chinese)
[13] Pumfrey D J. The Principled Design of Computer System Safety Analyses[D]. York, UK:University of York, 1999.

[1]	HAO Yuchen, WANG Jinhua, WANG Haitao, LIU Bing, LI Yue. Safety performance of HTR-PM600 fresh fuel storage canister under drop impact[J]. Journal of Tsinghua University(Science and Technology), 2022, 62(10): 1668-1674.
[2]	XU Jianjiang, CHEN Wenfu, TAN Yaosheng, GAO Shikui, ZHOU Tiangang, ZHOU Mengxia, LIU Chunfeng, LIANG Cheng, LI Xiangqian. Intelligent concrete transport methods for super-high arch dams[J]. Journal of Tsinghua University(Science and Technology), 2021, 61(7): 768-776.