Christian Dietrich

Christian Dietrich (M.Sc.)

Wissenschaftlicher Mitarbeiter

Mail: dietrich@sra.uni-hannover.de
Telefon: 0511 762 19737
Adresse: 30167 Hannover, Appelstrasse 4, Raum 120

Projects

AHA: Automated Hardware Abstraction in Operating-System Engineering
Goal of AHA is to improve nonfunctional properties of system software by a very deep, but fully automated specialization of the application-hardware bridge represented by the operating system. We investigate, how alternative implementations that are mapped more directly to hardware features, can be generated from a concrete application and their actual interactions with the operating system.
dOSEK: A dependability-Oriented Static Embedded Kernel (DFG: LO 1719/1-3)
dOSEK is developed from scratch with dependability as the first-class design goal. Targeting safety-critical, embedded applications, the system provides an OSEK/AUTOSAR-conform interface. dOSEK is part of the danceOS project.
cHash: Avoid redundant build operations by AST-based hashing
Building software can include many redundant compiler invocations. With the AST hashing mechanism developed in this project, compiler invocations can be aborted before wasting the developers time.

Past Projects

VAMOS: Variability Management in Operating Systems (DFG SCHR 603/7)
In the VAMOS project, we pioneered the issue of variability-induced issues in Linux and investigated methods and tools to mitigate the problem. Our findings have led to more than 100 accepted patches in the Linux mainline kernel.

Teaching and Courses

Awards und Grants

Publications

2017

FMCAD Conference
Automatic Verification of Application-Tailored OSEK Kernels.
Hans-Peter Deifel, Christian Dietrich, Merlin Göttlinger, Daniel Lohmann, Stefan Milius, Lutz Schröder; In: Proceedings of the 17th Conference on Formal Methods in Computer-Aided Design (FMCAD '17); ACM Press, 2017.
[PDF] [BibTex]
TECS Journal
Demystifying Soft-Error Mitigation by Control-Flow Checking – A New Perspective on Its Effectiveness.
Simon Schuster, Peter Ulbrich, Isabella Stilkerich, Christian Dietrich, Wolfgang Schröder-Preikschat; ACM Transactions on Embedded Computing Systems 16.5s; ACM, 2017.
[10.1145/3126503] [BibTex]
ARCS Conference
Effectiveness of Software-Based Hardening for Radiation-Induced Soft Errors in Real-Time Operating Systems.
Thiago Santini, Christoph Borchert, Christian Dietrich, Horst Schirmeier, Martin Hoffmann, Olaf Spinczyk, Daniel Lohmann, Flávio Rech Wagner, Paolo Rech; In: Proceedings of the 2017 Conference on Architecture of Computing Systems (ARCS '17); Springer-Verlag, 2017.
[PDF] [10.1007/978-3-319-54999-6_1] [BibTex]
TECS Journal
Global Optimization of Fixed-Priority Real-Time Systems by RTOS-Aware Control-Flow Analysis.
Christian Dietrich, Martin Hoffmann, Daniel Lohmann; ACM Transactions on Embedded Computing Systems 16.2; ACM Press, 2017.
[PDF] [Raw Data] [10.1145/2950053] [BibTex]
LCTES Conference
OSEK-V: Application-Specific RTOS Instantiation in Hardware.
Christian Dietrich, Daniel Lohmann; In: Proceedings of the 2017 ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems (LCTES '17); ACM Press, 2017.
[PDF] [Raw Data] [10.1145/3078633.3078637] [BibTex]
RTAS Conference Outstanding Paper Award
SysWCET: Whole-System Response-Time Analysis for Fixed-Priority Real-Time Systems.
Christian Dietrich, Peter Wägemann, Peter Ulbrich, Daniel Lohmann; In: Proceedings of the 23rd IEEE International Symposium on Real-Time and Embedded Technology and Applications (RTAS '17); IEEE Computer Society Press, 2017. Outstanding Paper Award.
[PDF] [Raw Data] [10.1109/RTAS.2017.37] [BibTex]
USENIX Conference Best Paper Award
cHash: Detection of Redundant Compilations via AST Hashing.
Christian Dietrich, Valentin Rothberg, Ludwig Füracker, Andreas Ziegler, Daniel Lohmann; In: Proceedings of the 2017 USENIX Annual Technical Conference; USENIX Association, 2017. Best Paper Award.
[PDF] [Slides] [Raw Data] [BibTex]

2016

SQJ Journal
Experiences with Software-based Soft-Error Mitigation using AN-Codes.
Martin Hoffmann, Peter Ulbrich, Christian Dietrich, Horst Schirmeier, Daniel Lohmann, Wolfgang Schröder-Preikschat; Software Quality Journal; Springer US, 2016.
[PDF] [10.1007/s11219-014-9260-4] [BibTex]
DSPL Workshop
Function Multiverses for Dynamic Variability.
Valentin Rothberg, Christian Dietrich, Alexander Graf, Daniel Lohmann; In: Foundations and Applications of Self* Systems; 2016.
[PDF] [BibTex]
GPCE Conference
Towards Scalable Configuration Testing in Variable Software.
Valentin Rothberg, Christian Dietrich, Andreas Ziegler, Daniel Lohmann; In: Proceedings of the 2016 International Conference on Generative Programming: Concepts and Experiences; 2016.
[PDF] [10.1145/2993236.2993252] [BibTex]

2015

OSPERT Workshop
Back to the Roots: Implementing the RTOS as a Specialized State Machine.
Christian Dietrich, Martin Hoffmann, Daniel Lohmann; In: Proceedings of the 11th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT '15)); 2015.
[PDF] [BibTex]
LCTES Conference
Cross-Kernel Control-Flow-Graph Analysis for Event-Driven Real-Time Systems.
Christian Dietrich, Martin Hoffmann, Daniel Lohmann; In: Proceedings of the 2015 ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems (LCTES '15); ACM Press, 2015.
[PDF] [Raw Data] [10.1145/2670529.2754963] [BibTex]
EDCC Conference
FAIL*: An Open and Versatile Fault-Injection Framework for the Assessment of Software-Implemented Hardware Fault Tolerance.
Horst Schirmeier, Martin Hoffmann, Christian Dietrich, Michael Lenz, Daniel Lohmann, Olaf Spinczyk; In: Proceedings of the 11th European Dependable Computing Conference (EDCC '15); 2015.
[PDF] [BibTex]
OSR Journal
The dataref versuchung.
Christian Dietrich, Daniel Lohmann; ACM SIGOPS Operating Systems Review; ACM Press, 2015.
[PDF] [10.1145/2723872.2723880] [BibTex]
Workshop
dOSEK: Maßgeschneiderte Zuverlässigkeit.
Martin Hoffmann, Florian Lukas, Christian Dietrich, Daniel Lohmann; In: Betriebssysteme und Echtzeit; Springer, 2015.
[10.1007/978-3-662-48611-5_8] [BibTex]
RTAS Conference Best Paper Award
dOSEK: The Design and Implementation of a Dependability-Oriented Static Embedded Kernel.
Martin Hoffmann, Florian Lukas, Christian Dietrich, Daniel Lohmann; In: Proceedings of the 21st IEEE International Symposium on Real-Time and Embedded Technology and Applications (RTAS '15); IEEE Computer Society Press, 2015. Best Paper Award.
[PDF] [10.1109/RTAS.2015.7108449] [BibTex]

2014

HASE Conference
A Practitioner's Guide to Software-based Soft-Error Mitigation Using AN-Codes.
Martin Hoffmann, Peter Ulbrich, Christian Dietrich, Horst Schirmeier, Daniel Lohmann, Wolfgang Schröder-Preikschat; In: Proceedings of the 15th IEEE International Symposium on High-Assurance Systems Engineering (HASE '14); IEEE Computer Society Press, 2014.
[PDF] [10.1109/HASE.2014.14] [BibTex]
ISORC Conference
Effectiveness of Fault Detection Mechanisms in Static and Dynamic Operating System Designs.
Martin Hoffmann, Christoph Borchert, Christian Dietrich, Horst Schirmeier, Rüdiger Kapitza, Olaf Spinczyk, Daniel Lohmann; In: Proceedings of the 17th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '14); IEEE Computer Society Press, 2014.
[PDF] [10.1109/ISORC.2014.26] [BibTex]
USENIX Conference
Static Analysis of Variability in System Software: The 90,000 #ifdefs Issue.
Reinhard Tartler, Christian Dietrich, Julio Sincero, Wolfgang Schröder-Preikschat, Daniel Lohmann; In: Proceedings of the 2014 USENIX Annual Technical Conference; USENIX Association, 2014.
[PDF] [Raw Data] [BibTex]
CASES Conference
Team Up: Cooperative Memory Management in Embedded Systems.
Isabella Stilkerich, Philip Taffner, Christoph Erhardt, Christian Dietrich, Christian Wawersich, Michael Stilkerich; In: Proceedings of the 2014 International Conference on Compilers, Architectures, and Synthesis for Embedded Systems (CASES '14); ACM Press, 2014.
[PDF] [10.1145/2656106.2656129] [BibTex]

2013

SOBRES Workshop
Failure by Design: Influence of the RTOS Interface on Memory Fault Resilience.
Martin Hoffmann, Christian Dietrich, Daniel Lohmann; In: Proceedings of the 2nd International Workshop on Software-Based Methods for Robust Embedded Systems (SOBRES '13)); Gesellschaft für Informatik, 2013.
[PDF] [BibTex]
MSR Conference
Linux Variability Anomalies: What Causes Them and How Do They Get Fixed?.
Sarah Nadi, Christian Dietrich, Reinhard Tartler, Ric Holt, Daniel Lohmann; In: Proceedings of the 10th Working Conference on Mining Software Repositories (MSR '13)); IEEE Computer Society Press, 2013.
[PDF] [10.1109/MSR.2013.6624017] [BibTex]
PRDC Workshop
dOSEK: A Dependable RTOS for Automotive Applications.
Martin Hoffmann, Christian Dietrich, Daniel Lohmann; In: Proceedings of the 19th International Symposium on Dependable Computing (PRDC '13)); IEEE Computer Society Press, 2013. Fast abstract.
[PDF] [10.1109/PRDC.2013.22] [BibTex]

2012

SPLC Conference
A Robust Approach for Variability Extraction from the Linux Build System.
Christian Dietrich, Reinhard Tartler, Wolfgang Schröder-Preikschat, Daniel Lohmann; In: Proceedings of the 16th Software Product Line Conference (SPLC '12); ACM Press, 2012.
[PDF] [10.1145/2362536.2362544] [BibTex]
OSR Journal
Configuration Coverage in the Analysis of Large-Scale System Software.
Reinhard Tartler, Daniel Lohmann, Christian Dietrich, Christoph Egger, Julio Sincero; ACM SIGOPS Operating Systems Review 45.3; ACM Press, 2012.
[PDF] [10.1145/2094091.2094095] [BibTex]
Journal
Revealing and Repairing Configuration Inconsistencies in Large-Scale System Software.
Reinhard Tartler, Julio Sincero, Christian Dietrich, Wolfgang Schröder-Preikschat, Daniel Lohmann; International Journal on Software Tools for Technology Transfer (STTT) 14.5; Springer-Verlag, 2012.
[PDF] [10.1007/s10009-012-0225-2] [BibTex]
AOSD-MISS Workshop
Understanding Linux Feature Distribution.
Christian Dietrich, Reinhard Tartler, Wolfgang Schröder-Preikschat, Daniel Lohmann; In: Proceedings of the 2nd AOSD Workshop on Modularity in Systems Software (AOSD-MISS '12); ACM Press, 2012.
[PDF] [10.1145/2162024.2162030] [BibTex]

2011

PLOS Workshop
Configuration Coverage in the Analysis of Large-Scale System Software.
Reinhard Tartler, Daniel Lohmann, Christian Dietrich, Christoph Egger, Julio Sincero; In: Proceedings of the 6th Workshop on Programming Languages and Operating Systems (PLOS '11); ACM Press, 2011.
[PDF] [10.1145/2039239.2039242] [BibTex]

Supervised Theses

Open Theses Topics

Finished Student Theses

Semi-Extended Tasks: Application-Specific Fine-Grained Task-Stack Sharing in OSEK Systems

 
Status: abgeschlossen
Supervisors: Christian Dietrich, Daniel Lohmann
Project: AHA
Implement the mechanism for Semi-Extended Tasks in dOSEK on IA-32 [PDF]