论文部分内容阅读
首先叙述了形式化方法的概念和铁路信号系统软件安全技术规范,同时介绍了几种较为流行的形式化设计语言,同时也基于Z语言对列控ATP软件的移动授权分配功能规格进行了实例说明。
形式化方法在铁路信号系统软件设计中的应用
【摘 要】
：
首先叙述了形式化方法的概念和铁路信号系统软件安全技术规范,同时介绍了几种较为流行的形式化设计语言,同时也基于Z语言对列控ATP软件的移动授权分配功能规格进行了实例说明
【机 构】
：
北京全路通信信号研究设计院有限公司
【出 处】
：
铁路通信信号工程技术
【发表日期】
：
2013年S1期
其他文献
对如何强化设备故障的追踪分析，建立和完善故障汇报、受理、原因查证以及分析、定责等安全管理制度，提出具体的要求和规定，达到减少和防止电务故障的目的。
介绍了800MHz列尾远程无线跟踪管理系统原理、关键技术、系统构成，以及工作过程、特点和技术指标等内容。
本文简要介绍了新一代调度集中的主要特点，重点分析其对无线移动通信的要求，并分析了目前常见解决方案各自的利弊，就存在的问题提出了观点。
客运管理信息系统是高速及客运专线的重要组成部分，通过中心及车站两级组网，实现核心层数据采集、控制，并向各子系统提供服务。系统由通告显示类、安全监控类、时钟等系统组成。
本文通过论述编组站综合集成系统（CIPS）的网络安全设计，提出了铁路专用信息与控制系统进行信息安全防护的新方法。