论文部分内容阅读
随着我国铁路运行速度的提高和运行间隔的缩短,以及计算机和通信技术在信号系统中的大规模应用,安全问题显得越发重要和复杂。如何针对我国国情,保证新一代信号系统的安全性是当前必须面对的难题。本文以安全目标为主线,采用安全论证的方法对系统研发阶段的安全保障进行规划和验证。在此基础上,构建信号系统的论证驱动安全设计框架,以GSN论证语言为基础设计安全论证的软件系统。