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:
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.
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.
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.
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)
