一种数字量的安全输入/输出模块的设计与实现  

Design and Implementation of a safety input and output module of digital quantity

作　　者：陈海燕[1] 穆建成 马连川[1] 

机构地区：[1]北京交通大学轨道交通控制与安全国家重点实验室,北京100044 [2]铁道部科技司,北京100844

出　　处：《铁路计算机应用》2011年第8期54-56,共3页Railway Computer Application

基　　金：国家科技支撑计划项目:北京轨道交通核心技术CBTC研发及示范工程(2009BAG14B01)

摘　　要：本文在分析可扩展安全计算机平台实时性和安全性要求的基础上,提出基于可编程逻辑器件(FPGA)和时钟级同步2取2结构的安全输入/输出(安全I/O)模块的设计方法。深入阐述了安全I/O模块的硬件设计原理和基于PSL语言的断言验证方案。功能仿真和形式化验证结果说明了设计的正确性,同时在EDA开发平台上长时间稳定性的测试结果也证明了安全I/O模块的正确性和安全性。On the base of analyzing the requirements of real-time and security for expansible safety computer platforms,it was proposed a new design of safety input and output（safety I/O） module based on field-programmable gate array（FPGA） and 2-vote-2 structure of clock synchronization,discussed the principles of hardware design for safety I/O and the plan of assertion verification based on PSL in detail.Functional simulation and verification results proved the correctness of the design.Finally,steady testing result for a long time on EDA platform also proved the correctness and the safety of I/O module.

关 键 词：轨道交通 信号设备 安全计算机平台 I/O模块 断言验证 超高速集成电 

分 类 号：TP301.1[自动化与计算机技术—计算机系统结构] TP319[自动化与计算机技术—计算机科学与技术]