- 1
- 2
- 3
- 4
- 5
安全计算机FTSM单元基于模型的设计与实现
资料介绍
本文解决的即是基于COTS计算机的安全计算机平台中容错安全管理单元(Fault Tolerant and Safety Management,FTSM)的设计问题。论文以列车控制系统对于安全计算机平台安全方面的需求为应用背景,通过IEC61508安全标准分析了安全计算机平台的安全完整性,得到了FTSM需要满足的相关指标限制,并进而得到FTSM对冗余结构的需求。通过进一步计算并结合经济性和易实现性方面的考虑,论文选择二取二结构(1-out-of-2,1002)作为FTSM单元的冗余结构,该结构的FTSM是保证安全计算机平台达到列车控制系统所要求的SIL4级安全完整性的最简结构。
论文引入了基于模型的设计方法与设计理念,详细介绍了基于模型的 FPGA开发流程,并使用工具软件完成了整个开发。论文使用Simulink和Stateflow对FTSM建模,利用HDL Verifier 对模型进行联合仿真,最后通过HDLCoder将模型转换为QUARTUSIⅡ开发工具可直接使用的工程文件。
论文在ALTERA公司CYCLONE EPIC12Q240C8的FPGA 上实现了二取二结构FTSM的基于模型的设计。经过仿真与平台实验后可知,FTSM单元实现了全部的设计功能,证明了基于模型的设计方法可以很好的应用于FPGA的开发和安全计算机平台的设计,解决了将基于模型的思想应用于实际工程的问题。通过论文的分析可知,依据安全标准设计系统结构可以使系统在安全性方面更加可信,并可以在保证安全的基础上使整个开发更经济和易实现。
部分文件列表
文件名 | 大小 |
安全计算机FTSM单元基于模型的设计与实现.pdf | 20M |
全部评论(0)