安全编码预编译器的设计与实现

作     者：李刚 丁佳 梁盟磊 薛小平 王小平 LI Gang;DING Jia;LIANG Meng-lei;XUE Xiao-ping;WANG Xiao-ping

作者机构：同济大学信息与通信工程系上海201804 同济大学计算机科学与技术系上海201804 

出 版 物：《计算机工程》 (Computer Engineering)

年 卷 期：2011年第37卷第3期

页      码：230-232,235页

摘      要：针对轨道交通车载装备的安全性问题,基于安全编码处理器(VCP)的编码思想,设计并实现安全编码预编译器(VCPC)。VCPC能将没有安全性的源代码转换成具有验证能力的安全代码,生成的安全代码可应用于VCP中的单处理器,实现对处理器各种故障的监测和保护。测试结果表明,该安全代码的剩余错误率可以达到1/A。

主 题 词：安全编码处理器 预编译器 编码 故障检测 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3969/j.issn.1000-3428.2011.03.081

馆 藏 号：203518502...