【技术实现步骤摘要】
【技术保护点】
一种用于车载ATP系统的安全冗余编码处理方法,其特征在于,该方法包括以下步骤:1)预生成签名、配置信息、不安全的C语言代码通过输入与错误检测模块处理;2)将处理后的预生成签名、配置信息、不安全的C语言代码经安全冗余编码编译器的预编译器处理后生成中间代码文件,中间代码文件经过安全冗余编码编译器的中间代码编译器处理后生成补偿常量、编码后的C语言代码;3)安全冗余编码优化模块生成辅助语言代码;4)将补偿常量、编码后的C语言代码、辅助语言代码经通用编译器和连接器处理后生成安全冗余代码;5)该安全冗余代码经输出与错误检测模块处理后输出。
【技术特征摘要】
【专利技术属性】
技术研发人员:姜坚华,朱翔,崔科,刘昕,张磊,曹杰,
申请(专利权)人:卡斯柯信号有限公司,上海申通轨道交通研究咨询有限公司,
类型:发明
国别省市:31[中国|上海]
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。