Abstract
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.
Keywords
- Coding theory
- linear codes
- arithmetic codes
- code transformation
- residue error probability
- Safely Embedded Software (SES)
MSC
94B05, 94B40, 11T71, 14G50
Cite this article
@article{cai-424,
author = {Peter Raab and Stefan Kramer and Jurgen Mottok and Vlastimil Vavřička},
title = {Isomorphism between Linear Codes and Arithmetic Codes for Safe Data Processing in Embedded Software Systems},
journal = {Computing and Informatics},
volume = {33},
number = {4},
pages = {721--734},
year = {2014},
issn = {1335-9150},
url = {https://cai.type.sk/content/2014/4/isomorphism-between-linear-codes-and-arithmetic-codes-for-safe-data-processing-in-embedded-software-systems/}
}
TY - JOUR AU - Peter Raab AU - Stefan Kramer AU - Jurgen Mottok AU - Vlastimil Vavřička TI - Isomorphism between Linear Codes and Arithmetic Codes for Safe Data Processing in Embedded Software Systems JO - Computing and Informatics VL - 33 IS - 4 SP - 721 EP - 734 PY - 2014 SN - 1335-9150 UR - https://cai.type.sk/content/2014/4/isomorphism-between-linear-codes-and-arithmetic-codes-for-safe-data-processing-in-embedded-software-systems/ KW - Coding theory KW - linear codes KW - arithmetic codes KW - code transformation KW - residue error probability KW - Safely Embedded Software (SES) ER -
Raab, P., Kramer, S., Mottok, J., & Vavřička, V. (2014). Isomorphism between Linear Codes and Arithmetic Codes for Safe Data Processing in Embedded Software Systems. Computing and Informatics, 33(4), 721–734. https://cai.type.sk/content/2014/4/isomorphism-between-linear-codes-and-arithmetic-codes-for-safe-data-processing-in-embedded-software-systems/