ISOMORPHISM BETWEEN LINEAR CODES AND ARITHMETIC CODES FOR SAFE DATA PROCESSING IN EMBEDDED SOFTWARE SYSTEMS

作     者：Raab, Peter Kraemer, Stefan Mottok, Juergen Vavricka, Vlastimil 

作者机构：Regensburg Univ Appl Sci Fac Elect & Informat Technol Lab Safe & Secure Syst D-93053 Regensburg Germany Univ W Bohemia Fac Sci Appl Plzen 30614 Czech Republic 

出 版 物：《COMPUTING AND INFORMATICS》 (Comput. Inf.)

年 卷 期：2014年第33卷第4期

页      面：721-734页

核心收录：

学科分类：08[工学] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

主　　题：Coding theory linear codes arithmetic codes code transformation residue error probability Safely Embedded Software (SES) 

摘      要：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.