| 一种数字量的安全输入/输出模块的设计与实现 |
| |
| 引用本文： | 陈海燕,穆建成,马连川.一种数字量的安全输入/输出模块的设计与实现[J].铁路计算机应用,2011,20(8):54-56. |
| |
| 作者姓名： | 陈海燕 穆建成 马连川 |
| |
| 作者单位： | 北京交通大学轨道交通控制与安全国家重点实验室,北京,100044%铁道部科技司,北京,100844 |
| |
| 基金项目： | 国家科技支撑计划项目:北京轨道交通核心技术CBTC研发及示范工程(2009BAG14B01) |
| |
| 摘 要： | 本文在分析可扩展安全计算机平台实时性和安全性要求的基础上,提出基于可编程逻辑器件(FPGA)和时钟级同步2取2结构的安全输入/输出(安全I/O)模块的设计方法.深入阐述了安全I/O模块的硬件设计原理和基于PSL语言的断言验证方案.功能仿真和形式化验证结果说明了设计的正确性,同时在EDA开发平台上长时间稳定性的测试结果也证明了安全I/O模块的正确性和安全性.
|
| 关 键 词： | 关键词:轨道交通 信号设备 安全计算机平台 I/O模块 断言验证 超高速集成电路硬件描述语言 |
| 收稿时间： | 2011-08-15 |
Design and Implementation of a safety input and output module of digital quantity |
| |
| CHEN Hai-yan,MU Jian-cheng,MA Lian-chuan.Design and Implementation of a safety input and output module of digital quantity[J].Railway Computer Application,2011,20(8):54-56. |
| |
| Authors: | CHEN Hai-yan MU Jian-cheng MA Lian-chuan |
| |
| Institution: | CHEN Hai-yan1,MU Jian-cheng2,MA Lian-chuan1(1.School of Electronics and Information Engineering,Beijing Jiaotong University,Beijing 100044,China,2.Technology Department of Ministry of Railways,Beijing 100844,China) |
| |
| Abstract: | 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 ... |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《铁路计算机应用》浏览原始摘要信息 |
| 点击此处可从《铁路计算机应用》下载免费的PDF全文 |
