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

Service

I did some services to the research community:

  • Subreviewing for the 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), April 2017, Uppsala, Sweden.
  • Subreviewing for the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), October 2016, Corfu, Greece.
  • Subreviewing for the 40th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), March 2014, Verona, Italy.

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, Completed in December 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, Completed in October 2016.
  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.

Projects

jMDFLib

Java library for reading MDF files

Blog

yet another personal blog

Slack2IRC Bridge

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

Contact