A JVM for Soft-Error-Prone Embedded Systems
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
Event: The 14th Conference on Languages, Compilers and Tools for Embedded Systems (LCTES 2013)
Event location: Seattle, Washington, USA
Start date of the event: 20/06/2013
End date of the event: 21/06/2013
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 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).
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.