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

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


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.

CoRed Experimental Stage

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


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


Finished Theses