FAU UnivIS
Techn. Fak. Dep. Informatik
(a picture of me)

Christian Dietrich

Member of the research staff at the
Department of Computer Science 4 (Distributed Systems and Operating Systems) at
Friedrich-Alexander-Universität Erlangen-Nürnberg.

In 2017, I moved to Leibniz Universität Hannover.

Research and Academic Activities

dosek
A Dependability-Oriented Static Embedded Kernel
DanceOS
Dependability Aspects in Configurable Operating Systems
CoRed
Combined Redundancy - Software-based Fault Tolerance for Mixed-criticality Systems
VAMOS
Variability Management in Operating Systems

Research BlogRSS, Archive

A templated System-Call Interface for OO/MPStuBS ,Christian Dietrich

We use OOStuBS/MPStuBS in our operating system course. In the first part of our two part lecture, we have no isolation, but still want to provide a "system-call interface" that differentiates between application and kernel space.

Testing Three-Valued Vectors for Compatibility ,Christian Dietrich

For a colleagues project, we had the problem to compare three-valued vectors for compatibility. The corresponding values are either set or undefined. An undefined value is compatible to everything; a set value is compatible to the same value.

Publications

(automatically exported by UnivIS)

Wägemann, Peter ; Dietrich, Christian ; Distler, Tobias ; Ulbrich, Peter ; Schröder-Preikschat, Wolfgang:
Whole-System Worst-Case Energy-Consumption Analysis for Energy-Constrained Real-Time Systems.
In: Euromicro Technical Committee on Real-Time Systems (Org.):
Proceedings of the 30th Euromicro Conference on Real-Time Systems (ECRTS '18)
(30th Euromicro Conference on Real-Time Systems, Barcelona, Spain, 3.-6. July 2018).
2018, pp 24:1-24:25. (BibTeX)

Dietrich, Christian ; Rothberg, Valentin ; Füracker, Ludwig ; Ziegler, Andreas ; Lohmann, Daniel:
cHash: Detection of Redundant Compilations via AST Hashing.
In: USENIX Association (Ed.) : Proceedings of the 2017 USENIX Annual Technical Conference (ATC '17)
(2017 USENIX Annual Technical Conference (ATC '17), Santa Clara, CA, 12.-14.7.2017).
2017, pp 527-538. - ISBN 978-1-931971-38-6
Keywords: Compiler, Optimization, CADOS (BibTeX)

Schuster, Simon ; Ulbrich, Peter ; Stilkerich, Isabella ; Dietrich, Christian ; Schröder-Preikschat, Wolfgang:
Demystifying Soft-Error Mitigation by Control-Flow Checking - A New Perspective on its Effectiveness.
In: ACM Transactions on Embedded Computing Systems 16 (2017), No. 5s, pp 180:1-180:19
Keywords: AORTA; KESO;
[doi>10.1145/3126503] (BibTeX)

Santini, Thiago ; Borchert, Christoph ; Dietrich, Christian ; Schirmeier, Horst ; Hoffmann, Martin ; Spinczyk, Olaf ; Lohmann, Daniel ; Wagner, Flávio Rech ; Rech, Paolo:
Effectiveness of Software-Based Hardening for Radiation-Induced Soft Errors in Real-Time Operating Systems.
In: Schulz, Martin ; Koji, Inoue (Ed.) : Architecture of Computing Systems – ARCS 2015
(30th Internation Conference on Architecture of Computing Systems, Karlsruhe, Germany).
Berlin : Springer, 2017. (Springer Lecture Notes in Computer Science (LNCS))
Keywords: Reliability; Operating System; Embedded System; Dependable System; RTOS; Neutron ; eCos; dOSEK pdfcreator= (BibTeX)

Dietrich, Christian ; Hoffmann, Martin ; Lohmann, Daniel:
Global Optimization of Fixed-Priority Real-Time Systems by RTOS-Aware Control-Flow Analysis.
In: ACM Transactions on Embedded Computing Systems 16 (2017), No. 2, pp 35:-1–35:25
Keywords: global control-flow graph, static real-time systems, operating system, static analysis, OSEK, AUTOSAR, whole-system optimization, static system tailoring
[doi>10.1145/2950053] (BibTeX)

Dietrich, Christian ; Lohmann, Daniel:
OSEK-V: Application-Specific RTOS Instantiation in Hardware.
In: Shao, Zili ; Nagarajan, Vijay (Ed.) : Proceedings of LCTES '17
(The 18th Annual ACM SIGPLAN / SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems, Barcelona, Spain, June 2017).
New York : ACM, 2017.
Keywords: Computer systems organization; Embedded systems; Real-time operating systems; Special purpose systems;
[doi>10.1145/3078633.3081030] (BibTeX)

Schuster, Simon ; Ulbrich, Peter ; Stilkerich, Isabella ; Dietrich, Christian:
Poster Presentation: Demystifying Soft-Error Mitigation by Control-Flow Checking - A New Perspective on its Effectiveness.
Talk: EMSOFT 2017, Embedded Systems Week 2017,
Seoul, Korea, 15.10.2017
Keywords: AORTA; KESO; ARAMiS II (BibTeX)

Dietrich, Christian ; Wägemann, Peter ; Ulbrich, Peter ; Lohmann, Daniel:
SysWCET: Whole-System Response-Time Analysis for Fixed-Priority Real-Time Systems (outstanding paper).
In: Davis, Rob ; Parmer, Gabriel (Ed.) : Proceedings of the 23rd Real-Time and Embedded Technology and Applications Symposium (RTAS '17)
(Real-Time and Embedded Technology and Applications Symposium, Pittsburgh, PA, USA, April 2017).
Los Alamitos, CA : IEEE Computer Society Press, 2017, pp 37-48. - ISBN 978-1-5090-5269-1
Keywords: worst-case response time, WCRT, worst-case execution time, WCET, OSEK, AutoSAR, IPET, ILP, whole-system analysis, system-state enumeration
[doi>10.1109/RTAS.2017.37] (BibTeX)

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
Keywords: DanceOS; CoRed; Operating Systems; Embedded Systems; Real-Time Systems; Dependability; Safety; Coded Processing; ARES; ESI
[doi>10.1007/s11219-014-9260-4] (BibTeX)

Rothberg, Valentin ; Dietrich, Christian ; Graf, Alexander ; Lohmann, Daniel:
Function Multiverses for Dynamic Variability.
In: Capilla, Rafael ; Eichelberger, Holger (Ed.) : Andersson, Jesper (Org.):
Foundations and Applications of Self* Systems
(9th International Workshop on Dynamic Software Product Lines - Variability at Runtime (DSPL’16), Augsburg, 16.09.2016).
2016. (BibTeX)

Rothberg, Valentin ; Dietrich, Christian ; Ziegler, Andreas ; Lohmann, Daniel:
Towards Scalable Configuration Testing in Variable Software.
In: Fischer, Bernd ; Schaefer, Ina (Ed.) : Proceedings of the 2016 International Conference on Generative Programming: Concepts and Experiences
(15th International Conference on Generative Programming: Concepts & Experience, Amsterdam, October 31-November 01, 2016).
2016. - ISBN 978-1-4503-4446-3
[doi>10.1145/2993236.2993252] (BibTeX)

Dietrich, Christian ; Hoffmann, Martin ; Lohmann, Daniel:
Back to the Roots: Implementing the RTOS as a Specialized State Machine.
In: Brandenburg, Björn ; Kaiser, Robert (Ed.) : 11th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications
(OSPERT '15, Lund, Sweden, July).
2015, pp 7-12. (BibTeX)

Dietrich, Christian ; Hoffmann, Martin ; Lohmann, Daniel:
Cross-Kernel Control-Flow-Graph Analysis for Event-Driven Real-Time Systems.
In: ACM (Ed.) : Proceedings of the 16th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, Tools and Theory for Embedded Systems
(The 16th Conference on Languages, Compilers and Tools for Embedded Systems (LCTES 2015), Portland, Oregon, USA, June 2015).
New York, NY, USA : ACM Press, 2015, pp 1-10.
Keywords: Static Analysis; Control-Flow Graph; Cross-Kernel Analysis; Real-Time Systems; Optimization; Compiler
[doi>10.1145/2670529.2754963] (BibTeX)

Hoffmann, Martin ; Lukas, Florian ; Dietrich, Christian ; Lohmann, Daniel:
dOSEK: Maßgeschneiderte Zuverlässigkeit.
In: Halang, Wolfgang ; Spinczyk, Olaf (Ed.) : Betriebssysteme und Echtzeit
(Echtzeit 2015, Boppard am Rhein, November 12-13, 2015).
Berlin-Heidelberg : Springer-Verlag, 2015, pp 69-78. - ISBN 978-3-662-48611-5
[doi>10.1007/978-3-662-48611-5_8] (BibTeX)

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.
Keywords: DanceOS;dOSEK;Arithmetic Encoding;Fault Injection;Operating Systems;Embedded Systems;Real-Time Systems;Dependability;Safety;Memory Protection;MPU;OSEK;AUTOSAR
[doi>10.1109/RTAS.2015.7108449] (BibTeX)

Schirmeier, Horst ; Hoffmann, Martin ; Dietrich, Christian ; Lenz, Michael ; Lohmann, Daniel ; Spinczyk, Olaf:
Fail*: An Open and Versatile Fault-Injection Framework for the Assessment of Software-Implemented Hardware Fault Tolerance.
In: Sens, Pierre (Ed.) : Proceedings of the 11th European Dependable Computing Conference - Dependability in Practice (EDCC '15)
(11th European Dependable Computing Conference - Dependability in Practice (EDCC '15), Paris, France, September 2015).
2015.
Keywords: fault injection; tools; dependability; danceos (BibTeX)

Dietrich, Christian ; Hoffmann, Martin ; Lohmann, Daniel:
Globale Kontrollflussanalyse von eingebetteten Echtzeitsystemen.
In: Halang, Wolfgang ; Spinczyk, Olaf (Ed.) : Betriebssysteme und Echtzeit
(Echtzeit 2015, Boppard am Rhein, November 12-13, 2015).
Berlin-Heidelberg : Springer-Verlag, 2015, pp 128-136. - ISBN 978-3-662-48611-5
[doi>10.1007/978-3-662-48611-5_14] (BibTeX)

Dietrich, Christian ; Lohmann, Daniel:
The dataref versuchung: Saving Time through Better Internal Repeatability.
In: ACM SIGOPS Operating Systems Review - Special Issue on Repeatability and Sharing of Experimental Artifacts (2015), No. 49, pp 51-60
Keywords: repeatability;reproducibility;experiment automatization
[doi>10.1145/2723872.2723880] (BibTeX)

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)

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.
Keywords: DanceOS, dosek, osek, dependability, static system
[doi>10.1109/ISORC.2014.26] (BibTeX)

Tartler, Reinhard ; Dietrich, Christian ; Sincero, Julio ; Schröder-Preikschat, Wolfgang ; Lohmann, Daniel:
Static Analysis of Variability in System Software: The 90,000 #ifdefs Issue.
In: USENIX Association (Ed.) : Proceedings of the 2014 USENIX Annual Technical Conference (USENIX 2014)
(2014 USENIX ATC, Philadelphia, PA, USA, June 19-20, 2014).
2014, pp 421-432. - ISBN 978-1-931971-10-2
Keywords: Algorithms, Design, Experimentation, Languages, Configurability, Maintenance, Linux, Static Analysis, CADOS, VAMOS (BibTeX)

Stilkerich, Isabella ; Taffner, Philip ; Erhardt, Christoph ; Dietrich, Christian ; Wawersich, Christian ; Stilkerich, Michael:
Team Up: Cooperative Memory Management in Embedded Systems.
In: ACM (Ed.) : Proceedings of the 2014 Conference on Compilers, Architectures and Synthesis for Embedded Systems - CASES'14
(2014 Conference on Compilers, Architectures and Synthesis for Embedded Systems - CASES'14, New Delhi, India, October, 2014).
2014, pp Article No. 10.
Keywords: KESO; AORTA; invasic; Java; RTSJ; Embedded Systems; Real-Time Systems; Reliability
[doi>10.1145/2656106.2656129] (BibTeX)

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.
Keywords: dependability, EAN, DanceOS, OSEK, dosek, embedded systems, CoRed
[doi>10.1109/PRDC.2013.22] (BibTeX)

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. (BibTeX)

Nadi, Sarah ; Dietrich, Christian ; Tartler, Reinhard ; Holt, Ric ; Lohmann, Daniel:
Linux Variability Anomalies: What Causes Them and How Do They Get Fixed?
In: Zimmermann, Thomas ; Di Penta, Massimiliano ; Sung, Kim (Ed.) : Proceedings of the 10th Working Conference on Mining Software Repositories
(MRS 2013: The 10th Working Conference on Mining Software Repositories, San Francisco, CA, USA, 18.-19. Mai).
Los Alamitos, CA, USA : IEEE Computer Society, 2013, pp 111-120. - ISBN 978-1-4673-2936-1
Keywords: VAMOS,Configurability, System Software, Software Engineering, Maintenance
[doi>10.1109/MSR.2013.6624017] (BibTeX)

Dietrich, Christian ; Tartler, Reinhard ; Schröder-Preikschat, Wolfgang ; Lohmann, Daniel:
A Robust Approach for Variability Extraction from the Linux Build System.
In: ACM Press (Ed.) : Proceedings of the 16th International Software Product Line Conference
(16th International Software Product Line Conference, Salvador - Brazil, September 02 - 07, 2012). Vol. 1.
New York : ACM Press, 2012, pp 21-30. - ISBN 978-1-4503-1094-9
Keywords: Algorithms, Design, Experimentation, Management, Languages, Configurability, Maintenance, Linux, Kbuild, Static Analysis, Variability, VAMOS
[doi>10.1145/2362536.2362544] (BibTeX)

Tartler, Reinhard ; Lohmann, Daniel ; Dietrich, Christian ; Egger, Christoph ; Sincero, Julio:
Configuration coverage in the analysis of large-scale system software.
In: SIGOPS Oper. Syst. Rev. (ACM OSR) 45 (2012), No. 3, pp 10-14
Keywords: VAMOS,Configurability, System Software, Software Engineering, Maintenance
[doi>10.1145/2094091.2094095] (BibTeX)

Tartler, Reinhard ; Sincero, Julio ; Dietrich, Christian ; Schröder-Preikschat, Wolfgang ; Lohmann, Daniel:
Revealing and Repairing Configuration Inconsistencies in Large-Scale System Software.
In: International Journal on Software Tools for Technology Transfer (STTT) 14 (2012), No. 225, pp 531-551
Keywords: Algorithms; Design; Experimentation; Management; Languages; Configurability; Maintenance; Linux; Static Analysis; VAMOS; i4vamos
[doi>10.1007/s10009-012-0225-2] (BibTeX)

Dietrich, Christian ; Tartler, Reinhard ; Schröder-Preikschat, Wolfgang ; Lohmann, Daniel:
Understanding Linux Feature Distribution.
In: ACM Press (Ed.) : Proceedings of the 2nd AOSD Workshop on Modularity in Systems Software (AOSD-MISS ’12)
(2nd Workshop on Modularity In Systems Software, Potsdam, 27.3.2012).
New York, NY, USA : ACM, 2012, pp 15-19. - ISBN 978-1-4503-1222-6
Keywords: Algorithms, Design, Experimentation, Management, Languages, Configurability, Maintenance, Linux, Static Analysis, Variability, VAMOS
[doi>10.1145/2162024.2162030] (BibTeX)

Tartler, Reinhard ; Lohmann, Daniel ; Dietrich, Christian ; Egger, Christoph ; Sincero, Julio:
Configuration Coverage in the Analysis of Large-Scale System Software.
In: ACM SIGOPS (Ed.) : Proceedings of the 4th Workshop on Programming Languages and Operating Systems
(4th Workshop on Programming Languages and Operating Systems (PLOS 2011), Cascais, Portugal, October 23, 2011).
2011.
Keywords: Algorithms, Design, Experimentation, Management, Languages, Configurability, Maintenance, Linux, Static Analysis, VAMOS (BibTeX)

Teaching

Summer Term 2016

Winter Term 2015/2016

Summer Term 2015

Theses

(automatically exported by UnivIS)

Open Topics

Ongoing Theses

Finished Theses

Effiziente globale Änderungsanalysen in großen C-Projekten durch Syntaxbaum-Hashing im Clang Compiler
Student: Ludwig Füracker (handed in on 02.10.2017 )
Supervisors: Prof. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat, Prof. Dr.-Ing. habil. Daniel Lohmann, Dr.-Ing. Andreas Ziegler, Prof. Dr.-Ing. Christian Dietrich


Hash-Based Change Impact Analysis with the Clang Compiler Framework (Clang-Hash)
Supervisors: Prof. Dr.-Ing. Christian Dietrich, Valentin Rothberg, M. Sc., Prof. Dr.-Ing. habil. Daniel Lohmann


Multiverse: Compiler-Assisted Dynamic Variability Management in the Linux Kernel
Student: Florian Rommel (handed in on 02.11.2017 )
Supervisors: Prof. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat, Prof. Dr.-Ing. habil. Daniel Lohmann, Prof. Dr.-Ing. Christian Dietrich, Dr.-Ing. Andreas Ziegler


Porting of OO/MPStuBS to the Rust Programming Language (StuBS-Rust)
Supervisors: Prof. Dr.-Ing. Christian Dietrich, Valentin Rothberg, M. Sc., Prof. Dr.-Ing. habil. Daniel Lohmann


Priority-Obedient Multicore Interrupt Controller (OSEKV-IRQ)
Supervisors: Prof. Dr.-Ing. Christian Dietrich, Prof. Dr.-Ing. habil. Daniel Lohmann


Semi-Extended Tasks: Application-Specific Fine-Grained Task-Stack Sharing in OSEK Systems (dOSEK-SemiExtended)
Student: Stefan Bader (handed in on 29.2.2016, Thesis file...)
Supervisors: Prof. Dr.-Ing. Christian Dietrich, Prof. Dr.-Ing. habil. Daniel Lohmann


Separating Control and Data Stacks with Binary Patching (CallJump)
Supervisors: Prof. Dr.-Ing. Christian Dietrich, Prof. Dr.-Ing. habil. Daniel Lohmann

Own Diploma Thesis and Study Thesis

Global Optimization of Non-Functional Properties in OSEK Real-Time Systems by Static Cross-Kernel Flow Analyses (dOSEK_Opt)
Student: Christian Dietrich (handed in on 01.09.2014, Thesis file...)
Supervisors: Dr.-Ing. Martin Hoffmann, Prof. Dr.-Ing. habil. Daniel Lohmann

A Robust and Portable Approach for extracting Build-System Variability
Student: Christian Dietrich (handed in on 12.07.2012, Thesis file...)
Supervisors: Prof. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat, Dr.-Ing. Reinhard Tartler, Prof. Dr.-Ing. habil. Daniel Lohmann