期刊文献+

基于需求的安全例证获取与管理方法研究 预览

Research of Building and Managing Techniques for Requirement- oriented Safety Cases
在线阅读 下载PDF
分享 导出
摘要 基于形式化的需求验证技术是确保铁路安全苛求系统需求正确的有效手段,有效的组织和管理需求验证形成的安全例证是安全评估的关键.本文应用形式化语言Event—B方法对需求进行建模、分析和验证,能够发现潜在危险、提高系统安全性,同时结合GSN更高效地组织和管理Event—B提供的需求安全例证,增加安全例证的可信性和可阅读性,使论证逻辑更清晰、更适合安全审核和评估. Formal - based requirement verification techniques is one of the effective methods to ensure the correctness of requirement for the railway safety - critical system. Safety ease agement is the key factor for safety assessment. In this paper, formal languag with effective organization and man- e Event - B was used to do the mod- cling, analysis and verification work for the requirement specification, which could locate the potential danger and improve system safety performance. Meanwhile combining GSN method, the process of obtaining and manag- ing safety cases could be more efficient, which greatly improved the credibility and readability, made the argu- ment logic more clear and consistent and helped to pass the verification and approval of safety assessment.
作者 于小飞 陈邦兴 唐晨 YU Xiao -fei, CHEN Bang -xing, TANG Chen ( School of Electronics & Information Engineering, Tongji University, Shanghai 200092, China)
出处 《佳木斯大学学报:自然科学版》 CAS 2013年第6期863-866,共4页 Journal of Jiamusi University(Natural Science Edition)
关键词 安全例证 安全论证 目标结构语言 Event—B形式化方法 safety cases safety argument GSN Event- B formal method
作者简介 于小飞(1988-),男,河南濮阳人,同济大学,硕士.
  • 相关文献

参考文献10

  • 1CENELEC. EN 50126 Railway Applications - The Specificationand Demonstration of Reliability, Availability, Maintainabilityand Safety (RAMS) : BSI,1999. 被引量:1
  • 2I. Habli and T. P. Kelly. Achieving Integrated Process andProduct Safety Arguments, in Proceedings of the 15th SafetyCrit-ical Systems, Symposium ( SSS ’ 07 ),Bristol, UK, Springer,2007:55 -68. 被引量:1
  • 3CENELEC. EN 50128 Railway Applications Communications.Signaling and Processing Systems - Software for Railway Controland Protection Systems: BSI, 2011. 被引量:1
  • 4CENELEC, EN 50129. Railway Applications - Communica-tion. Signaling and Processing Systems - Safety Related Elec-tronic Systems for Signalling: BSI, 2003. 被引量:1
  • 5郦萌,吴芳美编著..铁路信号可靠性安全性理论及证实[M].北京:中国铁道出版社,2008:270.
  • 6NurlidaBasir. Safety Cases for the Formal Verificationof Automat-ically Generated Code[ D]. University of Southampton, 2010:57-61,101 -115. 被引量:1
  • 7Jorg R. Muller, JomDrewes. The Formal Representation of theSafety Case Processes Described in the EN 5012x norms. 2011. 被引量:1
  • 8古天龙著..软件开发的形式化方法[M].北京:高等教育出版社,2005:265.
  • 9WrightS, EderK. Using Event - B to Construct Instruction SetArchitectures[ J]. Formal Aspects of Computing, 2011 ,23( 1 ):73 -89. 被引量:1
  • 10ABRIAL J R. Modeling in Event - B : System and Software En-gineering[M]. New York: Cambridge University Press,2010:30-55. 被引量:1
投稿分析

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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