论文部分内容阅读
首先叙述了形式化方法的概念和铁路信号系统软件安全技术规范,同时介绍了几种较为流行的形式化设计语言,同时也基于Z语言对列控ATP软件的移动授权分配功能规格进行了实例说明。
形式化方法在铁路信号系统软件设计中的应用
【摘 要】
：
首先叙述了形式化方法的概念和铁路信号系统软件安全技术规范,同时介绍了几种较为流行的形式化设计语言,同时也基于Z语言对列控ATP软件的移动授权分配功能规格进行了实例说明
【机 构】
：
北京全路通信信号研究设计院有限公司
【出 处】
：
铁路通信信号工程技术
【发表日期】
：
2013年S1期
其他文献
对如何强化设备故障的追踪分析，建立和完善故障汇报、受理、原因查证以及分析、定责等安全管理制度，提出具体的要求和规定，达到减少和防止电务故障的目的。
介绍了800MHz列尾远程无线跟踪管理系统原理、关键技术、系统构成，以及工作过程、特点和技术指标等内容。
本文介绍了UM71无绝缘轨道电路模拟电路的制作和调试的方法和步骤，并对联锁关系和故障查找进行了分析。
本文就智能网的发展及特点论述了铁路智能网的建设策略。认为铁路智能网的建设应该迅速完成从叠加网到目标网的演变过程，并在此基础上大力发展铁路智能网的VPN业务，利用铁路公
本文简要介绍了新一代调度集中的主要特点，重点分析其对无线移动通信的要求，并分析了目前常见解决方案各自的利弊，就存在的问题提出了观点。
本文针对牵出线设置分歧道岔的特殊情况，提出了保证列车安全、方便运营的信号解决方案。
客运管理信息系统是高速及客运专线的重要组成部分，通过中心及车站两级组网，实现核心层数据采集、控制，并向各子系统提供服务。系统由通告显示类、安全监控类、时钟等系统组成。
针对陇海线郑州至宝鸡段电码化实施方案进行了详细的分析，对二线制和四线制电码化的优缺点进行了全面比较。
本文通过论述编组站综合集成系统（CIPS）的网络安全设计，提出了铁路专用信息与控制系统进行信息安全防护的新方法。
据最近美国工业市场研究公司Freedorlia Group Inc所做的调查显示，到2004年世界保健医药品基本包装的需求将有4．2％的增长，达到112亿美元。