Zur Hauptnavigation / To main navigation

Zur Sekundärnavigation / To secondary navigation

Zum Inhalt dieser Seite / To the content of this page

Sekundärnavigation / Secondary navigation

Inhaltsbereich / Content

Dipl.-Ing. Christian Bartsch

Building/Room: 12-526

Tel:  (+49) (631) 205-2608

Fax: (+49) (631) 205-4782

Email

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.