Friedrich-Alexander-Universität Erlangen-Nürnberg  /   Technische Fakultät  /   Department Informatik

CoRed: Combined Redundancy - Software-based Fault Tolerance for Mixed-criticality Systems


Overview

CoRed 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. CoRed’s modular architecture facilitates the composition of various fault-tolerant components (see Figure). At the same time, it eliminates dangerous single points of failure (SPOFs) caused by gaps between fault-tolerant components. For that, we introduced the CoRed voter: a high-reliability voting schema, based on our Extended AN (EAN) error coding implementation.

New:
CoRed Experimental Stage

Here, you can find the most recent results from our fault-injection experiments: AN code parameter sets, bit error fault injections, ...

Publications

SQJ 2014
HASE 2014

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)
EDCC 2012

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)

Talks & Presentation Slides

People Involved in CoRed

Theses

Finished Theses

Ein erweiterter Software-Redundanzansatz für den Einsatz von Grafikkarten in sicherheitskritischen Anwendungen (CoRed_GPURed)
Student: Benedikt Dremel (handed in on 30.03.2011 )
Supervisors: Prof. Dr.-Ing. Peter Ulbrich, Dr.-Ing. Martin Hoffmann, Prof. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat

Entwurf und Implementierung eines sicheren Kommunikationsframeworks für Flugdrohnen (QC_COM)
Student: Franzmann Florian (handed in on 31.12.2009, Thesis file...)
Supervisors: Prof. Dr.-Ing. Peter Ulbrich, Prof. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat

Quality-aware Digital Signal Processing for Real-time Systems (QC_SS)
Supervisors: Prof. Dr.-Ing. Peter Ulbrich, Prof. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat

Software-based redundancy techniques for high-reliability embedded real-time systems (CoSa_SWR)
Student: Hoffmann Martin (handed in on 12.07.2010 )
Supervisors: Prof. Dr.-Ing. Peter Ulbrich, Prof. Dr.-Ing. Rüdiger Kapitza, Prof. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat

Tool-based Selective Replication of Critical System-Components for SW-based Redundancy in Dependable Embedded Real-Time Systems (CoRed_RTSC_SWR)
Supervisors: Dr.-Ing. Fabian Scheler, Prof. Dr.-Ing. Peter Ulbrich, Prof. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat