期刊文献+

安全论证方法及其在铁路信号开发安全保障中的应用 预览 被引量:6

Application of Safety Argument in Safety Assurance System for Railway Signalling Development
在线阅读 下载PDF
分享 导出
摘要 随着我国铁路运行速度的提高和运行间隔的缩短,以及计算机和通信技术在信号系统中的大规模应用,安全问题显得越发重要和复杂。如何针对我国国情,保证新一代信号系统的安全性是当前必须面对的难题。本文以安全目标为主线,采用安全论证的方法对系统研发阶段的安全保障进行规划和验证。在此基础上,构建信号系统的论证驱动安全设计框架,以GSN论证语言为基础设计安全论证的软件系统。 Along with raizing of train speeds and shortening of headway between consecutive trains ,large-scale application of computer and communication techniques has come up and safety of railway transportation has turned out to be even more important and complicated in China .How to assure safety of the new-generation signaling system according to China's actual conditions remains an extremely urgent issue to face .In this paper , the safety argument method was applied in the development process of signaling systems to implement safety planning and verification .On this basis ,the argument driven safety assurance (ADSA ) framework was struc-tured and the GSN-based software tool was designed to support the application of the framework in industry practice .
作者 牛儒 唐涛 NIU Ru, TANG Tao (1. State Key Laboratory of Rail Traffic Control and Safety, Beijing Jiaotong University, Beijing 100044, China; 2. National Engineering Research Center of Rail Transportation Operation and Control System, Beijing Jiaotong University, Beijing 100044, China)
出处 《铁道学报》 EI CSCD 北大核心 2014年第4期54-59,共6页 Journal of the China railway Society
基金 国家国际科技合作专项(2012DFG81600) 北京交通大学基本科研项目(2013JBM125,2012JBZ014) 博士点基金青年教师基金项目(20130009120034)
关键词 轨道交通信号系统 安全论证 系统开发安全保障 GSN(goal STRUCTURING notation) GSN rail signaling system safety argument system development safety assurance
作者简介 牛儒(1982一),女,河南开封人,讲师,博士。E-mail:rniu@bjtu.edu.cn 通讯作者:唐涛(1963一),男,河南洛阳人,教授,博士。E-mail:ttang@bjtu.edu.cn
  • 相关文献

参考文献19

  • 1INGE J R. The Safety Case, Its Development and Use in the United Kingdom [C]// Equipment Safety Assurance Symposium 2007, 2007. 被引量:1
  • 2. SEFTON A D. The Development of the UK Safety Case Regime.. a Shift in Responsibility from Government to In- dustry [C]// Offshore Technology Conference, 1994. EN 50129. 被引量:1
  • 3Railway Applications-Communication, Signalling and Processing Systems-Safety Related Electronic Systems for Signaling [S]. 2003. EN 50126. 被引量:1
  • 4Railway Applications-the Specification and Dem- onstration of Reliability, Availability, Maintainability and Safety (RAMS)-Part 1: Basic Requirements and Generic Process [S]. 1999. 被引量:1
  • 5CLC/TR50126-2 Railway Applications-the Specification and Demonstration of Reliability, Availability, Maintain- ability and Safety ( RAMS) -Part 2 Guide to the Applica- tion of EN 50126-1 for Safety [S]. 2007. 被引量:1
  • 6European Organisation for the Safety of Air Navigation. Safety Case Development Manual [S]. 2006. 被引量:1
  • 7Charles Haddon-Cave. The Nimrod Review[R], HC 1025, London.. The Stationery Office Limited, 2009. 被引量:1
  • 8LEVENSON N G. The Use of Safety Cases in Certification and Regulation [R]. ESD Working Paper Series, 2011. 被引量:1
  • 9GRAYITX)N P J, KNIGHT J C. Assurance Based Develop- ment of Critical Systems[C]//37th Annual IEEE/IFIP In- ternational Conference Dependable Systems and Networks, DSN '07, 2007. 被引量:1
  • 10RASCHE T. Development of a Safety Case Methodology for the Minerals Industry-a Discussion Paper[J]. The U- niversity of Queensland, Minerals Industry Safety and Health Centre, 2001, 10: 1-17. 被引量:1

二级参考文献17

  • 1李全明,王云海,廖国礼.尾矿库安全评价中的科学问题及评价方法探讨[J].中国安全生产科学技术,2006,2(6):53-57. 被引量:33
  • 2McDermott R K,Sibley M.Aznaic(o)llar tailings dam accident-A case study[J].Mineral Resources Engineering,2000,9(11):101-118. 被引量:1
  • 3Vick S G.Tailings dam failure at Omai in Guyana[J].Mining Engineering,1996,48(11):34-37. 被引量:1
  • 4Harder L F J,Stewart J P.Failure of Tapo Canyon tailings dam[J].Journal of Performance of Constructed Facilities,1996,10(3):109-114. 被引量:1
  • 5Fourie A B,Blight G E,Papageorgiou G.Static liquefaction as a possible explanation for the merriespruit tailings dam failure:Discussion[J].Canadian Geotechnical Journal,2002,39(6):1439-1440. 被引量:1
  • 6Scott M D,Lo R C.Optimal tailings management at highland valley copper[J].CIM Bulletin,1992,85(962):85-88. 被引量:1
  • 7IAEA.The safety ease and safety assessment for radioactive waste disposal[S].Draft Safety Guide,No.DS 355,August 2008. 被引量:1
  • 8Rasche T.Development of a safety case methodology for the minerals industry-A discussion paper[J].The University of Queensland,Minerals Industry Safety and Health Centre,2001,10:1-17. 被引量:1
  • 9Bishop P,Bloomfield R.A methodology for safety case development[C]//Safety-critical Systems Symposium,Birmingham,UK,1998:53-61. 被引量:1
  • 10Tim Kelly,Rob Weaver.The goal structuring notation-A safety argument notation[C]//In DSN-2004:Proceedings of the Dependable Systems and Networks 2004 Workshop on Assurance Cases,2004,7:10-15. 被引量:1

共引文献20

同被引文献34

引证文献6

投稿分析

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部 意见反馈