一种基于时间自动机模型的安全计算机平台系统

摘要

本实用新型公开了一种基于时间自动机模型的安全计算机平台系统，包括安全表决模块，及与安全表决模块相连接的处理单元模块与数据输入输出模块；所述处理单元模块由四台处理单元工控机组成；所述数据输入输出模块包括两台数据工控机；所述安全表决模块由两个容错安全管理单元组成。本实用新型的基于时间自动机模型的安全计算机平台系统，每一个过程被描述为由有限控制结构、实数值时钟和变量组成的时间自动机，过程之间通过管道和(或者)共享变量进行通信，管道用于保证不同自动机中两个转换同时执行；在对与性质自动机的乘积进行判空时，只在需要时生成系统自动机的状态，避免为系统建立整个状态空间，有效提高模型验证器的效率。

主权项

一种基于时间自动机模型的安全计算机平台系统，其特征在于：包括安全表决模块，及与安全表决模块相连接的处理单元模块与数据输入输出模块；所述处理单元模块由四台处理单元工控机组成；所述数据输入输出模块包括两台数据工控机；所述安全表决模块由两个容错安全管理单元组成。