Christian Dietrich

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)