基于形式化验证的列车运行控制安全标准框架.docxVIP

基于形式化验证的列车运行控制安全标准框架

目录

一、内容概览．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．2

二、基本概念与术语．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．3

三、安全需求规范体系．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．6

3.1功能性安全要求．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．6

3.2通信与信号完整性需求．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．11

3.3系统可用性与可靠性指标．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．16

3.4安全防护与异常处理规定．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．19

3.5人机交互界面安全准则．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．21

四、形式化验证方法论．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．24

4.1需求形式化转换技术．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．24

4.2模型建立与规约描述．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．26

4.3逻辑推