DanceOS - Dependability Aspects in Configurable Embedded Operating SystemsFuture 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 (http://www4.informatik.uni-)
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 (http://spp1500.itec.kit.edu/) "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 -. |
Institution: Chair of Computer Science 4 (Systems Software)
|
|