Design and Implementation of Vital Coded Pre-Compiler
Wang Xiao-pingb · Jisuanji gongcheng · 2011
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.