dOSEK: A Dependable RTOS for Automotive Applications

Hoffmann M, Dietrich C, Lohmann D (2013)

Publication Type: Conference contribution

Publication year: 2013

Publisher: IEEE Computer Society

Edited Volumes: Proceedings of IEEE Pacific Rim International Symposium on Dependable Computing, PRDC

Pages Range: 120-121

Conference Proceedings Title: Proceedings of the 19th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC '13)

Event location: Vancouver, British Columbia, Canada CA

URI: http://www4.cs.fau.de/Publications/2013/hoffmann_13_prdc.pdf

DOI: 10.1109/PRDC.2013.22

Abstract

Recent automotive systems exhibit an increased susceptibility against transient hardware faults. As a consequence, dependability measures are mandatory to provide appropriate fault detection or masking properties fulfilling the required safety standards. On the other and, production costs are still a crucial factor in this domain, which leads to hardware consolidation and therefore mixed-criticality systems. An existing dependability approach, supporting such systems, combines triple modular redundancy with encoded operations, but still leaves the operating system as single point of failure. We intend to close this gap by extending the encoded operations throughout the kernel execution, and additionally integrate the analyzed system behavior into the code. © 2013 IEEE.

Authors with CRIS profile

Martin Hoffmann Lehrstuhl für Informatik 4 (Verteilte Systeme und Betriebssysteme) Christian Dietrich Lehrstuhl für Informatik 4 (Verteilte Systeme und Betriebssysteme) Daniel Lohmann Lehrstuhl für Informatik 4 (Verteilte Systeme und Betriebssysteme)

How to cite

APA:

Hoffmann, M., Dietrich, C., & Lohmann, D. (2013). dOSEK: A Dependable RTOS for Automotive Applications. In Proceedings of the 19th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC '13) (pp. 120-121). Vancouver, British Columbia, Canada, CA: IEEE Computer Society.

MLA:

Hoffmann, Martin, Christian Dietrich, and Daniel Lohmann. "dOSEK: A Dependable RTOS for Automotive Applications." Proceedings of the 19th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC '13), Vancouver, British Columbia, Canada IEEE Computer Society, 2013. 120-121.

BibTeX: Download