Dipl.-Ing. Christian Bartsch
Courses
- AdS1 Assignments
Research
The main goal of my research activities is to ensure lifetime fault free operation of HW/SW-Systems in a formal way and using as less resources as possible.
Here the focus is on low-level software (e.g. firmware) used in embedded systems.
The corresponding research topics are:
- Online-Detection, Online-Testing, Online-Checking etc.
- Automated test pattern generation
Related research topics are:
- Fault modelling
- E.g. developing realistic hardware fault faults
- Fault-Injection
- E.g. injecting hardware faults into the processor
- Fault-Analysis
- E.g. analyse how hardware faults influence the program execution
Publications
A HW/SW Crosslayer Approach for Determining Application-Redundant Hardware Faults in Embedded Systems
C. Bartsch, C. Villarraga, D. Stoffel, W. Kunz
Journal of Electronic Testing, vol. 33, no. 1, pp. 77 – 92, 2017.
A HW-dependent software model for cross-layer fault analysis in embedded systems
C. Bartsch, N. Rödel, C. Villarraga, D. Stoffel, W. Kunz.
16th Latin-American Test Symposium (LATS), 2016. Foz do Iguaçu, Brazil.
Efficient SAT/Simulation-based model generation for low-level embedded software
C. Bartsch, C. Villarraga, B. Schmidt, D. Stoffel, W. Kunz.
17th GI/ITG/GMM Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2014, 147-157. Boeblingen, Germany.