基于模型的安全比较核设计

作     者：刘明端 穆建成 马连川 尚麟宇 LIU Mingduan;MU Jiancheng;MA Lianchuan;SHANG Linyu

作者机构：北京交通大学轨道交通控制与安全国家重点实验室北京100044 北京交通大学电子信息工程学院北京100044 铁道部科技司北京100844 轨道交通运行控制系统国家工程研究中心北京100044 

基　　金：国家科技支撑计划项目(2009BAG14B01) 铁道部项目(2001X005-A) 

出 版 物：《沈阳建筑大学学报（自然科学版）》 (Journal of Shenyang Jianzhu University：Natural Science)

年 卷 期：2011年第27卷第4期

页      码：792-797页

摘      要：目的研究安全比较核的结构,并应用于2乘2取2结构的安全系统.方法利用Simu-link和其相关工具对安全比较核进行建模与验证,使用Simulink HDL Coder对所建模型进行自动代码生成,将生成的代码和工程应用于Altera Cyclone II系列的EP2C5T144芯片进行实物测试,在FPGA上将其实现基于模型的设计.结果便于产品的修改和维护.设计过程不需要编写代码,相比于传统的设计方法节省了近50%的时间,有着更高的可靠性,并且在FPGA资源的消耗上减少了约10%.结论基于模型的设计方法在设计流程的任何阶段都可以对模型进行修改,而不会影响之前的工作,有着极高的效率.标准化的自动代码生成也保证了其可靠性.该设计方法有很强的应用价值.

主 题 词：Simulink HDL Coder FPGA 2乘2取2 安全比较核 

学科分类：08[工学] 0839[0839] 081201[081201] 0812[工学-测绘类] 

馆 藏 号：203161047...