Prof. Dr.-Ing. Christian Dietrich
Alumni (Wissenschaftlicher Mitarbeiter)
- dietrich@sra.uni-hannover.de
Since 2024, I'm working as a Professor at TU Braunschweig.
Past Projects
- AHA: Automated Hardware Abstraction in Operating-System Engineering (DFG: LO 1719/4-1)
- 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.
- CLASSY-FI: Cross-Layer Application-Specific Synthesis and Analysis of Fault Injection
- Goal of the CLASSY-FI is to derive constructive methods and techniques for scalable, yet precise and complete fault injection (FI) to experimentally assess the robustness of safety-critical embedded control systems against soft errors.
- CADOS: Configurability-Aware Development of Operating Systems (DFG: LO 1719/3-2)
- In the CADOS project, we investigate scalable methods and tools to deal with the implementation of variability across all implementation layers of modern system software.
- 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.
- 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.
- 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.
- 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.
Teaching and Courses
Awards und Grants
- 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 Uni Erlangen
Publications
Related to PhD Thesis (2019)
2024
-
VLDB
Conference
A*
Cloud-Native Database Systems and Unikernels: Reimagining OS Abstractions for Modern Hardware [Vision] -
Proceedings of the 50th International Conference on Very Large Data BasesVLDB Endowment2024Vision Paper.
PDF Raw Data 10.14778/3659437.3659462 [BibTex]
-
SPLC
Conference
B
Should I Bother? Fast Patch Filtering for Statically-Configured Software Variants -
Proceedings of the 28th ACM International Systems and Software Product Line ConferenceAssociation for Computing Machinery2024.
PDF 10.1145/3646548.3672585 [BibTex]
-
DIMES
Workshop
The New Costs of Physical Memory Fragmentation -
Proceedings of the 2nd Workshop on Disruptive Memory Systems2024Accepted.
[BibTex]
-
WCET
Workshop
The Platin Multi-Target Worst-Case Analysis Tool -
Proceedings of the 22nd International Workshop on Worst-Case Execution Time Analysis (WCET '24)2024Accepted.
[BibTex]
2023
-
ACCESS
Journal
Evaluation and Refinement of an Explicit Virtual-Memory Primitive -
IEEE Access112023.
PDF 10.1109/ACCESS.2023.3338149 [BibTex]
-
ICCAD
Conference
A
Checkpoint Placement for Systematic Fault-Injection Campaigns -
ICCAD '23: Proceedings of the 2023 IEEE/ACM International Conference on Computer-aided designACM Press2023.
PDF Raw Data 10.1109/ICCAD57390.2023.10323809 [BibTex]
-
DIMES
Workshop
Morsels: Explicit Virtual Memory Objects -
Proceedings of the 1st Workshop on Disruptive Memory SystemsAssociation for Computing Machinery2023.
PDF Details Slides 10.1145/3609308.3625267 [BibTex]
-
USENIX
Conference
A
Distinguished Artifact Award
LLFree: Scalable and Optionally-Persistent Page-Frame Allocation -
2023 USENIX Annual Technical Conference (USENIX '23)USENIX Association2023Distinguished Artifact Award.
PDF Details Slides [BibTex]
-
USENIX
Conference
A
MELF: Multivariant Executables for a Heterogeneous World -
2023 USENIX Annual Technical Conference (USENIX '23)USENIX Association2023.
PDF Details [BibTex]
-
LCTES
Conference
B
Thread-Level Attack-Surface Reduction -
Proceedings of the 24th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded SystemsACM Press2023.
PDF Details Slides Video 10.1145/3589610.3596281 [BibTex]
-
SIGMOD
Conference
A*
Virtual-Memory Assisted Buffer Management -
Proceedings of the ACM SIGMOD/PODS International Conference on Management of DataACM2023.
PDF 10.1145/3588687 [BibTex]
-
LCTES
Conference
B
reUpNix: Reconfigurable and Updateable Embedded Systems -
Proceedings of the 24th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded SystemsACM Press2023.
PDF Slides Raw Data 10.1145/3589610.3596273 [BibTex]
2022
-
ICSOFT
Conference
B
Best Student Paper
TASTING: Reuse Test-case Execution by Global AST Hashing -
Proceedings of the 17th International Conference on Software Technologies - ICSOFTSciTePress2022Best Student Paper.
PDF 10.5220/0011139200003266 [BibTex]
-
ISORC
Conference
C
Outstanding Paper Award
PSIC: Priority-Strict Multi-Core IRQ Processing -
Proceedings of the 25th International Symposium on Real-Time Distributed ComputingIEEE Computer Society2022Outstanding Paper Award.
PDF Slides 10.1109/ISORC52572.2022.9812796 [BibTex]
-
SAFECOMP
Conference
B
ACTOR: Accelerating Fault Injection Campaigns using Timeout Detection based on Autocorrelation -
41st International Conference on Computer Safety, Reliability and Security (SAFECOMP 2022)Springer-Verlag2022.
PDF Slides 10.1007/978-3-031-14835-4_17 [BibTex]
-
SAFECOMP
Conference
B
SailFAIL: Model-Derived Simulation-Assisted ISA-Level Fault-Injection Platforms -
41st International Conference on Computer Safety, Reliability and Security (SAFECOMP 2022)Springer-Verlag2022.
PDF Slides 10.1007/978-3-031-14835-4_14 [BibTex]
2021
-
PLOS
Workshop
C
CppSig: Extracting Type Information for C-Preprocessor Macro Expansions -
Proceedings of the 11th SOSP Workshop on Programming Languages and Operating Systems (PLOS '21)ACM2021.
PDF Slides Video Teaser Video Raw Data 10.1145/3477113.3487268 [BibTex]
-
LCTES
Conference
A
Data-Flow–Sensitive Fault-Space Pruning for the Injection of Transient Hardware Faults -
Proceedings 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]
-
LCTES
Artifact
A
Source Code and Evaluation Data for the Paper: Data-Flow–Sensitive Fault-Space Pruning for the Injection of Transient Hardware Faults -
Proceedings of the 2021 ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems (LCTES '21)ACM Press2021.
10.5281/zenodo.4698901 [BibTex]
-
RTAS
Conference
A
ARA: Static Initialization of Dynamically-Created System Objects -
Proceedings of the 27th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'21)2021.
PDF Details Video Teaser Video 10.1109/RTAS52030.2021.00039 [BibTex]
-
Book Chapter
Dependability Aspects in Configurable Embedded Operating Systems -
Dependable Embedded SystemsSpringer2021.
PDF 10.1007/978-3-030-52017-5_4 [BibTex]
2020
-
OSDI
Conference
A*
From Global to Local Quiescence: Wait-Free Code Patching of Multi-Threaded Processes -
14th Symposium on Operating System Design and Implementation (OSDI '20)2020.
PDF Details Video [BibTex]
2019
-
OSPERT
Workshop
B
ARA: Automatic Instance-Level Analysis in Real-Time Systems -
Proceedings of the 15th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT '19)2019.
PDF [BibTex]
-
Thesis
Interaction-Aware Analysis and Optimization of Real-Time Application and Operating System -
PHD thesisLeibniz Universität Hannover2019.
PDF 10.15488/7253 [BibTex]
-
EuroSys
Conference
A
Multiverse: Compiler-Assisted Management of Dynamic Variability in Low-Level System Software -
Fourteenth EuroSys Conference 2019 (EuroSys '19)ACM Press2019.
PDF Slides 10.1145/3302424.3303959 [BibTex]
-
PRDC
Conference
B
Program-Structure–Guided Approximation of Large Fault Spaces -
2019 24th Pacific Rim International Symposium on Dependable Computing (PRDC'19)IEEE Computer Society Press2019.
PDF Slides 10.1109/PRDC47002.2019.00044 [BibTex]
-
RTSS
Conference
A*
RT.js: Practical Real-Time Scheduling for Web Applications -
Proceedings of the 40th IEEE Real-Time Systems Symposium 2019IEEE Computer Society Press2019.
PDF 10.1109/RTSS46320.2019.00017 [BibTex]
-
PLOS
Workshop
B
Wait-Free Code Patching of Multi-Threaded Processes -
Proceedings of the 10th SOSP Workshop on Programming Languages and Operating Systems (PLOS '19)ACM2019.
PDF 10.1145/3365137.3365404 [BibTex]
2018
-
OSPERT
Workshop
B
Best Paper Award
Levels of Specialization in Real-Time Operating Systems -
Proceedings of the 14th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT '18)2018Best Paper Award.
PDF [BibTex]
-
DAC
Conference
A
Cross-Layer Fault-Space Pruning for Hardware-Assisted Fault Injection -
Proceedings of the 55th Annual Design Automation Conference 2018 (DAC '18)ACM Press2018.
PDF Slides Raw Data 10.1145/3195970.3196019 [BibTex]
-
RTSS
Conference
A*
Semi-Extended Tasks: Efficient Stack Sharing Among Blocking Threads -
Proceedings of the 39th IEEE Real-Time Systems Symposium 2018IEEE Computer Society Press2018.
PDF Details Slides Raw Data 10.1109/RTSS.2018.00049 [BibTex]
-
Artifact
Whole-System WCEC Analysis for Energy-Constrained Real-Time Systems (Artifact) -
Dagstuhl Artifacts Series4.2Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik2018.
10.4230/DARTS.4.2.7 [BibTex]
-
ECRTS
Conference
A
Outstanding Paper Award
Whole-System Worst-Case Energy-Consumption Analysis for Energy-Constrained Real-Time Systems -
Proceedings of the 30th Euromicro Conference on Real-Time Systems 2018Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik2018Outstanding Paper Award.
PDF 10.4230/LIPIcs.ECRTS.2018.24 [BibTex]
2017
-
FMCAD
Conference
Automatic Verification of Application-Tailored OSEK Kernels -
Proceedings of the 17th Conference on Formal Methods in Computer-Aided Design (FMCAD '17)ACM Press2017.
PDF 10.23919/FMCAD.2017.8102260 [BibTex]
-
TECS
Journal
A
Demystifying Soft-Error Mitigation by Control-Flow Checking – A New Perspective on Its Effectiveness -
ACM Transactions on Embedded Computing Systems16.5sACM2017.
10.1145/3126503 [BibTex]
-
USENIX
Conference
A
Best Paper Award
cHash: Detection of Redundant Compilations via AST Hashing -
Proceedings of the 2017 USENIX Annual Technical Conference (USENIX '17)USENIX Association2017Best Paper Award.
PDF Details Slides Raw Data [BibTex]
-
LCTES
Conference
A
OSEK-V: Application-Specific RTOS Instantiation in Hardware -
Proceedings of the 2017 ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems (LCTES '17)ACM Press2017.
PDF Raw Data 10.1145/3078633.3078637 [BibTex]
-
ARCS
Conference
Effectiveness of Software-Based Hardening for Radiation-Induced Soft Errors in Real-Time Operating Systems -
Proceedings of the 2017 Conference on Architecture of Computing Systems (ARCS '17)Springer-Verlag2017.
PDF 10.1007/978-3-319-54999-6_1 [BibTex]
-
RTAS
Conference
A
Outstanding Paper Award
SysWCET: Whole-System Response-Time Analysis for Fixed-Priority Real-Time Systems -
Proceedings of the 23rd IEEE International Symposium on Real-Time and Embedded Technology and Applications (RTAS '17)IEEE Computer Society Press2017Outstanding Paper Award.
PDF Raw Data 10.1109/RTAS.2017.37 [BibTex]
2016
-
SQJ
Journal
Experiences with Software-based Soft-Error Mitigation using AN-Codes -
Software Quality Journal24.1Springer US2016.
PDF 10.1007/s11219-014-9260-4 [BibTex]
-
DSPL
Workshop
Function Multiverses for Dynamic Variability -
Foundations and Applications of Self* Systems2016.
PDF [BibTex]
-
GPCE
Conference
B
Towards Scalable Configuration Testing in Variable Software -
Proceedings of the 2016 International Conference on Generative Programming: Concepts and Experiences (GPCE '16)2016.
PDF 10.1145/2993236.2993252 [BibTex]
2015
-
EDCC
Conference
FAIL*: An Open and Versatile Fault-Injection Framework for the Assessment of Software-Implemented Hardware Fault Tolerance -
Proceedings of the 11th European Dependable Computing Conference (EDCC '15)2015.
PDF 10.1109/EDCC.2015.28 [BibTex]
-
LCTES
Conference
A
Cross-Kernel Control-Flow-Graph Analysis for Event-Driven Real-Time Systems -
Proceedings of the 2015 ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems (LCTES '15)ACM Press2015.
PDF Raw Data 10.1145/2670529.2754963 [BibTex]
- Globale Kontrollflussanalyse von eingebetteten Echtzeitsystemen
-
Betriebssysteme 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]
-
OSR
Journal
The dataref versuchung -
ACM SIGOPS Operating Systems Review: Special Issue on Repeatability and Sharing of Experimental ArtifactsACM Press2015.
PDF 10.1145/2723872.2723880 [BibTex]
-
Workshop
dOSEK: Maßgeschneiderte Zuverlässigkeit -
Betriebssysteme und EchtzeitSpringer2015.
10.1007/978-3-662-48611-5_8 [BibTex]
-
RTAS
Conference
A
Best Paper Award
dOSEK: The Design and Implementation of a Dependability-Oriented Static Embedded Kernel -
Proceedings 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]
2014
-
CASES
Conference
A
Team Up: Cooperative Memory Management in Embedded Systems -
Proceedings of the 2014 International Conference on Compilers, Architectures, and Synthesis for Embedded Systems (CASES '14)ACM Press2014.
PDF 10.1145/2656106.2656129 [BibTex]
-
USENIX
Conference
A
Static Analysis of Variability in System Software: The 90,000 #ifdefs Issue -
Proceedings of the 2014 USENIX Annual Technical Conference (USENIX '14)USENIX Association2014.
PDF Raw Data [BibTex]
-
HASE
Conference
B
A Practitioner's Guide to Software-based Soft-Error Mitigation Using AN-Codes -
Proceedings of the 15th IEEE International Symposium on High-Assurance Systems Engineering (HASE '14)IEEE Computer Society Press2014.
PDF 10.1109/HASE.2014.14 [BibTex]
-
ISORC
Conference
C
Effectiveness of Fault Detection Mechanisms in Static and Dynamic Operating System Designs -
Proceedings 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]
2013
-
PRDC
Workshop
dOSEK: A Dependable RTOS for Automotive Applications -
Proceedings of the 19th International Symposium on Dependable Computing (PRDC '13)IEEE Computer Society Press2013Fast abstract.
PDF 10.1109/PRDC.2013.22 [BibTex]
-
MSR
Conference
A
Linux Variability Anomalies: What Causes Them and How Do They Get Fixed? -
Proceedings of the 10th Working Conference on Mining Software Repositories (MSR '13)IEEE Computer Society Press2013.
PDF 10.1109/MSR.2013.6624017 [BibTex]
-
SOBRES
Workshop
Failure by Design: Influence of the RTOS Interface on Memory Fault Resilience -
Proceedings of the 2nd International Workshop on Software-Based Methods for Robust Embedded Systems (SOBRES '13)Gesellschaft für Informatik2013.
PDF [BibTex]
2012
-
STTT
Journal
B
Revealing and Repairing Configuration Inconsistencies in Large-Scale System Software -
International Journal on Software Tools for Technology Transfer (STTT)14.5Springer-Verlag2012.
PDF 10.1007/s10009-012-0225-2 [BibTex]
-
OSR
Journal
Configuration Coverage in the Analysis of Large-Scale System Software -
ACM SIGOPS Operating Systems Review45.3ACM Press2012.
PDF 10.1145/2094091.2094095 [BibTex]
-
SPLC
Conference
A Robust Approach for Variability Extraction from the Linux Build System -
Proceedings of the 16th Software Product Line Conference (SPLC '12)ACM Press2012.
PDF 10.1145/2362536.2362544 [BibTex]
-
AOSD-MISS
Workshop
Understanding Linux Feature Distribution -
Proceedings of the 2nd AOSD Workshop on Modularity in Systems Software (AOSD-MISS '12)ACM Press2012.
PDF 10.1145/2162024.2162030 [BibTex]
2011
-
PLOS
Workshop
B
Configuration Coverage in the Analysis of Large-Scale System Software -
Proceedings of the 6th Workshop on Programming Languages and Operating Systems (PLOS '11)ACM Press2011.
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
Implement the mechanism for Semi-Extended Tasks in dOSEK on IA-32
[PDF]
- Typ
- Bachelorarbeit
- Status
- abgeschlossen
- Supervisors
- Christian Dietrich
Daniel Lohmann - Project
- AHA
Separating Control and Data Stacks with Binary Patching
- Typ
- Bachelorarbeit
- Status
- abgeschlossen
- Supervisors
- Christian Dietrich
Daniel Lohmann
Priority-Obedient Multicore Interrupt Controller
- Typ
- Bachelorarbeit
- Status
- abgeschlossen
- Supervisors
- Christian Dietrich
Daniel Lohmann
Effiziente globale Änderungsanalysen in großen C-Projekten durch Syntaxbaum-Hashing im Clang Compiler
Use the cHash method to quantify the impact of source code changes.
- Typ
- Masterarbeit
- Status
- abgeschlossen
- Supervisors
- Christian Dietrich
Andreas Ziegler
Wolfgang Schröder-Preikschat
Daniel Lohmann - Project
- cHash
Multiverse: Compiler-Assisted Dynamic Variability Management in the Linux Kernel
Use the multiverse compiler plugin to optimize paths in the Linux kernel
[PDF]
- Typ
- Masterarbeit
- Status
- abgeschlossen
- Supervisors
- Christian Dietrich
Andreas Ziegler
Wolfgang Schröder-Preikschat
Daniel Lohmann - Project
- CADOS
- Bearbeiter
- Florian Rommel (abgegeben: 02. Nov 2017)
Avoidance of Redundant Recompilations by Propagation of Semantic Fingerprints
Redundant-compile propagation in the make dependency graph
- Typ
- Bachelorarbeit
- Status
- abgeschlossen
- Supervisors
- Christian Dietrich
Daniel Lohmann - Project
- cHashCADOS
Integration of AST Hashing into the GCC compiler
Implementation and Analysis of a GCC Plugin to calculate an hash value over the abstract syntax tree of a compilation unit.
- Typ
- Bachelorarbeit
- Status
- abgeschlossen
- Supervisors
- Christian Dietrich
Daniel Lohmann - Project
- cHashCADOS
InterSloth: Globales Hardware-gesteuertes Scheduling in einem Multikern-Echtzeitbetriebssystem auf RISC-V
[PDF]
- Typ
- Bachelorarbeit
- Status
- abgeschlossen
- Supervisors
- Gerion Entrup
Christian Dietrich
Daniel Lohmann - Project
- AHA
- Bearbeiter
- Malte Bargholz (abgegeben: 09. Aug 2018)
Measurement-Directed Application of Compiler-Assisted Dynamic Variability Management in the Linux Kernel
- Typ
- Masterarbeit
- Status
- abgeschlossen
- Supervisors
- Florian Rommel
Christian Dietrich
Daniel Lohmann - Project
- CADOS
- Bearbeiter
- Michael Rodin (abgegeben: 01. Oct 2018)
Fault-Space Approximation using Basic-Block Fault Injection
[PDF]
- Typ
- Bachelorarbeit
- Status
- abgeschlossen
- Supervisors
- Oskar Pusz
Christian Dietrich
Daniel Lohmann - Bearbeiter
- Daniel Kiechle (abgegeben: 15. Oct 2018)
Bintail: Binary Level Tailoring of ELF Executables via Feature Selection and Variant Elimination
- Typ
- Masterarbeit
- Status
- abgeschlossen
- Supervisors
- Florian Rommel
Christian Dietrich
Daniel Lohmann - Project
- CADOS
- Bearbeiter
- Felix Herrmann (abgegeben: 01. Nov 2018)
Integration of a Priority-Obedient Interrupt Controller into the Rocket Softcore
- Typ
- Bachelorarbeit
- Status
- abgeschlossen
- Supervisors
- Gerion Entrup
Christian Dietrich
Daniel Lohmann - Project
- AHA
- Bearbeiter
- Matthias Wolf (abgegeben: 01. Nov 2018)
Analyzing and Optimizing TLB-Induced Thread Migration Costs on Linux/ARM
- Typ
- Masterarbeit
- Status
- abgeschlossen
- Supervisors
- Björn Fiedler
Christian Dietrich
Daniel Lohmann - Project
- AHA
- Bearbeiter
- Tobias Landsberg (abgegeben: 21. Nov 2018)
ROS Timestamps for libusb in the Linux Kernel
- Typ
- Bachelorarbeit
- Status
- abgeschlossen
- Supervisors
- Björn Fiedler
Christian Dietrich
Daniel Lohmann - Project
- AHA
Untersuchung von Angriffszenarien aus dem Desktopberreich auf Linux-basierte Infotainmentsysteme im Automobil
Welche Gefahren und Möglichkeiten ergeben sich durch Angriffsroutinen aus dem Desktopbereich für den Einsatz von Automotive Grade Linux (AGL) in automobilen Anwendungen
- Typ
- Bachelorarbeit
- Status
- abgeschlossen
- Supervisors
- Christian Dietrich
Daniel Lohmann - Bearbeiter
- Manuel Krüger (abgegeben: 13. Feb 2019)
Data-Flow Analysis for Fault-Equivalence Set Forming on the ISA Layer
- Typ
- Bachelorarbeit
- Status
- abgeschlossen
- Supervisors
- Oskar Pusz
Christian Dietrich
Daniel Lohmann - Project
- CLASSY-FI
- Bearbeiter
- Zena Obeidi (abgegeben: 01. Mar 2019)
bAUTOSAR: A Javascript Real-Time Abstraction for Improved Website Responsiveness
An OSEK-like real-time abstraction for prioritized execution of Javascript programs.
- Typ
- Bachelorarbeit
- Status
- abgeschlossen
- Supervisors
- Christian Dietrich
Daniel Lohmann - Bearbeiter
- Robin Thrift (abgegeben: 15. Mar 2019)
Schotbruch: Automatisierte Ableitung von Injektionsplattformen für transiente Hardwarefehler aus formalen Prozessormodellen
Use SAIL language to integrate an ISA implementations into a fault injection framework. Different CPU architectures shall be evaluated for reliability.
[PDF]
- Typ
- Masterarbeit
- Status
- abgeschlossen
- Supervisors
- Christian Dietrich
Daniel Lohmann - Project
- CLASSY-FI
- Bearbeiter
- Marcel Budoj (abgegeben: 08. May 2019)
Extending the Linux Kernel for Wait-Free Live Patching of Multi-Threaded Processes
Using virtual address space clones to avoid blocking on a global barrier in live patching situations and implement this mechanism in the Linux kernel.
- Typ
- Masterarbeit
- Status
- abgeschlossen
- Supervisors
- Florian Rommel
Christian Dietrich
Daniel Lohmann - Project
- CADOS
- Bearbeiter
- Lennart Glauer (abgegeben: 20. Nov 2019)
Formalizing the Execution Semantics of the AVR Instruction Set with the Description Language SAIL
Implementing the AVR-processor instruction-set architecture in SAIL for generating emulators automatically.
- Typ
- Bachelorarbeit
- Status
- abgeschlossen
- Supervisors
- Christian Dietrich
Oskar Pusz
Daniel Lohmann - Project
- CLASSY-FI
- Bearbeiter
- Luca Nedaskovskij (abgegeben: 16. Oct 2020)
Transient-Fault Resilience of a Capability-enabled Processor Plattform
Integration of SAIL-based MIPS and CHERI emulators into the FAIL* fault-injection tool and quantitative fault-resilience comparision.
[PDF]
- Typ
- Masterarbeit
- Status
- abgeschlossen
- Supervisors
- Christian Dietrich
Daniel Lohmann - Project
- CLASSY-FI
- Bearbeiter
- Malte Bargholz (abgegeben: 01. Nov 2020)
Pruning of Soft-Error Fault Spaces by Dynamic Register-Usage Tracing in a Formal Instruction-Set Model
In this thesis, the SAIL compiler should be extended to allow the C-emulator to record all dynamic register reads and writes to these state registers. This information should then be integrated into the FAIL* toolchain to inject only those state registers that are actually used by a given executed instruction.
- Typ
- Masterarbeit
- Status
- abgeschlossen
- Supervisors
- Christian Dietrich
Daniel Lohmann - Project
- CLASSY-FI
- Bearbeiter
- Yannick Loeck (abgegeben: 26. May 2021)