一种基于时间自动机模型的安全计算机平台系统技术方案
【技术实现步骤摘要】
本专利技术涉及一种计算机模拟平台系统，具体涉及一种基于时间自动机模型的安全计算机平台系统，属于计算机
技术介绍
基于通信的列车运行控制系统CBTC是列车运行控制系统的发展趋势；在CBTC系统中，地面区域控制中心的主要组成部分是区域控制器ZC以及数据存储单元DSU，其中ZC管辖区域中所有列车的车载控制器VOBC,将列车所在位置和速度等信息发送到安全计算机平台之上的ZC应用程序中，经过保证安全的计算后再将行车许可MA发往VOBC,控制列车的下一步运行，而DSU包括其他列控子系统使用的所有数据库和配置文件，其应用软件也需要搭建在安全计算机平台之上。为了提高地面区域控制中心的可靠性、安全性，采用2乘2取2的冗余结构设计安全计算机平台系统。对安全计算机平台系统选用适当的形式化工具进行辅助设计和验证十分必要，它可以有效发现系统设计缺陷，降低系统故障，提高系统的安全性，而安全计算机平台系统采用多重冗余结构，内部各单元间的通信任务较为繁重，协作机制较为复杂，对实时性要求很高的软件核心采用实时操作系统，其正确性和安全性不仅依赖于系统计算的逻辑结果，还依赖于产生这个结果的时间；在各种形式化建模方法中，基于逻辑的描述并发系统行为的自动机模型能够通过有向图形象地描述系统的行为，比较适合进行安全计算机平台系统的建模。
技术实现思路
（一）要解决的技术问题为解决上述问题，本专利技术提出了一种基于时间自动机模型的安全计算机平台系统，可以有效发现系统设计缺陷，降低系统故障，提高系统的安全性。（二）技术方案本专利技术的基于时间自动机模型的安全计算机平台系统，包括安全表决模块，及与安...
【技术保护点】
一种基于时间自动机模型的安全计算机平台系统，其特征在于：包括安全表决模块，及与安全表决模块相连接的处理单元模块与数据输入输出模块；所述处理单元模块由四台处理单元工控机组成；所述数据输入输出模块包括两台数据工控机；所述安全表决模块由两个容错安全管理单元组成。
【技术特征摘要】
1.一种基于时间自动机模型的安全计算机平台系统，其特征在于：包括安全表决模块，及与安全表决模块相连接的处理单元模块与数据输入输出模块；所述处理单元模块由四台处理单元工控机组成；所述数据输入输出模块包括两台数据工控机；所述安全表决模块由两个容错安全管理单元组成。2.根据权利要求1所述的基于时间自动机模型的安全计算机平台系统，其特征在于：所述处理单元工控机包括PUA1、PUA2、PUA3及PUA4处理单元，其中，所述...
【专利技术属性】
技术研发人员：李淑范，
申请(专利权)人：哈尔滨光凯科技开发有限公司，
类型：发明
国别省市：黑龙江;23
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。