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.
@article{cai424,
author = {Peter Raab; Laboratory for Safe and Secure Systems, Regensburg University of Applied Sciences, Faculty of Electronics and Information Technology, Seybothstr. 2, D-93053 Regensburg and Stefan Kr\"amer; Laboratory for Safe and Secure Systems, Regensburg University of Applied Sciences, Faculty of Electronics and Information Technology, Seybothstr. 2, D-93053 Regensburg and J\"urgen Mottok; Laboratory for Safe and Secure Systems, Regensburg University of Applied Sciences, Faculty of Electronics and Information Technology, Seybothstr. 2, D-93053 Regensburg and Vlastimil Vav\v ri\v cka; University of West Bohemia, Faculty of Applied Sciences, Univerzitn\'\i\ 8, 306 14 Plze\v n},
title = {Isomorphism between Linear Codes and Arithmetic Codes for Safe Data Processing in Embedded Software Systems},
journal = {Computing and Informatics},
volume = {33},
number = {3},
year = {2015},
language = {en},
url = {http://dml.mathdoc.fr/item/cai424}
}
Peter Raab; Laboratory for Safe and Secure Systems, Regensburg University of Applied Sciences, Faculty of Electronics and Information Technology, Seybothstr. 2, D-93053 Regensburg; Stefan Krämer; Laboratory for Safe and Secure Systems, Regensburg University of Applied Sciences, Faculty of Electronics and Information Technology, Seybothstr. 2, D-93053 Regensburg; Jürgen Mottok; Laboratory for Safe and Secure Systems, Regensburg University of Applied Sciences, Faculty of Electronics and Information Technology, Seybothstr. 2, D-93053 Regensburg; Vlastimil Vavřička; University of West Bohemia, Faculty of Applied Sciences, Univerzitní 8, 306 14 Plzeň. Isomorphism between Linear Codes and Arithmetic Codes for Safe Data Processing in Embedded Software Systems. Computing and Informatics, Tome 33 (2015) no. 3, . http://gdmltest.u-ga.fr/item/cai424/