Design and Implementation of Vital Coded Pre-Compiler

doi:10.3969/j.issn.1000-3428.2011.03.081

Computer Engineering ›› 2011, Vol. 37 ›› Issue (3): 230-232,235. doi: 10.3969/j.issn.1000-3428.2011.03.081

• Networks and Communications • Previous Articles Next Articles

Design and Implementation of Vital Coded Pre-Compiler

LI Gang ^a, DING Jia^a, LIANG Meng-lei ^b, XUE Xiao-ping ^a, WANG Xiao-ping ^b

(a. Department of Information and Communication Engineering; b. Department of Computer Science and Technology, Tongji University, Shanghai 201804, China)

Online:2011-02-05 Published:2011-01-28

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

李刚^a，丁佳^a，梁盟磊^b，薛小平^a，王小平^b

(同济大学 a. 信息与通信工程系；b. 计算机科学与技术系，上海 201804)

作者简介:李刚(1986－)，男，硕士研究生，主研方向：可靠计算，故障虚拟化；丁佳、梁盟磊，硕士研究生；薛小平，副教授、博士；王小平，教授、博士

Abstract

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

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

关键词: 安全编码处理器, 预编译器, 编码, 故障检测

CLC Number:

TP311

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.

李刚, 丁佳, 梁盟磊, 薛小平, 王小平. 安全编码预编译器的设计与实现[J]. 计算机工程, 2011, 37(3): 230-232,235.

/ / Recommend / Download Citations

URL: http://www.ecice06.com/EN/10.3969/j.issn.1000-3428.2011.03.081

http://www.ecice06.com/EN/Y2011/V37/I3/230

[1]	Yiyin GU, Hongkui WANG, Haibing YIN. Fast Dependent Quantization Algorithm Based on Context Adaptive Threshold Pruning [J]. Computer Engineering, 2023, 49(7): 143-149.
[2]	Jianrui XI, Hongmei TANG, Chunyang LIANG, Xin LIU. Point Cloud Object Reconstruction Based on Improved Implicit Function [J]. Computer Engineering, 2023, 49(7): 214-222.
[3]	CAI Ruichu, ZHANG Shengqiang, XU Boyan. Method for Generating Code Comments Based on Structure-aware Hybrid Encoding Model [J]. Computer Engineering, 2023, 49(2): 61-69.
[4]	YANG Zhenyu, WANG Lei, MA Bo, YANG Yating, DONG Rui, Azmat Anwar, WANG Zhen. A Cross-Lingual Distant Supervision Method for Uyghur and Chinese [J]. Computer Engineering, 2023, 49(2): 271-278.
[5]	WU Tianbo, ZHOU Xin, CHENG Junjun, ZHU Han, HE Xiaohai. Knowledge Graph Question-Answering Based on Joint Location and Attention Representation [J]. Computer Engineering, 2022, 48(8): 98-104,112.
[6]	SI Yichen, GUAN Youqing. Chinese Named Entity Recognition Model Based on Transformer Encoder [J]. Computer Engineering, 2022, 48(7): 66-72.
[7]	GUO Mengyan, ZHANG Juan, LIU Qiaohong, CAI Lizhi. Image Dehazing Algorithm Based on Recurrent Generative Adversarial Network [J]. Computer Engineering, 2022, 48(3): 280-287.
[8]	LUO Feiying, LI Xinmin, LI Qiang, DENG Huiyun. Performance Analysis of Linear Receivers in MIMO Uplink System for URLLC Business [J]. Computer Engineering, 2022, 48(11): 177-183.
[9]	HUANG Sheng, XIANG Sihao, HU Feng, MA Ting, LU Bing. Adaptive Lossless Compression of Capsule Endoscopy Image with Irregular Texture [J]. Computer Engineering, 2022, 48(10): 21-27,36.
[10]	SHA Yue, YANG Jing. Research and Improvement of Candidate Decision Making for the Merge Mode in H.266 [J]. Computer Engineering, 2022, 48(1): 260-265.
[11]	HUANG Sheng, ZHENG Xiufeng, CAO Zhixiong. SCF Decoding Algorithm Based on Log Likelihood Ratio and Channel Polarization Reliability [J]. Computer Engineering, 2022, 48(1): 170-174,181.
[12]	JI Pengshan, JIA Xiangdong, LU Yi, JING Letian. Hybrid Precoding Scheme of UAV-Assisted Multi-User MIMO Millimeter Wave Network [J]. Computer Engineering, 2021, 47(8): 183-188.
[13]	MA Guangyao, HUANG Delu, WANG Jianjun. Reversible Data Hiding Algorithm in Encrypted Domain Based on Prediction Error Coding [J]. Computer Engineering, 2021, 47(5): 138-143,153.
[14]	LI Zhao, LIU Youyao, JIAO Jiye, PAN Shupeng. Research and Design of Out-of-Order Submission Mechanism for Superscalar Processor [J]. Computer Engineering, 2021, 47(4): 180-186.
[15]	LI Bowen, XIE Zaipeng, MAO Yingchi, XU Yuanyuan, ZHU Xiaorui, ZHANG Ji. A Synchronized Gradient Descent Algorithm Based on Distributed Coding [J]. Computer Engineering, 2021, 47(4): 68-76,83.

Please choose a citation manager

Content to export

Design and Implementation of Vital Coded Pre-Compiler

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

PDF

Knowledge

Cited

Abstract

Cite this article

share this article

References

Related Articles 15

Recommended Articles

Metrics

Comments

模态框（Modal）标题

Please choose a citation manager

Content to export

Design and Implementation of Vital Coded Pre-Compiler

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

PDF

Knowledge

Cited

Abstract

Cite this article

share this article

References

Related Articles 15

Recommended Articles

Metrics

Comments