Computer Science ›› 2015, Vol. 42 ›› Issue (1): 193-195.doi: 10.11896/j.issn.1002-137X.2015.01.043
Previous Articles Next Articles
DONG Yu and GAO Xue-juan
[1] 张曙光.高速铁路系统生命周期安全评估体系的研究[J].铁道学报,2007,9(2):20-26 [2] The European Committee for Electro-technical Standardization.EN 50126 Railway Applications-the Specification and Demonstration of Reliability,Availability,Maintainability and Safety(RAMS)[S].UK:BSI,2002 [3] CENELEC.EN 50128 Railway Applications:Communi cations,signaling and processing systems-Software for railway control and protection systems[S].UK:CENELEC,2001 [4] CENELEC.EN 50126 Railway Applications:The specification and demonstration of Reliability,Availability,Maintainability and Safety(RAMS) [S].UK:CENELEC,1999 [5] IEC.IEC61508 Functional Safety of electrical/ electronic/programmable electronic safety- related systems-part3:software requirements[S].UK:IEC,2000 [6] IEC.IEC61508 Functional Safety of electrical/ electronic/programmable electronic safety- related systems-part7:Overview of techniques and measures[S].UK:IEC,2006 [7] 王曦,徐中伟,梅萌.基于模型检测的软件安全性验证方法[J].武汉大学学报,2010,6(2):156-160 [8] Haxthausen A E,Peleska J.Formal Development and Verifica-tion of a Distributed Railway Control System[J].IEEE Transactions on Software Engineering,2000,6(8):1546-1563 [9] Garmhausen V H,Campos S,Cimatti A.Verification of a safety-critical railway interlocking system with real-time constraints[J].Elsevier Science of Computer Programming,2000(36):53-64 [10] Yang Shuang-hua,Yang Li-li.Automatic safety analysis of control systems[J].Journal of Loss Prevention in the Process Industries,2005,8(3):178-185 [11] Bozzano M,Villa-orita A.The FSAP/NuSMV-SA Safety Analy-sis Platform[J].Software Tools for Technology Transfer,2007,9(1):5-24 [12] Koh K Y,Seong P H.SMV model-based safety analysis of software requirements[J].Reliability Engineering & System Safety,2009,4(2):320-331 [13] 赵志熙.计算机联锁系统技术[M].北京:中国铁道出版社,1999:20 [14] Booch G,Rumbaugh J,Jacobsn I.UML用户指南[M].邵维忠,译.北京:机械工业出版社,2001:59-78 [15] Kim H,Russell M.Learning UML 2.0[M].California:O’ Reilly,2006:1-286 [16] 张琛,段振华.应用UML2.0模型的测试用例生成方法[J].西安交通大学学报,2011,5(8):18-23 |
No related articles found! |
|