论文部分内容阅读
基于形式化的需求验证技术是确保铁路安全苛求系统需求正确的有效手段，有效的组织和管理需求验证形成的安全例证是安全评估的关键．本文应用形式化语言Event—B方法对需求进行建模、分析和验证，能够发现潜在危险、提高系统安全性，同时结合GSN更高效地组织和管理Event—B提供的需求安全例证，增加安全例证的可信性和可阅读性，使论证逻辑更清晰、更适合安全审核和评估．