Design and Implementation of a safety input and output module of digital quantity
-
摘要: 本文在分析可扩展安全计算机平台实时性和安全性要求的基础上,提出基于可编程逻辑器件(FPGA)和时钟级同步2取2结构的安全输入/输出(安全I/O)模块的设计方法.深入阐述了安全I/O模块的硬件设计原理和基于PSL语言的断言验证方案.功能仿真和形式化验证结果说明了设计的正确性,同时在EDA开发平台上长时间稳定性的测试结果也证明了安全I/O模块的正确性和安全性.
-
-
期刊类型引用(3)
1. 张小强，刘新，巩亮，周航. 行车设备施工维修登销记系统规范化研究. 铁道技术监督. 2024(01): 5-10 . 
百度学术
2. 陈刚，夏雷，李林，梁多姿，晁京. 铁路局信息系统状态诊断与辅助管理决策系统的研究. 铁路计算机应用. 2020(03): 32-37 . 本站查看
3. 邓桂星，张锐，王瑜，李世春，王俊清. 营业线施工作业监控系统设计及应用. 铁路计算机应用. 2019(07): 49-51+58 . 本站查看
其他类型引用(0)
计量
- 文章访问数: 57
- HTML全文浏览量: 0
- PDF下载量: 68
- 被引次数: 3
下载:
