A JVM for Soft-Error-Prone Embedded Systems

Conference contribution


Publication Details

Author(s): Stilkerich I, Strotz M, Erhardt C, Hoffmann M, Lohmann D, Scheler F, Schröder-Preikschat W
Title edited volumes: Proceedings of the ACM SIGPLAN Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES)
Publication year: 2013
Conference Proceedings Title: Proceedings of the 14th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, Tools and Theory for Embedded Systems
Pages range: 21-32
ISBN: 978-1-4503-2085-6


Abstract


The reduction of structure sizes in microcontollers, environmental conditions or low supply voltages increase the susceptibility of embedded systems to soft errors. As a result, the employment of fault-detection and fault-tolerance measures is becoming a mandatory task even for moderately critical applications. Accordingly, software-based techniques have recently gained in popularity, and a multitude of approaches that differ in the number and frequency of tolerated errors as well as their associated overhead have been proposed. Using type-safe programming languages to isolate critical software components is very popular among those techniques. An automated application of fault-detection and fault-tolerance measures based on the type system of the programming language and static code analyses is possible. It facilitates an easy evaluation of the protection characteristics and costs as well as the migration of software to new hardware platforms with different failure rates. Transient faults, however, are not bound to the application code secured by the type system, but can also affect the correctness of the type system itself. Thereby, the type system might lose its ability to isolate critical components. As a consequence, it is essential to also protect the type system itself against soft errors. In this paper, we show how soft errors can affect the integrity of the type system. Furthermore, we provide means to secure it against these faults, thus preserving its isolating character. These measures can be applied selectively to achieve a suitable tradeoff between level of protection and resource consumption. Copyright © 2013 ACM.



FAU Authors / FAU Editors

Erhardt, Christoph
Lehrstuhl für Informatik 4 (Verteilte Systeme und Betriebssysteme)
Hoffmann, Martin
Lehrstuhl für Informatik 4 (Verteilte Systeme und Betriebssysteme)
Scheler, Fabian Dr.-Ing.
Lehrstuhl für Informatik 4 (Verteilte Systeme und Betriebssysteme)
Schröder-Preikschat, Wolfgang Prof. Dr.-Ing.
Lehrstuhl für Informatik 4 (Verteilte Systeme und Betriebssysteme)
Stilkerich, Isabella
Lehrstuhl für Informatik 4 (Verteilte Systeme und Betriebssysteme)
Strotz, Michael
Lehrstuhl für Informatik 4 (Verteilte Systeme und Betriebssysteme)


How to cite

APA:
Stilkerich, I., Strotz, M., Erhardt, C., Hoffmann, M., Lohmann, D., Scheler, F., & Schröder-Preikschat, W. (2013). A JVM for Soft-Error-Prone Embedded Systems. In Proceedings of the 14th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, Tools and Theory for Embedded Systems (pp. 21-32). Seattle, Washington, USA.

MLA:
Stilkerich, Isabella, et al. "A JVM for Soft-Error-Prone Embedded Systems." Proceedings of the The 14th Conference on Languages, Compilers and Tools for Embedded Systems (LCTES 2013), Seattle, Washington, USA 2013. 21-32.

BibTeX: 

Last updated on 2018-19-04 at 02:52