摘要： 针对轨道交通车载装备的安全性问题，基于安全编码处理器(VCP)的编码思想，设计并实现安全编码预编译器(VCPC)。VCPC能将没有安全性的源代码转换成具有验证能力的安全代码，生成的安全代码可应用于VCP中的单处理器，实现对处理器各种故障的监测和保护。测试结果表明，该安全代码的剩余错误率可以达到1/A。
关键词:
安全编码处理器,
预编译器,
编码,
故障检测
Abstract: Aiming at the safety problem of rail transit equipment, this paper designs and implements Vital Coded Pre-Compiler(VCPC) based on the coding principle of Vital Coded Processor(VCP). VCPC can transform the source codes into codes which are safe and can be verified. Faults are detected by the safe codes running on VCP’s single processor. Test results show that the non detection probability of an error can be 1/A.
Key words:
Vital Coded Processor(VCP),
pre-compiler,
coding,
fault detection
中图分类号:
李刚, 丁佳, 梁盟磊, 薛小平, 王小平. 安全编码预编译器的设计与实现[J]. 计算机工程, 2011, 37(3): 230-232,235.
LI Gang, DING Jia, LIANG Meng-Lei, XUE Xiao-Beng, WANG Xiao-Beng. Design and Implementation of Vital Coded Pre-Compiler[J]. Computer Engineering, 2011, 37(3): 230-232,235.