Projects

AHA: Automated Hardware Abstraction in Operating-System Engineering (DFG: LO 1719/4-1)

Our goal with AHA (Automated Hardware Abstraction in Operating System Design) 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 want to investigate, how more directly mapped implementation variants of the same OS functionality – which are semantically equivalent (only) for a particular application – can be generated fully automatically from analyzing this application and its specific interactions with the operating system.

CLASSY-FI: CLASSY-FI: Cross-Layer Application-Specific Synthesis and Analysis of Fault Injection

The goal of the CLASSY-FI project is to derive constructive methods and techniques for scalable, yet precise and complete FI to experimentally assess the robustness of safety-critical embedded control systems against soft errors. The key idea behind the CLASSY-FI method is an application-specific cross-layer data-flow analysis, by which we consider the program–hardware-specific fault-propagation structure systematically on different levels.

CADOS: Configurability-Aware Development of Operating Systems (DFG: LO 1719/3-1)

In the CADOS project, we investigate scalable methods and tools to grasp the variability on every layer within the configuration and implementation space, visualize and analyze it and, if possible, adjust it while maintaining a holistic view on variability.

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.

danceOS: dependability aspects in embedded Operating Systems (DFG: SPP 1500)

Future hardware designs for embedded systems are expected to exhibit an increasing rate of intermittent and permanent errors in exchange for smaller device sizes and lower energy consumption. The DanceOS project aims at providing dependability by the fine-grained and tailorable application of software-based fault-tolerance techniques.

Teaching and Courses

• Betriebssystembau

Awards und Grants

• 2021: Promotionspreis 2021, GI/ITG Fachgruppe Betriebssysteme
• 2020: Wissenschaftspreis Hannover 2020, Leibniz Universitätsgesellschaft Hannover e.V., (aufgrund von Corona noch nicht überreicht
• 2019: Promotion mit Auszeichnung, Leibniz Universität Hannover
• ECRTS 2018: Outstanding Paper for Whole-System Worst-Case Energy-Consumption Analysis for Energy-Constrained Real-Time Systems
• OSPERT Workshop 2018: Best Paper for Levels of Specialization in Real-Time Operating Systems
• USENIX ATC 2017: Best Paper for cHash: Detection of Redundant Compilations via AST Hashing
• RTAS 2017: Outstanding Paper for SysWCET: Whole-System Response-Time Analysis for Fixed-Priority Real-Time Systems, Student Travel Grant by ACM
• 2015: Teaching Evaluation: 1st Place for the "Operating System Exercises" at FAU
• 2015: Preis für beste Abschlussarbeit der Fachgruppe Betriebssysteme
• RTAS 2015: Best Paper for dOSEK: The Design and Implementation of a Dependability-Oriented Static Embedded Kernel
• 2012: Preis für beste Bachelorarbeit in der Informatik an der Universität Erlangen-Nürnberg

Publications

Related to PhD Thesis (2019)

2021

RTAS Conference A
ARA: Static Initialization of Dynamically-Created System Objects

Björn Fiedler, Gerion Entrup, Christian Dietrich, Daniel LohmannRTAS 20212021.
PDF Video Teaser Video [BibTex]

×

BibTex Entry

@inproceedings{fiedler:21:rtas,
 author = {Björn Fiedler and Gerion Entrup and Christian Dietrich and Daniel Lohmann},
 booktitle = {RTAS 2021},
 entrysubtype = {Conference},
 month = {May},
 title = {ARA: Static Initialization of Dynamically-Created System Objects},
 userc = {CORE20:A},
 userd = {RTAS '21},
 venue = {Virtual Event},
 year = {2021}
}

Close

LCTES Conference A
Data-Flow–Sensitive Fault-Space Pruning for the Injection of Transient Hardware Faults

Oskar Pusz, Christian Dietrich, Daniel LohmannProceedings of the 2021 ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems (LCTES '21)ACM Press2021.
PDF Slides 10.1145/3461648.3463851 [BibTex]

×

BibTex Entry

@inproceedings{pusz:21:lctes,
 address = {New York, NY, USA},
 author = {Oskar Pusz and Christian Dietrich and Daniel Lohmann},
 booktitle = {Proceedings of the 2021 ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems (LCTES '21)},
 doi = {10.1145/3461648.3463851},
 entrysubtype = {Conference},
 month = {June},
 pages = {97--109},
 publisher = {ACM Press},
 title = {Data-Flow--Sensitive Fault-Space Pruning for the Injection of Transient Hardware Faults},
 userc = {CORE20:A},
 userd = {LCTES '21},
 venue = {Virtual Conference},
 year = {2021}
}

Close

Book Chapter
Dependability Aspects in Configurable Embedded Operating Systems

Horst Schirmeier, Christoph Borchert, Martin Hoffmann, Christian Dietrich, Arthur Martens, Rüdiger Kapitza, Daniel Lohmann, Olaf SpinczykDependable Embedded SystemsSpringer2021.
PDF 10.1007/978-3-030-52017-5_4 [BibTex]

×

BibTex Entry

@incollection{schirmeier:21:spp1500-danceos,
 address = {Heidelberg, BW, Germany},
 author = {Horst Schirmeier and Christoph Borchert and Martin Hoffmann and Christian Dietrich and
Arthur Martens and R{\"u}diger Kapitza and Daniel Lohmann and Olaf Spinczyk},
 booktitle = {Dependable Embedded Systems},
 chapter = {10},
 doi = {10.1007/978-3-030-52017-5_4},
 editor = {Nikil Dutt and J{\"o}rg Henkel},
 entrysubtype = {Book Chapter},
 isbn = {978-3-030-52016-8},
 publisher = {Springer},
 title = {Dependability Aspects in Configurable Embedded Operating Systems},
 url = {https://link.springer.com/chapter/10.1007/978-3-030-52017-5_4},
 year = {2021}
}

Close

LCTES Artifact A
Source Code and Evaluation Data for the Paper: Data-Flow–Sensitive Fault-Space Pruning for the Injection of Transient Hardware Faults

Oskar Pusz, Christian Dietrich, Daniel LohmannProceedings of the 2021 ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems (LCTES '21)ACM Press2021.
10.5281/zenodo.4698901 [BibTex]

×

BibTex Entry

@article{pusz:21:lctes-ae,
 address = {New York, NY, USA},
 author = {Oskar Pusz and Christian Dietrich and Daniel Lohmann},
 booktitle = {Proceedings of the 2021 ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems (LCTES '21)},
 doi = {10.5281/zenodo.4698901},
 entrysubtype = {Artifact},
 month = {June},
 publisher = {ACM Press},
 title = {Source Code and Evaluation Data for the Paper: Data-Flow--Sensitive Fault-Space Pruning for the Injection of Transient Hardware Faults},
 userc = {CORE20:A},
 userd = {LCTES '21},
 venue = {Virtual Conference},
 year = {2021}
}

Close

2020

OSDI Conference A*
From Global to Local Quiescence: Wait-Free Code Patching of Multi-Threaded Processes

Florian Rommel, Christian Dietrich, Daniel Friesel, Marcel Köppen, Christoph Borchert, Michael Müller, Olaf Spinczyk, Daniel Lohmann14th Symposium on Operating System Design and Implementation (OSDI '20)2020.
PDF Video [BibTex]

×

BibTex Entry

@inproceedings{rommel:20:osdi,
 author = {Florian Rommel and Christian Dietrich and Daniel Friesel and Marcel K{\"o}ppen and Christoph Borchert
and Michael M{\"u}ller and Olaf Spinczyk and Daniel Lohmann},
 booktitle = {14th Symposium on Operating System Design and Implementation (OSDI '20)},
 entrysubtype = {Conference},
 month = {November},
 pages = {651-666},
 title = {From Global to Local Quiescence: Wait-Free Code Patching of Multi-Threaded Processes},
 url = {https://www.usenix.org/conference/osdi20/presentation/rommel},
 userc = {CORE18:A*},
 userd = {OSDI '20},
 year = {2020}
}

Close

2019

OSPERT Workshop B
ARA: Automatic Instance-Level Analysis in Real-Time Systems

Gerion Entrup, Benedikt Steinmeier, Christian DietrichProceedings of the 15th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT '19)2019.
PDF [BibTex]

×

BibTex Entry

@inproceedings{entrup:19:ospert,
 author = {Gerion Entrup and Benedikt Steinmeier and Christian Dietrich},
 booktitle = {Proceedings of the 15th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT '19)},
 entrysubtype = {Workshop},
 month = {July},
 title = {ARA: Automatic Instance-Level Analysis in Real-Time Systems},
 userc = {CORE18:B},
 userd = {OSPERT '19},
 venue = {Stuttgart, Germany},
 year = {2019}
}

Close

EuroSys Conference A
Multiverse: Compiler-Assisted Management of Dynamic Variability in Low-Level System Software

Florian Rommel, Christian Dietrich, Michael Rodin, Daniel LohmannFourteenth EuroSys Conference 2019 (EuroSys '19)ACM Press2019.
PDF Slides 10.1145/3302424.3303959 [BibTex]

×

BibTex Entry

@inproceedings{rommel:19:eurosys,
 address = {New York, NY, USA},
 author = {Florian Rommel and Christian Dietrich and Michael Rodin and Daniel Lohmann},
 booktitle = {Fourteenth EuroSys Conference 2019 (EuroSys '19)},
 doi = {10.1145/3302424.3303959},
 entrysubtype = {Conference},
 isbn = {978-1-4503-6281-8},
 publisher = {ACM Press},
 title = {Multiverse: Compiler-Assisted Management of Dynamic Variability in Low-Level System Software},
 userc = {CORE18:A},
 userd = {EuroSys '19},
 venue = {Dresden, Germany},
 year = {2019}
}

Close

PRDC Conference B
Program-Structure–Guided Approximation of Large Fault Spaces

Oskar Pusz, Daniel Kiechle, Christian Dietrich, Daniel Lohmann2019 24th Pacific Rim International Symposium on Dependable Computing (PRDC'19)IEEE Computer Society Press2019.
PDF Slides 10.1109/PRDC47002.2019.00044 [BibTex]

×

BibTex Entry

@inproceedings{pusz:19:prdc,
 address = {Washington, DC, USA},
 author = {Oskar Pusz and Daniel Kiechle and Christian Dietrich and Daniel Lohmann},
 booktitle = {2019 24th Pacific Rim International Symposium on Dependable Computing (PRDC'19)},
 doi = {10.1109/PRDC47002.2019.00044},
 entrysubtype = {Conference},
 issn = {1555-094X},
 publisher = {IEEE Computer Society Press},
 title = {Program-Structure–Guided Approximation of Large Fault Spaces},
 userc = {CORE18:B},
 userd = {PRDC '19},
 year = {2019}
}

Close

RTSS Conference A*
RT.js: Practical Real-Time Scheduling for Web Applications

Christian Dietrich, Stefan Naumann, Robin Thrift, Daniel LohmannProceedings of the 40th IEEE Real-Time Systems Symposium 2019IEEE Computer Society Press2019.
PDF 10.1109/RTSS46320.2019.00017 [BibTex]

×

BibTex Entry

@inproceedings{dietrich:19:rtss,
 address = {Hong Kong, China},
 author = {Christian Dietrich and Stefan Naumann and Robin Thrift and Daniel Lohmann},
 booktitle = {Proceedings of the 40th IEEE Real-Time Systems Symposium 2019},
 doi = {10.1109/RTSS46320.2019.00017},
 entrysubtype = {Conference},
 publisher = {IEEE Computer Society Press},
 title = {RT.js: Practical Real-Time Scheduling for Web Applications},
 userc = {CORE18:A*},
 userd = {RTSS '19},
 year = {2019}
}

Close

PLOS Workshop B
Wait-Free Code Patching of Multi-Threaded Processes

Florian Rommel, Lennart Glauer, Christian Dietrich, Daniel LohmannProceedings of the 10th SOSP Workshop on Programming Languages and Operating Systems (PLOS '19)ACM2019.
PDF 10.1145/3365137.3365404 [BibTex]

×

BibTex Entry

@inproceedings{rommel:19:plos,
 acmid = {3365404},
 address = {New York, NY, USA},
 author = {Rommel, Florian and Glauer, Lennart and Dietrich, Christian and Lohmann, Daniel},
 booktitle = {Proceedings of the 10th SOSP Workshop on Programming Languages and Operating Systems (PLOS '19)},
 doi = {10.1145/3365137.3365404},
 entrysubtype = {Workshop},
 isbn = {978-1-4503-7017-2},
 location = {Huntsville, ON, Canada},
 numpages = {7},
 pages = {23--29},
 publisher = {ACM},
 title = {Wait-Free Code Patching of Multi-Threaded Processes},
 userc = {CORE18:B},
 userd = {PLOS '19},
 year = {2019}
}

Close

2018

DAC Conference A
Cross-Layer Fault-Space Pruning for Hardware-Assisted Fault Injection

Christian Dietrich, Achim Schmider, Oskar Pusz, Guillermo Payá-Vayá, Daniel LohmannProceedings of the 55th Annual Design Automation Conference 2018 (DAC '18)ACM Press2018.
PDF Slides Raw Data 10.1145/3195970.3196019 [BibTex]

×

BibTex Entry

@inproceedings{dietrich:18:dac,
 address = {San Francisco, California, USA},
 author = {Christian Dietrich and Achim Schmider and Oskar Pusz and Guillermo Pay\'{a}-Vay\'{a} and Daniel Lohmann},
 booktitle = {Proceedings of the 55th Annual Design Automation Conference 2018 (DAC '18)},
 doi = {10.1145/3195970.3196019},
 entrysubtype = {Conference},
 isbn = {978-1-4503-5700-5/18/06},
 publisher = {ACM Press},
 title = {Cross-Layer Fault-Space Pruning for Hardware-Assisted Fault Injection},
 userc = {CORE18:A},
 userd = {DAC '18},
 year = {2018}
}

Close

2017

TECS Journal A
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-PreikschatACM Transactions on Embedded Computing Systems16.5sACM2017.
10.1145/3126503 [BibTex]

×

BibTex Entry

@inbook{schuster:17:emsoft,
 acmid = {3126503},
 address = {New York, NY, USA},
 articleno = {180},
 author = {Schuster, Simon and Ulbrich, Peter and Stilkerich, Isabella and Dietrich, Christian and
Schr\"{o}der-Preikschat, Wolfgang},
 doi = {10.1145/3126503},
 entrysubtype = {Journal},
 issn = {1539-9087},
 issue = {5s},
 issue_date = {October 2017},
 journal = {ACM Transactions on Embedded Computing Systems},
 month = {September},
 numpages = {19},
 pages = {180:1--180:19},
 publisher = {ACM},
 title = {Demystifying Soft-Error Mitigation by Control-Flow Checking -- A New Perspective on Its Effectiveness},
 userc = {CORE18:A},
 userd = {TECS 17.16},
 volume = {16},
 year = {2017}
}

Close

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 RechProceedings of the 2017 Conference on Architecture of Computing Systems (ARCS '17)Springer-Verlag2017.
PDF 10.1007/978-3-319-54999-6_1 [BibTex]

×

BibTex Entry

@inproceedings{santini:17:arcs,
 address = {Heidelberg, Germany},
 author = {Thiago Santini and Christoph Borchert and Christian Dietrich and Horst Schirmeier and Martin Hoffmann and Olaf Spinczyk and Daniel Lohmann and Flávio Rech Wagner and Paolo Rech},
 booktitle = {Proceedings of the 2017 Conference on Architecture of Computing Systems (ARCS '17)},
 doi = {10.1007/978-3-319-54999-6_1},
 entrysubtype = {Conference},
 keywords = {Reliability; Operating System; Embedded System; Dependable System; RTOS; Neutron ; eCos; dOSEK},
 month = {April},
 publisher = {Springer-Verlag},
 title = {Effectiveness of Software-Based Hardening for Radiation-Induced Soft Errors in Real-Time Operating Systems},
 userd = {ARCS '17},
 venue = {Karlsruhe, Germany},
 year = {2017}
}

Close

USENIX Conference A Best Paper Award
cHash: Detection of Redundant Compilations via AST Hashing

Christian Dietrich, Valentin Rothberg, Ludwig Füracker, Andreas Ziegler, Daniel LohmannProceedings of the 2017 USENIX Annual Technical Conference (USENIX '17)USENIX Association2017Best Paper Award.
PDF Slides Raw Data [BibTex]

×

BibTex Entry

@inproceedings{dietrich:17:usenix,
 address = {Berkeley, CA, USA},
 author = {Christian Dietrich and Valentin Rothberg and Ludwig Füracker and Andreas Ziegler and Daniel Lohmann},
 booktitle = {Proceedings of the 2017 USENIX Annual Technical Conference (USENIX '17)},
 entrysubtype = {Conference},
 location = {Santa Clara, CA, USA},
 month = {July},
 publisher = {USENIX Association},
 title = {{cHash:} Detection of Redundant Compilations via {AST} Hashing},
 url = {https://www.usenix.org/conference/atc17/technical-sessions/presentation/dietrich},
 userc = {CORE18:A},
 userd = {USENIX '17},
 venue = {Santa Clara, CA, USA},
 year = {2017}
}

Close

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-PreikschatSoftware Quality Journal24.1Springer US2016.
PDF 10.1007/s11219-014-9260-4 [BibTex]

×

BibTex Entry

@article{hoffmann:16:sqj,
 author = {Martin Hoffmann and Peter Ulbrich and Christian Dietrich and Horst Schirmeier and Daniel Lohmann and Wolfgang Schr\"oder-Preikschat},
 doi = {10.1007/s11219-014-9260-4},
 entrysubtype = {Journal},
 issue = {1},
 journal = {Software Quality Journal},
 publisher = {Springer US},
 title = {Experiences with Software-based Soft-Error Mitigation using {AN}-Codes},
 userd = {SQJ 24.1},
 volume = {24},
 year = {2016}
}

Close

DSPL Workshop
Function Multiverses for Dynamic Variability

Valentin Rothberg, Christian Dietrich, Alexander Graf, Daniel LohmannFoundations and Applications of Self* Systems2016.
PDF [BibTex]

×

BibTex Entry

@inproceedings{rothberg:16:fas-dspl,
 author = {Valentin Rothberg and Christian Dietrich and Alexander Graf and Daniel Lohmann},
 booktitle = {Foundations and Applications of Self* Systems},
 editor = {Jesper Andersson and Rafael Capilla and Holger Eichelberger},
 entrysubtype = {Workshop},
 location = {Augsburg},
 title = {Function Multiverses for Dynamic Variability},
 url = {https://www4.cs.fau.de/Publications/2016/rothberg_16_dspl.pdf},
 userd = {DSPL '16},
 year = {2016}
}

Close

GPCE Conference B
Towards Scalable Configuration Testing in Variable Software

Valentin Rothberg, Christian Dietrich, Andreas Ziegler, Daniel LohmannProceedings of the 2016 International Conference on Generative Programming: Concepts and Experiences (GPCE '16)2016.
PDF 10.1145/2993236.2993252 [BibTex]

×

BibTex Entry

@inproceedings{rothberg:16:gpce,
 author = {Valentin Rothberg and Christian Dietrich and Andreas Ziegler and Daniel Lohmann},
 booktitle = {{Proceedings of the 2016 International Conference on Generative Programming: Concepts and Experiences (GPCE '16)}},
 doi = {10.1145/2993236.2993252},
 editor = {Bernd Fischer and Ina Schaefer},
 entrysubtype = {Conference},
 isbn = {978-1-4503-4446-3},
 location = {Amsterdam},
 title = {{Towards Scalable Configuration Testing in Variable Software}},
 userc = {CORE18:B},
 userd = {GPCE '16},
 year = {2016}
}

Close

2015

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 SpinczykProceedings of the 11th European Dependable Computing Conference (EDCC '15)2015.
PDF 10.1109/EDCC.2015.28 [BibTex]

×

BibTex Entry

@inproceedings{schirmeier:15:edcc,
 author = {Horst Schirmeier and Martin Hoffmann and Christian Dietrich and Michael Lenz and Daniel Lohmann and Olaf Spinczyk},
 booktitle = {Proceedings of the 11th European Dependable Computing Conference (EDCC '15)},
 doi = {10.1109/EDCC.2015.28},
 editor = {Pierre Sens},
 entrysubtype = {Conference},
 keywords = {fault injection; tools; dependability; danceos},
 location = {Paris, France},
 month = {September},
 pages = {245--255},
 title = {{FAIL*}: An Open and Versatile Fault-Injection Framework for the Assessment of Software-Implemented Hardware Fault Tolerance},
 userd = {EDCC '15},
 year = {2015}
}

Close

Globale Kontrollflussanalyse von eingebetteten Echtzeitsystemen

Christian Dietrich, Martin Hoffmann, Daniel LohmannBetriebssysteme und Echtzeit, Echtzeit 2015, Fachtagung des gemeinsamen Fachausschusses Echtzeitsysteme von Gesellschaft für Informatik e.V. (GI), VDI/VDE-Gesellschaft für Mess- und Automatisierungstechnik (GMA) und Informationstechnischer Gesellschaft im VDE (ITG) sowie der Fachgruppe Betriebssysteme von GI und ITG, Boppard, 12. und 13. November 20152015.
10.1007/978-3-662-48611-5_14 [BibTex]

×

BibTex Entry

@inproceedings{dietrich:15:ez,
 author = {Christian Dietrich and Martin Hoffmann and Daniel Lohmann},
 booktitle = {Betriebssysteme und Echtzeit, Echtzeit 2015, Fachtagung des gemeinsamen Fachausschusses
Echtzeitsysteme von Gesellschaft f{\"{u}}r Informatik e.V. (GI), VDI/VDE-Gesellschaft f{\"{u}}r Mess-
und Automatisierungstechnik {(GMA)} und Informationstechnischer Gesellschaft im {VDE} {(ITG)} sowie
der Fachgruppe Betriebssysteme von {GI} und ITG, Boppard, 12. und 13. November 2015},
 doi = {10.1007/978-3-662-48611-5_14},
 pages = {128--136},
 title = {Globale Kontrollflussanalyse von eingebetteten Echtzeitsystemen},
 year = {2015}
}

Close

OSR Journal
The dataref versuchung

Christian Dietrich, Daniel LohmannACM SIGOPS Operating Systems Review: Special Issue on Repeatability and Sharing of Experimental ArtifactsACM Press2015.
PDF 10.1145/2723872.2723880 [BibTex]

×

BibTex Entry

@article{dietrich:15:acmosr,
 address = {New York, NY, USA},
 author = {Christian Dietrich and Daniel Lohmann},
 doi = {10.1145/2723872.2723880},
 entrysubtype = {Journal},
 journal = {ACM SIGOPS Operating Systems Review: Special Issue on Repeatability and Sharing of Experimental Artifacts},
 numpages = {10},
 pages = {51--60},
 publisher = {ACM Press},
 title = {The {dataref} {versuchung}},
 userd = {OSR 49.1},
 year = {2015}
}

Close

Workshop
dOSEK: Maßgeschneiderte Zuverlässigkeit

Martin Hoffmann, Florian Lukas, Christian Dietrich, Daniel LohmannBetriebssysteme und EchtzeitSpringer2015.
10.1007/978-3-662-48611-5_8 [BibTex]

×

BibTex Entry

@inproceedings{hoffmann:15:ez,
 address = {Berlin-Heidelberg},
 author = {Martin Hoffmann and Florian Lukas and Christian Dietrich and Daniel Lohmann},
 bibsource = {UnivIS, http://univis.uni-erlangen.de/prg?search=publications&id=91571504&show=elong},
 booktitle = {{Betriebssysteme und Echtzeit}},
 doi = {10.1007/978-3-662-48611-5_8},
 editor = {Wolfgang Halang and Olaf Spinczyk},
 entrysubtype = {Workshop},
 isbn = {978-3-662-48611-5},
 location = {Boppard am Rhein},
 pages = {69--78},
 publisher = {Springer},
 title = {{dOSEK:} Ma{\ss}geschneiderte Zuverl{\"a}ssigkeit},
 year = {2015}
}

Close

RTAS Conference A Best Paper Award
dOSEK: The Design and Implementation of a Dependability-Oriented Static Embedded Kernel

Martin Hoffmann, Florian Lukas, Christian Dietrich, Daniel LohmannProceedings of the 21st IEEE International Symposium on Real-Time and Embedded Technology and Applications (RTAS '15)IEEE Computer Society Press2015Best Paper Award.
PDF 10.1109/RTAS.2015.7108449 [BibTex]

×

BibTex Entry

@inproceedings{hoffmann:15:rtas,
 address = {Washington, DC, USA},
 ar = {22\% (27/124)},
 author = {Martin Hoffmann and Florian Lukas and Christian Dietrich and Daniel Lohmann},
 booktitle = {Proceedings of the 21st IEEE International Symposium on Real-Time and Embedded Technology and Applications (RTAS '15)},
 category = {os-embedded, L4},
 doi = {10.1109/RTAS.2015.7108449},
 entrysubtype = {Conference},
 pages = {259 - 270},
 publisher = {IEEE Computer Society Press},
 title = {{dOSEK}: The Design and Implementation of a Dependability-Oriented Static Embedded Kernel},
 userc = {CORE18:A},
 userd = {RTAS '15},
 year = {2015}
}

Close

2014

HASE Conference B
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-PreikschatProceedings of the 15th IEEE International Symposium on High-Assurance Systems Engineering (HASE '14)IEEE Computer Society Press2014.
PDF 10.1109/HASE.2014.14 [BibTex]

×

BibTex Entry

@inproceedings{hoffmann:14:hase,
 author = {Martin Hoffmann and Peter Ulbrich and Christian Dietrich and Horst Schirmeier and Daniel Lohmann and Wolfgang Schr\"oder-Preikschat},
 booktitle = {Proceedings of the 15th IEEE International Symposium on High-Assurance Systems Engineering (HASE '14)},
 category = {L4, DanceOS},
 doi = {10.1109/HASE.2014.14},
 entrysubtype = {Conference},
 isbn = {978-1-4799-3465-2},
 month = {January},
 pages = {33--40},
 publisher = {IEEE Computer Society Press},
 title = {A Practitioner's Guide to Software-based Soft-Error Mitigation Using {AN}-Codes},
 userc = {CORE18:B},
 userd = {HASE '14},
 venue = {Miami, Florida, USA},
 year = {2014}
}

Close

ISORC Conference C
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 LohmannProceedings of the 17th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '14)IEEE Computer Society Press2014.
PDF 10.1109/ISORC.2014.26 [BibTex]

×

BibTex Entry

@inproceedings{hoffmann:14:isorc,
 author = {Martin Hoffmann and Christoph  Borchert and Christian Dietrich and Horst Schirmeier and R{\"u}diger Kapitza and Olaf Spinczyk and Daniel Lohmann},
 booktitle = {Proceedings of the 17th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '14)},
 category = {L4, ESS, DanceOS},
 doi = {10.1109/ISORC.2014.26},
 entrysubtype = {Conference},
 issn = {1555-0885},
 pages = {230--237},
 publisher = {IEEE Computer Society Press},
 title = {Effectiveness of Fault Detection Mechanisms in Static and Dynamic Operating System Designs},
 userc = {CORE18:C},
 userd = {ISORC '14},
 venue = {Reno, Nevada, USA},
 year = {2014}
}

Close

USENIX Conference A
Static Analysis of Variability in System Software: The 90,000 #ifdefs Issue

Reinhard Tartler, Christian Dietrich, Julio Sincero, Wolfgang Schröder-Preikschat, Daniel LohmannProceedings of the 2014 USENIX Annual Technical Conference (USENIX '14)USENIX Association2014.
PDF Raw Data [BibTex]

×

BibTex Entry

@inproceedings{tartler:14:usenix,
 address = {Berkeley, CA, USA},
 ar = {18\% (44/241)},
 author = {Reinhard Tartler and Christian Dietrich and Julio Sincero and Wolfgang Schr{\"o}der-Preikschat and Daniel Lohmann},
 booktitle = {Proceedings of the 2014 USENIX Annual Technical Conference (USENIX '14)},
 category = {L4},
 entrysubtype = {Conference},
 isbn = {978-1-931971-10-2},
 month = {June},
 pages = {421--432},
 publisher = {USENIX Association},
 title = {Static Analysis of Variability in System Software: The 90,000 \#ifdefs Issue},
 url = {https://www.usenix.org/conference/atc14/technical-sessions/presentation/tartler},
 userc = {CORE18:A},
 userd = {USENIX '14},
 venue = {Philadelphia, PA, USA},
 year = {2014}
}

Close

CASES Conference A
Team Up: Cooperative Memory Management in Embedded Systems

Isabella Stilkerich, Philip Taffner, Christoph Erhardt, Christian Dietrich, Christian Wawersich, Michael StilkerichProceedings of the 2014 International Conference on Compilers, Architectures, and Synthesis for Embedded Systems (CASES '14)ACM Press2014.
PDF 10.1145/2656106.2656129 [BibTex]

×

BibTex Entry

@inproceedings{stilkerich:14:cases,
 address = {New York, NY, USA},
 author = {Isabella Stilkerich and Philip Taffner and Christoph Erhardt and Christian Dietrich and Christian Wawersich and Michael Stilkerich},
 booktitle = {Proceedings of the 2014 International Conference on Compilers, Architectures, and Synthesis for Embedded Systems (CASES '14)},
 category = {i4,java, L4, KESO, invasic, AORTA},
 doi = {10.1145/2656106.2656129},
 entrysubtype = {Conference},
 isbn = {978-1-4503-3050-3/14/10},
 month = {October},
 pages = {Art. No. 10},
 publisher = {ACM Press},
 title = {Team Up: Cooperative Memory Management in Embedded Systems},
 userc = {CORE18:A},
 userd = {CASES '14},
 venue = {New Dehli, India},
 year = {2014}
}

Close

2013

SOBRES Workshop
Failure by Design: Influence of the RTOS Interface on Memory Fault Resilience

Martin Hoffmann, Christian Dietrich, Daniel LohmannProceedings of the 2nd International Workshop on Software-Based Methods for Robust Embedded Systems (SOBRES '13)Gesellschaft für Informatik2013.
PDF [BibTex]

×

BibTex Entry

@inproceedings{hoffmann:13:sobres,
 author = {Martin Hoffmann and Christian Dietrich and Daniel Lohmann},
 booktitle = {Proceedings of the 2nd International Workshop on Software-Based Methods for Robust Embedded Systems (SOBRES '13)},
 category = {L4, DanceOS},
 entrysubtype = {Workshop},
 location = {Koblenz, Germany},
 publisher = {{G}esellschaft f{\"u}r {I}nformatik},
 series = {Lecture Notes in Computer Science},
 title = {{Failure by Design: Influence of the RTOS Interface on Memory Fault Resilience}},
 userd = {SOBRES '13},
 year = {2013}
}

Close

MSR Conference A
Linux Variability Anomalies: What Causes Them and How Do They Get Fixed?

Sarah Nadi, Christian Dietrich, Reinhard Tartler, Ric Holt, Daniel LohmannProceedings of the 10th Working Conference on Mining Software Repositories (MSR '13)IEEE Computer Society Press2013.
PDF 10.1109/MSR.2013.6624017 [BibTex]

×

BibTex Entry

@inproceedings{nadi:13:msr,
 address = {Washington, DC, USA},
 author = {Sarah Nadi and Christian Dietrich and Reinhard Tartler and Ric Holt and Daniel Lohmann},
 booktitle = {Proceedings of the 10th Working Conference on  Mining Software Repositories (MSR '13)},
 doi = {10.1109/MSR.2013.6624017},
 entrysubtype = {Conference},
 isbn = {978-1-4799-0345-0},
 month = {May},
 pages = {111-120},
 publisher = {IEEE Computer Society Press},
 title = {Linux Variability Anomalies: What Causes Them and How Do They Get Fixed?},
 userc = {CORE18:A},
 userd = {MSR '13},
 year = {2013}
}

Close

PRDC Workshop
dOSEK: A Dependable RTOS for Automotive Applications

Martin Hoffmann, Christian Dietrich, Daniel LohmannProceedings of the 19th International Symposium on Dependable Computing (PRDC '13)IEEE Computer Society Press2013Fast abstract.
PDF 10.1109/PRDC.2013.22 [BibTex]

×

BibTex Entry

@inproceedings{hoffmann:13:prdc-fast,
 address = {Washington, DC, USA},
 author = {Martin Hoffmann and Christian Dietrich and Daniel Lohmann},
 booktitle = {Proceedings of the 19th International Symposium on  Dependable Computing (PRDC '13)},
 category = {L4, DanceOS},
 doi = {10.1109/PRDC.2013.22},
 entrysubtype = {Workshop},
 month = {December},
 note = {Fast abstract},
 pages = {120--121},
 publisher = {IEEE Computer Society Press},
 title = {{dOSEK}: A Dependable {RTOS} for Automotive Applications},
 userd = {PRDC '13},
 venue = {Vancouver, British Columbia, Canada},
 year = {2013}
}

Close

2012

SPLC Conference
A Robust Approach for Variability Extraction from the Linux Build System

Christian Dietrich, Reinhard Tartler, Wolfgang Schröder-Preikschat, Daniel LohmannProceedings of the 16th Software Product Line Conference (SPLC '12)ACM Press2012.
PDF 10.1145/2362536.2362544 [BibTex]

×

BibTex Entry

@inproceedings{dietrich:12:splc,
 address = {New York, NY, USA},
 ar = {33\% (22/66)},
 author = {Christian Dietrich and Reinhard Tartler and Wolfgang Schr{\"o}der-Preikschat and Daniel Lohmann},
 booktitle = {Proceedings of the 16th Software Product Line Conference (SPLC '12)},
 doi = {10.1145/2362536.2362544},
 editor = {Eduardo Santana de Almeida and Christa Schwanninger and David Benavides},
 entrysubtype = {Conference},
 eventdate = {2012-09-02/2012-09-07},
 isbn = {978-1-4503-1094-9},
 pages = {21--30},
 publisher = {ACM Press},
 title = {A Robust Approach for Variability Extraction from the Linux Build System},
 userd = {SPLC '12},
 venue = {Salvador, Brazil},
 year = {2012}
}

Close

OSR Journal
Configuration Coverage in the Analysis of Large-Scale System Software

Reinhard Tartler, Daniel Lohmann, Christian Dietrich, Christoph Egger, Julio SinceroACM SIGOPS Operating Systems Review45.3ACM Press2012.
PDF 10.1145/2094091.2094095 [BibTex]

×

BibTex Entry

@article{tartler:12:acmosr,
 acmid = {2094095},
 address = {New York, NY, USA},
 author = {Reinhard Tartler and Daniel Lohmann and Christian Dietrich and Christoph Egger and Julio Sincero},
 doi = {10.1145/2094091.2094095},
 entrysubtype = {Journal},
 issn = {0163-5980},
 issue_date = {December 2011},
 journal = {ACM SIGOPS Operating Systems Review},
 keywords = {Algorithms, Design, Experimentation, Management, Languages, Configurability, Maintenance, Linux, Static Analysis, VAMOS},
 month = {January},
 number = {3},
 numpages = {5},
 pages = {10--14},
 publisher = {ACM Press},
 title = {Configuration Coverage in the Analysis of Large-Scale System Software},
 userd = {OSR 45.3},
 volume = {45},
 year = {2012}
}

Close

STTT Journal B
Revealing and Repairing Configuration Inconsistencies in Large-Scale System Software

Reinhard Tartler, Julio Sincero, Christian Dietrich, Wolfgang Schröder-Preikschat, Daniel LohmannInternational Journal on Software Tools for Technology Transfer (STTT)14.5Springer-Verlag2012.
PDF 10.1007/s10009-012-0225-2 [BibTex]

×

BibTex Entry

@article{tartler:12:sttt,
 address = {Heidelberg, Germany},
 author = {Reinhard Tartler and Julio Sincero and Christian Dietrich and Wolfgang Schr\"oder-Preikschat and Daniel Lohmann},
 category = {L4, InvasIC},
 doi = {10.1007/s10009-012-0225-2},
 entrysubtype = {Journal},
 journal = {International Journal on Software Tools for Technology Transfer (STTT)},
 month = {February},
 number = {5},
 pages = {531-551},
 publisher = {Springer-Verlag},
 title = {Revealing and Repairing Configuration Inconsistencies in Large-Scale System Software},
 userc = {CORE18:B},
 userd = {STTT 14-5},
 volume = {14},
 year = {2012}
}

Close

AOSD-MISS Workshop
Understanding Linux Feature Distribution

Christian Dietrich, Reinhard Tartler, Wolfgang Schröder-Preikschat, Daniel LohmannProceedings of the 2nd AOSD Workshop on Modularity in Systems Software (AOSD-MISS '12)ACM Press2012.
PDF 10.1145/2162024.2162030 [BibTex]

×

BibTex Entry

@inproceedings{dietrich:12:aosd-miss,
 address = {New York, NY, USA},
 author = {Christian Dietrich and Reinhard Tartler and Wolfgang Schr{\"o}der-Preikschat and Daniel Lohmann},
 booktitle = {Proceedings of the 2nd AOSD Workshop on Modularity in Systems Software (AOSD-MISS '12)},
 doi = {10.1145/2162024.2162030},
 editor = {Christoph Borchert and Michael Haupt and Daniel Lohmann},
 entrysubtype = {Workshop},
 eventdate = {2012-03-27},
 isbn = {978-1-4503-1217-2},
 publisher = {ACM Press},
 title = {Understanding {Linux} Feature Distribution},
 userd = {AOSD-MISS '12},
 venue = {Potsdam, Germany},
 year = {2012}
}

Close

2011

PLOS Workshop B
Configuration Coverage in the Analysis of Large-Scale System Software

Reinhard Tartler, Daniel Lohmann, Christian Dietrich, Christoph Egger, Julio SinceroProceedings of the 6th Workshop on Programming Languages and Operating Systems (PLOS '11)ACM Press2011.
PDF 10.1145/2039239.2039242 [BibTex]

×

BibTex Entry

@inproceedings{tartler:11:plos,
 address = {New York, NY, USA},
 author = {Reinhard Tartler and Daniel Lohmann and Christian Dietrich and Christoph Egger and Julio Sincero},
 booktitle = {Proceedings of the 6th Workshop on Programming Languages and Operating Systems  (PLOS '11)},
 doi = {10.1145/2039239.2039242},
 editor = {Eric Eide and Gilles Muller and Olaf Spinczyk and Wolfgang Schr{\"o}der-Preikschat},
 entrysubtype = {Workshop},
 isbn = {978-1-4503-0979-0},
 keywords = {Algorithms, Design, Experimentation, Management, Languages, Configurability, Maintenance, Linux, Static Analysis, VAMOS},
 pages = {2:1--2:5},
 publisher = {ACM Press},
 title = {Configuration Coverage in the Analysis of Large-Scale System Software},
 userc = {CORE18:B},
 userd = {PLOS '11},
 venue = {Cascais, Portugal},
 year = {2011}
}

Close

Supervised Theses

Open Theses Topics

Finished Student Theses