Friedrich-Alexander-Universität UnivisSearchDeutsch FAU-Logo
Techn. Fakultät Willkommen am Department Informatik FAU-Logo
Logo I4
Department of Computer Science 4
DanceOS

Project
Team
Theses
Publications


Related Projects

dosek
CiAO
AspectC++
KESO
I4Copter
CoRed
Dept. of Computer Science  >  CS 4  >  Research  >  DanceOS
danceOS

 
 
In cooperation with:   TU Dortmund and TU Braunschweig.

Project

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:
  1. It is still unclear, which combination of software measures is most beneficial to compensate certain hardware failures – ideally these measures should be understood as a matter of configuration and adaptation.
  2. To achieve overall dependability, the implementation of these measures, even though provided by the operating system, cannot be scoped just to the operating-system layer – it inherently crosscuts the whole software stack.
  3. To achieve cost-efficiency with respect to hardware and energy, the measures have, furthermore, to be tailored with respect to the actual hardware properties and reliability requirements of the application.
In the 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.

Further details can be found at the danceOS project website (external).

Related Projects

  • The dosek dependable AUTOSAR/OSEK operating system is currently being developed as part of danceOS. dosek employs the principles we have learned for error-resilient operating-system design with a completely generative approach and in-depth cross-kernel control-flow analysis to generate fully hardened, yet efficient OSEK kernels.

  • The CiAO family of aspect-oriented AUTOSAR/OSEK operating systems served as the OS foundation for statically configured embedded systems. Within the danceOS project, CiAO was hardened against hardware faults by extension aspects and extended by further OS abstractions to serve dependable applications.

  • The AspectC++ language and aspect weaver provide the technical foundation for the application of dependability aspects. For the danceOS project, AspectC++ will be extended by new pointcut and introspection facilities.

  • The KESO multi-JVM for deeply embedded systems serves as a run-time environment for dependable applications written in a type-safe language. The KESO run-time system will be hardened against transient faults and the KESO compiler (jino) will be extended by means for the automatic application of dependability aspects.

  • The I4Copter quadrotor platform servers as a demonstrator and evaluation platform for the application of the danceOS concepts to mixed-criticallity systems. The I4Copter will run the hardened versions of CiAO and KESO to provide robustness for all mission-critical tasks (such as flight control), while less critical tasks (such as video) may fail in order to minimize hardware requirements. CoRed engages right in-between application and operating system and combines proven triple modular redundancy (TMR) with AN codes to minimize soft error effects and improve the actual reliability.

  • The CoRed Combined Redundancy Framework is a highly effective, software-based fault-tolerance approach for mixed- criticality control applications. CoRed engages right in-between application and operating system and combines proven triple modular redundancy (TMR) with AN codes to minimize soft error effects and improve the actual reliability.

Team


Theses

(automatically exported by UnivIS)

Open Topics

Ongoing Theses

Finished Theses

Design and Implementation of a Soft-error Resilient OSEK Real-time Operating System (DanceOS_dOSEK)
Student: Florian Lukas (handed in on 19.05.2014 )
Supervisors: Dr.-Ing. Martin Hoffmann, PD Dr.-Ing. habil. Daniel Lohmann, Akad. ORat, Prof. Dr.-Ing. Wolfgang Schröder-Preikschat


Design and Implementation of an Operating System Service for Dependability Aspects (DanceOS_DepService)
Supervisors: Dr.-Ing. Martin Hoffmann, PD Dr.-Ing. habil. Daniel Lohmann, Akad. ORat


Efficient Fault Tolerance for Operating System Data Structures (Dance_SafeCSW)
Student: Robby Zippel (handed in on 17.11.2011, Thesis file...)
Supervisors: Dr.-Ing. Martin Hoffmann, Dipl.-Inf. Isabella Stilkerich, PD Dr.-Ing. habil. Daniel Lohmann, Akad. ORat, Prof. Dr.-Ing. Wolfgang Schröder-Preikschat


Increasing Reliability in Embedded Real Time Operating Systems With a Modular, Transparent Fault Tolerance Framework
Supervisors: Dr.-Ing. Martin Hoffmann, Prof. Dr.-Ing. Rüdiger Kapitza, PD Dr.-Ing. habil. Daniel Lohmann, Akad. ORat, Prof. Dr.-Ing. Wolfgang Schröder-Preikschat


Minimally-Invasive Control Flow Monitoring on Heterogeneous Multicore Systems (DanceOS-AppFlow)
Student: Guilherme Bufolo (handed in on 02.05.2013 )
Supervisors: Prof. Dr.-Ing. Wolfgang Schröder-Preikschat, Dr.-Ing. Martin Hoffmann, PD Dr.-Ing. habil. Daniel Lohmann, Akad. ORat


Portierung und Evaluation einer Soft-Routerplattform auf das eingebettete Betriebssystem eCos (Dance_Router)
Student: Hauenstein Thomas (handed in on 30.09.2011, Thesis file...)
Supervisors: Dr.-Ing. Martin Hoffmann, Prof. Dr.-Ing. Rüdiger Kapitza, Prof. Dr.-Ing. Wolfgang Schröder-Preikschat


Semi-Extended Tasks: Application-Specific Fine-Grained Task-Stack Sharing in OSEK Systems (dOSEK-SemiExtended)
Student: Stefan Bader (handed in on 29.2.2016, Thesis file...)
Supervisors: Christian Dietrich, M. Sc., PD Dr.-Ing. habil. Daniel Lohmann, Akad. ORat

Publications

(automatically exported by UnivIS)

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
Keywords: DanceOS; CoRed; Operating Systems; Embedded Systems; Real-Time Systems; Dependability; Safety; Coded Processing; ARES; ESI
[doi>10.1007/s11219-014-9260-4] (BibTeX)

Stilkerich, Isabella ; Lang, Clemens ; Erhardt, Christoph ; Stilkerich, Michael:
A Practical Getaway: Applications of Escape Analysis in Embedded Real-Time Systems.
In: ACM (Ed.) : Proceedings of the 16th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, Tools and Theory for Embedded Systems
(The 16th Conference on Languages, Compilers and Tools for Embedded Systems (LCTES 2015), Portland, Oregon, USA, June 2015).
2015, pp Article No. 4 (Best Papers at LCTES). - ISBN 978-1-4503-3257-6
Keywords: KESO; AORTA; DanceOS; invasic;ESI; Java; RTSJ; Embedded Systems; Real-Time Systems; Reliability (BibTeX)

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.
Keywords: DanceOS;dOSEK;Arithmetic Encoding;Fault Injection;Operating Systems;Embedded Systems;Real-Time Systems;Dependability;Safety;Memory Protection;MPU;OSEK;AUTOSAR
[doi>10.1109/RTAS.2015.7108449] (BibTeX)

Schirmeier, Horst ; Hoffmann, Martin ; Dietrich, Christian ; Lenz, Michael ; Lohmann, Daniel ; Spinczyk, Olaf:
Fail*: An Open and Versatile Fault-Injection Framework for the Assessment of Software-Implemented Hardware Fault Tolerance.
In: Sens, Pierre (Ed.) : Proceedings of the 11th European Dependable Computing Conference - Dependability in Practice (EDCC '15)
(11th European Dependable Computing Conference - Dependability in Practice (EDCC '15), Paris, France, September 2015).
2015.
Keywords: fault injection; tools; dependability; danceos (BibTeX)

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
Keywords: DanceOS; CoRed; Operating Systems; Embedded Systems; Real-Time Systems; Dependability; Safety; Coded Processing; ARES; ESI
[doi>10.1109/HASE.2014.14] (BibTeX)

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.
Keywords: DanceOS, dosek, osek, dependability, static system
[doi>10.1109/ISORC.2014.26] (BibTeX)

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
Keywords: KESO; DanceOS; AORTA; Java; RTSJ; Embedded Systems; Real-Time Systems; Reliability
[doi>10.1145/2465554.2465571] (BibTeX)

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.
Keywords: dependability, EAN, DanceOS, OSEK, dosek, embedded systems, CoRed
[doi>10.1109/PRDC.2013.22] (BibTeX)

Borchert, Christoph ; Lohmann, Daniel ; Spinczyk, Olaf:
CiAO/IP: A Highly Configurable Aspect-Oriented IP Stack.
In: Seshan, Srinivasan ; Zhong, Lin (Ed.) : MobiSys '12: Proceedings of the 10th international conference on Mobile systems, applications, and services
(MobiSys '12, Low Wood Bay, Lake District, United Kingdom).
New York, NY, USA : ACM Press, 2012, pp 435-448. - ISBN 978-1-4503-1301-8
Keywords: aop, aspect-oriented programming, aspectc++, embedded systems, internet protocol, network protocol stacks, operating systems, tcp/ip, CiAO, DanceOS
[doi>10.1145/2307636.2307676] (BibTeX)

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
Keywords: Domain-specific architectures , Fault-tolerance , Frameworks , Reliability , Soft errors , Software and System Safety, DanceOS
[doi>10.1109/EDCC.2012.21] (BibTeX)

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
Keywords: Java; embedded systems; fault tolerance; TMR; KESO; DanceOS
[doi>10.1145/2043910.2043925] (BibTeX)

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.
Keywords: Dependability, AOP, Operating System, DanceOS (BibTeX)

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
Keywords: embedded systems, dependable systems, danceos
[doi>10.1145/2039370.2039384] (BibTeX)

Schirmeier, Horst ; Hoffmann, Martin ; Kapitza, Rüdiger ; Lohmann, Daniel ; Spinczyk, Olaf:
Revisiting Fault-Injection Experiment-Platform Architectures.
In: Tsai, Timothy ; Yoneda. Tomohiro (Ed.) : Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC '11)
(17th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC '11), Pasadena, CA, USA, 12.-14. Dez. 2011).
Los Alamitos, CA, USA : IEEE Computer Society, 2011, pp 284-285. - ISBN 978-1-4577-2005-5
Keywords: dependability, fault-injection, DanceOS
[doi>10.1109/PRDC.2011.46] (BibTeX)



  Contact Last modified: 2015-01-08 09:59   MH