A JVM for Soft-Error-Prone Embedded Systems

Stilkerich I, Strotz M, Erhardt C, Hoffmann M, Lohmann D, Scheler F, Schröder-Preikschat W (2013)


Publication Type: Conference contribution

Publication year: 2013

Edited Volumes: Proceedings of the ACM SIGPLAN Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES)

Pages Range: 21-32

Conference Proceedings Title: Proceedings of the 14th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, Tools and Theory for Embedded Systems

Event location: Seattle, Washington, USA

ISBN: 978-1-4503-2085-6

URI: http://www4.cs.fau.de/Publications/2013/lctes167-stilkerich.pdf

DOI: 10.1145/2465554.2465571

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.

Authors with CRIS profile

Related research project(s)

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: Download