[实用新型]一种基于时间自动机模型的安全计算机平台系统有效
| 申请号： | 201520660716.4 | 申请日： | 2015-08-30 |
| 公开（公告）号： | CN204990272U | 公开（公告）日： | 2016-01-20 |
| 发明（设计）人： | 李淑范 | 申请（专利权）人： | 哈尔滨光凯科技开发有限公司 |
| 主分类号： | G06F11/07 | 分类号： | G06F11/07 |
| 代理公司： | 暂无信息 | 代理人： | 暂无信息 |
| 地址： | 150070 黑龙江省哈尔滨市*** | 国省代码： | 黑龙江;23 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本实用新型公开了一种基于时间自动机模型的安全计算机平台系统，包括安全表决模块，及与安全表决模块相连接的处理单元模块与数据输入输出模块；所述处理单元模块由四台处理单元工控机组成；所述数据输入输出模块包括两台数据工控机；所述安全表决模块由两个容错安全管理单元组成。本实用新型的基于时间自动机模型的安全计算机平台系统，每一个过程被描述为由有限控制结构、实数值时钟和变量组成的时间自动机，过程之间通过管道和(或者)共享变量进行通信，管道用于保证不同自动机中两个转换同时执行；在对与性质自动机的乘积进行判空时，只在需要时生成系统自动机的状态，避免为系统建立整个状态空间，有效提高模型验证器的效率。 | ||
| 搜索关键词： | 一种 基于 时间 自动机 模型 安全 计算机 平台 系统 | ||
【主权项】：
一种基于时间自动机模型的安全计算机平台系统，其特征在于：包括安全表决模块，及与安全表决模块相连接的处理单元模块与数据输入输出模块；所述处理单元模块由四台处理单元工控机组成；所述数据输入输出模块包括两台数据工控机；所述安全表决模块由两个容错安全管理单元组成。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于哈尔滨光凯科技开发有限公司，未经哈尔滨光凯科技开发有限公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201520660716.4/，转载请声明来源钻瓜专利网。
- 上一篇：一种新型的多功能护目眼镜
- 下一篇：一种电磁式交互的电子白板
