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

CiAO
AspectC++
KESO
I4Copter
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 CiAO family of aspect-oriented AUTOSAR/OSEK operating systems serves as the OS foundation for statically configured embedded systems. Within the danceOS project, CiAO will be 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.

Team


Dr. Daniel Lohmann

Dipl.-Ing. Martin Hoffmann

Dipl.-Inf. Isabella Stilkerich

Dipl.-Inf. Peter Ulbrich

Theses

(automatically exported by UnivIS)

Open Topics

Control-Flow Monitoring for KESO Applications (Ein Kontrollflussüberwachungsdienst für KESO Anwendungen ) (KESO-FTCF)
Supervisors: Dipl.-Inf. Isabella Stilkerich, Dipl.-Inf. Christoph Erhardt

Eine zuverlässige CiAO-Betriebssystemplattform für den I4Copter (CIAO_DEP)
Supervisors: Dr.-Ing. Daniel Lohmann, Akad. Rat, Dipl.-Ing. Martin Hoffmann

Ongoing Theses

Automated Application of Fault Tolerance Measures in the KESO Multi-JVM (Automatische Anwendung von Fehlertoleranz-Techniken in der KESO Multi-JVM) (KESO-FTRED)
Supervisors: Dipl.-Inf. Isabella Stilkerich, Dipl.-Inf. Christoph Erhardt

Design and Implementation of a Fault Tolerant Garbage Collector for the KESO JVM (Design und Implementierung einer fehlertoleranten Speicherbereinigung für die KESO JVM) (KESO-FTGC)
Supervisors: Dipl.-Inf. Isabella Stilkerich, Dipl.-Inf. Christoph Erhardt

Finished Theses

Efficient Fault Tolerance for Operating System Data Structures (Dance_SafeCSW)
Supervisors: Dipl.-Ing. Martin Hoffmann, Dipl.-Inf. Isabella Stilkerich, Dr.-Ing. Daniel Lohmann, Akad. Rat, Prof. Dr.-Ing. Wolfgang Schröder-Preikschat

Portierung und Evaluation einer Soft-Routerplattform auf das eingebettete Betriebssystem eCos (Dance_Router)
Supervisors: Dipl.-Ing. Martin Hoffmann, Prof. Dr.-Ing. Rüdiger Kapitza, Prof. Dr.-Ing. Wolfgang Schröder-Preikschat

Publications

(automatically exported by UnivIS)

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
(LCTES 2013, Seattle, Washington, USA, June 2013).
2013. - ISBN 978-1-4503-2085-6
Keywords:  KESO; DanceOS; AORTA; Java; RTSJ; Embedded Systems; Real-Time Systems; Reliability (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)

Stilkerich, Isabella:
KESO: Automatische Anwendung von Fehlertoleranz Techniken in einer Java Virtual Machine fuer statische eingebettete Systeme .
Talk: Diskussionskreis Fehlertoleranz 2011, Deutsche Fehlertoleranzgemeinde,
Berlin, 01.12.2011
Keywords:  KESO, software-based configurable fault tolerance, embedded systems, safety-critical systems, static analysis, DanceOS (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: 2012-10-26 10:00   MH