Research project

DanceOS - Dependability Aspects in Configurable Embedded Operating Systems

Future hardware designs for embedded systems will exhibit more parallelism on the price of being less reliable. This bears new challenges for system software, especially the operating system, which has to use and provide software measures to compensate for unreliable hardware. However, dependability in this respect is a nonfunctional concern that affects and depends on all parts of the system. Tackling it in a problem-oriented way by the operating system is an open challenge.

In the DanceOS erlangen.de/Research/DanceOS project we address these challenges for operating- system design by a novel combination of (1) speculative and resource- efficient fault-tolerance techniques, which can (2) flexibly be applied to the operating system and the application by means of aspect-oriented programming, driven by (3) a tool-based (semi-)automatic analysis of the application and operating-system code, resulting in a strictly problem- oriented tailoring of the latter with respect to hardware-fault tolerance.

DanceOS is part of the DFG Priority Programme 1500 "Design and Architectures of Dependable Embedded Systems - A Grand Challenge in the Nano Age"

Project manager:
Prof. Dr.-Ing. habil. Daniel Lohmann, Kapitza, Rüdiger, Spinczyk, Olaf

Project participants:
Prof. Dr.-Ing. Christian Dietrich, Dr.-Ing. Isabella Stilkerich

Keywords:
dependability; embedded systems; operating systems; redundant execution; DanceOS

Duration: 1.10.2010 - 30.12.2016

Sponsored by:
Deutsche Forschungsgemeinschaft

Mitwirkende Institutionen:
Embedded System Software Group, TU Dortmund
Institute of Operating Systems and Computer Networks, TU Braunschweig

Contact:
Lohmann, Daniel
E-Mail: lohmann@cs.fau.de

Publications

Ulbrich, Peter ; Hoffmann, Martin ; Kapitza, Rüdiger ; Lohmann, Daniel ; Schmid, Reiner ; Schröder-Preikschat, Wolfgang: Eliminating Single Points of Failure in Software-Based Redundancy. In: Correia, Miguel (Ed.) : Proceedings of the 9th European Dependable Computing Conference (9th European Dependable Computing Conference (EDCC '12) Sibiu, Romania 08-11 May 2012). Los Alamitos : IEEE Computer Society, 2012, pp 49-60. - ISBN 978-1-4673-0938-7
[doi>10.1109/EDCC.2012.21]

Stilkerich, Isabella ; Stilkerich, Michael ; Kapitza, Rüdiger ; Lohmann, Daniel ; Schröder-Preikschat, Wolfgang: Automated Application of Fault Tolerance Mechanisms in a Component-Based System. In: Wellings, Andy ; Ravn, Anders P. (Ed.) : Proceedings of the 9th International Workshop on Java Technologies for Real-Time and Embedded Systems (The 9th International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES 2011) York, UK 26.9.-28.9.2011). New York, NY, USA : ACM, 2011, pp 87-95. - ISBN 978-1-4503-0731-4
[doi>10.1145/2043910.2043925]

Schirmeier, Horst ; Kapitza, Rüdiger ; Lohmann, Daniel ; Spinczyk, Olaf: DanceOS: Towards Dependability Aspects in Configurable Embedded Operating Systems. In: Orailoglu, Alex (Org.) : Proceedings of the 3rd HiPEAC Workshop on Design for Reliability (DFR '11) (The 3rd HiPEAC Workshop on Design for Reliability (DFR’11) Heraklion, Greece 23.1.2011). 2011, pp 21-26.

Henkel,Jörg ; Bauer,Lars ; Becker,Joachim ; Bringmann,Oliver ; Brinkschulte,Uwe ; Chakraborty,Samarjit ; Engel,Michael ; Ernst,Rolf ; Härtig,Hermann ; Hedrich,Lars ; Herkersdorf,Andreas ; Kapitza, Rüdiger ; Lohmann, Daniel ; Marwedel,Peter ; Platzner,Marco ; Rosenstiel,Wolfgang ; Schlichtmann,Ulf ; Spinczyk,Olaf ; Tahoori,Mehdi ; Teich, Jürgen ; Wehn,Norbert ; Wunderlich,Hans-Joachim: Design and Architectures for Dependable Embedded Systems. In: Dick, Robert P. ; Madsen, Jan (Ed.) : Proceedings of the 9th International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS '11) (9th International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS '11) Taipei, Taiwan 9.-14. Oktober 2011). New York, NY, USA : ACM Press, 2011, pp 69-78. - ISBN 978-1-4503-0715-4
[doi>10.1145/2039370.2039384]

Hoffmann, Martin ; Lukas, Florian ; Dietrich, Christian ; Lohmann, Daniel: dOSEK: The Design and Implementation of a Dependability-Oriented Static Embedded Kernel. In: West, Richard (Ed.) : Proceedings of the 20th Real-Time and Embedded Technology and Applications Symposium (RTAS '15) (21st Real-Time and Embedded Technology and Applications Symposium (RTAS '15) Seatlle, WA, USA April 2015). 2015, pp 259-270.
[doi>10.1109/RTAS.2015.7108449]

Hoffmann, Martin ; Ulbrich, Peter ; Dietrich, Christian ; Schirmeier, Horst ; Lohmann, Daniel ; Schröder-Preikschat, Wolfgang: A Practitioner's Guide to Software-based Soft-Error Mitigation Using AN-Codes. In: IEEE Computer Society (Ed.) : Proceedings of the 15th IEEE International Symposium on High Assurance Systems Engineering (HASE '14) (Symposium on High Assurance Systems Engineering Miami, FL, USA Januar 2014). 2014, pp 33-40. - ISBN 978-1-4799-3465-2
[doi>10.1109/HASE.2014.14]

Hoffmann, Martin ; Borchert, Christoph ; Dietrich, Christian ; Schirmeier, Horst ; Kapitza, Rüdiger ; Spinczyk, Olaf ; Lohmann, Daniel: Effectiveness of Fault Detection Mechanisms in Static and Dynamic Operating System Designs. In: IEEE Computer Society (Ed.) : Proceedings of the 17th IEEE International Symposium on Object/Component/Service-oriented Real-time Distributed Computing (ISORC '14) (IEEE International Symposium on Object/Component/Service-oriented Real-time Distributed Computing Reno, NV, USA June 2014). 2014, pp 230-237.
[doi>10.1109/ISORC.2014.26]

Hoffmann, Martin ; Ulbrich, Peter ; Dietrich, Christian ; Schirmeier, Horst ; Lohmann, Daniel ; Schröder-Preikschat, Wolfgang: Experiences with Software-based Soft-Error Mitigation using AN-Codes. In: Clarke, Peter J. ; Zulkernine, Mohammad (Arr.): Software Quality Journal. Vol. 24, 1. Edition New York : Springer Science+Business Media, 2016, (Software Quality Journal Vol. 24, No. 1), pp 87-113.ISSN 0963-9314
[doi>10.1007/s11219-014-9260-4]

Stilkerich, Isabella ; Strotz, Michael ; Erhardt, Christoph ; Hoffmann, Martin ; Lohmann, Daniel ; Scheler, Fabian ; Schröder-Preikschat, Wolfgang: A JVM for Soft-Error-Prone Embedded Systems. In: ACM (Ed.) : Proceedings of the 14th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, Tools and Theory for Embedded Systems (The 14th Conference on Languages, Compilers and Tools for Embedded Systems (LCTES 2013) Seattle, Washington, USA June 2013). 2013, pp 21-32. - ISBN 978-1-4503-2085-6
[doi>10.1145/2465554.2465571]

Hoffmann, Martin ; Dietrich, Christian ; Lohmann, Daniel: dOSEK: A Dependable RTOS for Automotive Applications. In: - ; - (Ed.) : Proceedings of the 19th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC '13) (19th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC '13) Vancouver, British Columbia, Canada 02.-04. Dez. 2013). 2013, pp 120-121.
[doi>10.1109/PRDC.2013.22]

Hoffmann, Martin ; Dietrich, Christian ; Lohmann, Daniel: Failure by Design: Influence of the RTOS Interface on Memory Fault Resilience. In: German Society of Informatics (Ed.) : Proceedings of the 2nd GI Workshop on Software-Based Methods for Robust Embedded Systems (SOBRES '13) (Informatik 2013 Koblenz, Germany). 2013, pp -.