针对多个子系统协同工作的安全系统, 提出基于极大代数的失效传播分析方法。该方法分别针对失效在子系统间的传播过程和控制过程建立模型, 基于极大代数运算规则提出迭代求解公式, 并在此基础上得到失效传播导致的系统危害暴露时间(TSF)。相比其他失效传播模型, 该方法通过失效传播与控制模型的对比发现失效传播机制的非对称特性, 并给出了求解协同系统TSF的方法。通过中国列车控制系统(CTCS)实例分析表明了本方法的有效性。
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.
关键词
失效传播 /
极大代数 /
安全分析 /
列车控制系统
Key words
failure propagation /
max-plus algebra /
safety analysis /
train control system
{{custom_sec.title}}
{{custom_sec.title}}
{{custom_sec.content}}
参考文献
[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.
PDF(1194 KB)
