首页    期刊浏览 2025年12月05日 星期五
登录注册

文章基本信息

  • 标题:Isomorphism between Linear Codes and Arithmetic Codes for Safe Data Processing in Embedded Software Systems
  • 其他标题:Isomorphism between Linear Codes and Arithmetic Codes for Safe Data Processing in Embedded Software Systems
  • 作者:Raab, Peter ; Krämer, Stefan ; Mottok, Jürgen
  • 期刊名称:COMPUTING AND INFORMATICS
  • 印刷版ISSN:1335-9150
  • 出版年度:2014
  • 卷号:33
  • 期号:4
  • 页码:721-734
  • 语种:English
  • 出版社:COMPUTING AND INFORMATICS
  • 摘要:We present a transformation rule to convert linear codes into arithmetic codes. Linear codes are usually used for error detection and correction in broadcast and storage systems. In contrast, arithmetic codes are very suitable for protection of software processing in computer systems. This paper shows how to transform linear codes protecting the data stored in a computer system into arithmetic codes safeguarding the operations built on this data. Combination of the advantages of both coding mechanisms will increase the error detection capability in safety critical applications for embedded systems by detection and correction of arbitrary hardware faults.
  • 关键词:Coding theory; linear codes; arithmetic codes; code transformation; residue error probability; Safely Embedded Software (SES);94B05; 94B40; 11T71; 14G50
Loading...
联系我们|关于我们|网站声明
国家哲学社会科学文献中心版权所有