设计一种基于三取二冗余结构的安全计算机系统。该系统由CPU 模块、通信模块、安全输入输出模块组成，利用具有同步表决功能的三模同步表决总线、冗余控制器局域网总线和冗余以太网总线实现各模块间的数据通信，采用基于动态脉冲调制的三取二表决电路保证系统输出的安全性和可靠性。测试结果表明，该三取二安全计算机系统样机能够达到预期设计目标。
2022-11-24 00:07:36
281KB
1
为提高下一代列车运行控制（简称列控）系统安全计算机的系统兼容性，首先对其结构进行简要分析，并对管理机制进行设计，建立了管理单元状态转移模型，同时以形式化验证工具对模型的正确性进行了验证。在此基础上对基于微控制单元(MCU, micro controller unit)的管理单元进行了软硬件的设计实现与测试。验证和测试结果表明，所设计的管理机制符合设计规范的要求，管理单元能够实现预期的状态转移功能。
2022-03-19 10:26:10
767KB
1
行业分类-设备装置-一种2oo2安全计算机平台的动态周期设计方法及系统.zip
2021-09-02 14:05:42
529KB