dOSEK: A Dependable RTOS for Automotive Applications

Research output: Chapter in book/report/conference proceedingConference contributionResearchpeer review

Authors

  • Martin Hoffmann
  • Christian Dietrich
  • Daniel Lohmann

External Research Organisations

  • Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU Erlangen-Nürnberg)
View graph of relations

Details

Original languageEnglish
Title of host publication2013 IEEE 19th Pacific Rim International Symposium on Dependable Computing
PublisherIEEE Computer Society
Pages120-121
Number of pages2
ISBN (print)9780769551302
Publication statusPublished - 26 May 2014
Externally publishedYes
Event19th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2013 - Vancouver, BC, Canada
Duration: 2 Dec 20134 Dec 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.

Keywords

    embedded systems, encoded operations, operating system, osek, reliabillity, safety

ASJC Scopus subject areas

Cite this

dOSEK: A Dependable RTOS for Automotive Applications. / Hoffmann, Martin; Dietrich, Christian; Lohmann, Daniel.
2013 IEEE 19th Pacific Rim International Symposium on Dependable Computing. IEEE Computer Society, 2014. p. 120-121.

Research output: Chapter in book/report/conference proceedingConference contributionResearchpeer review

Hoffmann, M, Dietrich, C & Lohmann, D 2014, dOSEK: A Dependable RTOS for Automotive Applications. in 2013 IEEE 19th Pacific Rim International Symposium on Dependable Computing. IEEE Computer Society, pp. 120-121, 19th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2013, Vancouver, BC, Canada, 2 Dec 2013. https://doi.org/10.1109/PRDC.2013.22
Hoffmann, M., Dietrich, C., & Lohmann, D. (2014). dOSEK: A Dependable RTOS for Automotive Applications. In 2013 IEEE 19th Pacific Rim International Symposium on Dependable Computing (pp. 120-121). IEEE Computer Society. https://doi.org/10.1109/PRDC.2013.22
Hoffmann M, Dietrich C, Lohmann D. dOSEK: A Dependable RTOS for Automotive Applications. In 2013 IEEE 19th Pacific Rim International Symposium on Dependable Computing. IEEE Computer Society. 2014. p. 120-121 doi: 10.1109/PRDC.2013.22
Hoffmann, Martin ; Dietrich, Christian ; Lohmann, Daniel. / dOSEK: A Dependable RTOS for Automotive Applications. 2013 IEEE 19th Pacific Rim International Symposium on Dependable Computing. IEEE Computer Society, 2014. pp. 120-121
Download
@inproceedings{35903784621d47a0a63efa97a3bf5e71,
title = "dOSEK: A Dependable RTOS for Automotive Applications",
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.",
keywords = "embedded systems, encoded operations, operating system, osek, reliabillity, safety",
author = "Martin Hoffmann and Christian Dietrich and Daniel Lohmann",
year = "2014",
month = may,
day = "26",
doi = "10.1109/PRDC.2013.22",
language = "English",
isbn = "9780769551302",
pages = "120--121",
booktitle = "2013 IEEE 19th Pacific Rim International Symposium on Dependable Computing",
publisher = "IEEE Computer Society",
address = "United States",
note = "19th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2013 ; Conference date: 02-12-2013 Through 04-12-2013",

}

Download

TY - GEN

T1 - dOSEK: A Dependable RTOS for Automotive Applications

AU - Hoffmann, Martin

AU - Dietrich, Christian

AU - Lohmann, Daniel

PY - 2014/5/26

Y1 - 2014/5/26

N2 - 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.

AB - 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.

KW - embedded systems

KW - encoded operations

KW - operating system

KW - osek

KW - reliabillity

KW - safety

UR - http://www.scopus.com/inward/record.url?scp=84906730500&partnerID=8YFLogxK

U2 - 10.1109/PRDC.2013.22

DO - 10.1109/PRDC.2013.22

M3 - Conference contribution

AN - SCOPUS:84906730500

SN - 9780769551302

SP - 120

EP - 121

BT - 2013 IEEE 19th Pacific Rim International Symposium on Dependable Computing

PB - IEEE Computer Society

T2 - 19th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2013

Y2 - 2 December 2013 through 4 December 2013

ER -