Selected Publications

In the automotive domain, control functions (e.g., ACC or brake booster) are mainly validated through road tests by means of performing specific driving maneuvers. In many cases, however, there is only an indirect connection between the inputs at the system level (e.g., position of the brake pedal) and the inputs to a tested component (e.g., negative pressure of a brake booster). In order to validate that a software component was tested sufficiently, engineers have to analyze recorded data after road tests. We present an approach for inferring automata models from such data. These (small) automata are easier to analyze than hours of raw signal data: they exhibit specific states and transitions for different test scenarios, which allow engineers to understand how a function was exercised during a road test. Technically, we generate models in three steps: we (1) identify segments of consistent behavior, (2) classify these segments, and (3) generate automata models from sequences of classified segments. We evaluate the presented approach on speed and acceleration data from a small number of road tests.
In 1st International Workshop on Validating Software Tests (VST 2016) at 23rd IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER 2016), Osaka, Japan.

Recent Publications

  • Towards Inferring Environment Models for Control Functions from Recorded Signal Data

    Details PDF

  • A Test-driven Approach for Model-based Development of Powertrain Functions

    Details PDF Slides

  • Managed and Continuous Evolution of Dependable Automotive Software Systems

    Details

  • Mastering Erosion of Software Architecture in Automotive Software Product Lines

    Details PDF

  • Strukturorientierte Unit-Tests zur Optimierung der Testabdeckung nach ISO 26262

    Details

Projects

  • Slack2IRC Bridge

    Forward messages from a Slack channel to an IRC channel and vice versa.

Teaching

I participated in the following teaching activities at TU Clausthal:

  • Lecturer of the course “Architektur und Modellierung eingebetteter und mobiler Systeme” (Summer 2015, Summer 2016)
  • Supervisor of the seminar “Echtzeitfähigkeit von Softwaresystemen” (Winter 2015)
  • Supervisor of the seminar “Diagnose und Test von Software-Funktionen im Fahrzeug” (Winter 2014, Summer 2015)
  • Lecturer of the course “Modellbasierte Software-Entwicklung und -Architektur für Automotive-Steuergeräte” (Summer 2012, Summer 2013, Summer 2014)
  • Supervisor of the seminar “Konstruktive und analytische Qualitätssicherung” (Summer 2014)
  • Supervisor of the seminar “Testen und Analysieren von Software” (Summer 2011)

I participated in the following teaching activities at TU Braunschweig:

  • Lecturer of the course “Automotive Software Engineering” (Winter 2013)

I supervised the following student works at TU Clausthal:

  1. L. Scholz, Ableitung symbolischer Beschreibungen aus gemessenen Signalverläufen basierend auf einer Fallstudie aus der Automotive-Domäne, Master thesis, Supervised by F. Howar & H. Peters, In progress since June 2016.
  2. J. Beecken, Validierung von Softwarefunktionen in der Automotive-Domäne auf Basis szenariengestützter Signalgenerierung, Bachelor thesis, Supervised by F. Howar & H. Peters, In progress since December 2015.
  3. T. Reetz, Offboard- & Onboard-Diagnose, Seminar thesis, Supervised by H. Peters, Completed in October 2015.
  4. E. Samimi, Modellbasiertes Testen auf Basis von Systemmodellen am Beispiel einer realen Fallstudie aus der Automotive-Domäne, Project thesis, Supervised by H. Peters, Completed in June 2014.
  5. P. Kaptue, Modellbasiertes Testen auf Basis von Anforderungen am Beispiel einer realen Fallstudie aus der Automotive-Domäne, Project thesis, Supervised by H. Peters, Completed in June 2014.
  6. S. Hajiali, Integration von modellbasiertem Testen in bestehende Entwicklungsprozesse in der Automotive-Domäne, Bachelor thesis, Supervised by H. Peters, Completed in April 2014.
  7. D. Herrling, Erweiterbare Automatisierung der Auswertung von Simulationsergebnissen in der Automotive-Domäne, Project thesis, Supervised by H. Peters, Completed in August 2013.
  8. A. Becker, Modellbasierte Systementwicklung und Evaluation eines Validierungsansatzes mit einem Werkzeug aus der Automotive-Domäne, Bachelor thesis, Supervised by L. Märtin (Institute for Programming and Reactive Systems, TU Braunschweig) & H. Peters, Completed in November 2012.
  9. A. Strasser, Modellbasierte Anforderungsspezifikation für Steuergeräte-Software am Beispiel eines Bremskraftverstärkers aus dem Automobilbereich, Master thesis, Supervised by C. Knieke & H. Peters, Completed in May 2012.

Contact