dOSEK: A Dependable RTOS for Automotive Applications

Conference contribution


Publication Details

Author(s): Hoffmann M, Dietrich C, Lohmann D
Title edited volumes: Proceedings of IEEE Pacific Rim International Symposium on Dependable Computing, PRDC
Publisher: IEEE Computer Society
Publication year: 2013
Conference Proceedings Title: Proceedings of the 19th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC '13)
Pages range: 120-121
ISSN: 1541-0110


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.


FAU Authors / FAU Editors

Dietrich, Christian
Lehrstuhl für Informatik 4 (Verteilte Systeme und Betriebssysteme)
Hoffmann, Martin
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: 

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