期刊文献+

一种新型加减法运算错误检测算法

OPTIMIZATION OF VITAL CODING ALGORITHM BASED ON DELTA CODE
在线阅读 下载PDF
导出
摘要 近年来,基于计算机的控制技术已被广泛应用到轨道交通信号系统中,为了保证设备或系统的安全性和可靠性,诸多学者将冗余编码应用到数据处理过程,通过对指令层面进行编码运算来检测有关传输过程中的错误。本文提出了一种新型加减法运算错误检测算法,使用右移计算代替除法运算,提高了性能,并达到安全完整性等级4(Safety Integrity Level 4,SIL4)要求。 Control technology based on computers has been widely used in track traffic signal system these years. Many scholars have done research to guarantee the security and reliability of equipment. Scholars have applied the redundant coding to the data processing process, and have detected the error in the transmission process by encoding operation at the instruction level. This paper proposes a new algorithm about addition and subtraction, using shift operation instead of division operation. The algorithm could increase property and error detection rate and fully meet the requirements of SIL4 level.
作者 孙宗奇
出处 《信息技术与信息化》 2016年第11期78-81,共4页 Information Technology and Informatization
基金 "十二五"国家科技支撑计划项目(2015BAG19B02)
关键词 可信计算 冗余编码 安全性 错误检测 Vital coding; Redundancy Encoding;Security proof;Error detection
  • 相关文献

参考文献1

二级参考文献6

  • 1江建慧,梁剑华,靳昂,胡瑾.Linux上软件实现的瞬时故障注入方案及实现[J].同济大学学报(自然科学版),2006,34(6):823-827. 被引量:8
  • 2Baumann R.Soft Errors in Commercial Semiconductor Technology:Overview and Scaling Trends[C]//Proc.of IEEE Conf.on Reliability Fundamentals.Dallas.USA:IEEE Press,2002:1-14.
  • 3Forin P.Vital Coded Microprocessor Principles and Application for Various Transit Systems[C]//Proc.of IFAC-GCCT Paris.France:Editis Press,1989:79-84.
  • 4Wappler U,Fetzer C.Hardware Failure Virtualization via Software Encoded Processing[C]//Proc.of International Conference on Industrial Informatics.Paris.France:Hachette Livre Press,2007:977-982.
  • 5Chapront P.Vital Coded Processor and Safety Related Software Design[C]//Proc.of Conf.on Safety of Computer Control Systems.Paris.France:Editis Press,1992:141-145.
  • 6John R,Tony M,Doung B.Lex与yacc[M].杨作梅,张旭东,译.北京:机械工业出版社,2003.

共引文献11

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部