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

Research of Building and Managing Techniques for Requirement-oriented Safety Cases

基于形式化的需求验证技术是确保铁路安全苛求系统需求正确的有效手段,有效的组织和管理需求验证形成的安全例证是安全评估的关键.本文应用形式化语言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.