Conference contribution


dOSEK: A Dependable RTOS for Automotive Applications


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

Event details
Event: 19th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC '13)
Event location: Vancouver, British Columbia, Canada
Start date of the event: 02/12/2013
End date of the event: 04/12/2013

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.


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). 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
Share link
Last updated on 2017-03-28 at 02:53
PDF downloaded successfully