EU - MBAT - Combined Model-based Analysis and Testing of Embedded Systems

  • Lorber, Florian Lukas, (Teilnehmer (Co-Investigator))
  • Tiran, Stefan, (Teilnehmer (Co-Investigator))
  • Aichernig, Bernhard (Projektleiter (Principal Investigator))

Projekt: Foschungsprojekt



At the moment, Europe is leader in the area of high-quality embedded systems. To boost and further extend this leading position, effective and efficient technologies for developing and validating embedded systems are of utmost importance. One of the most important enablers to assure the requested quality of embedded systems is the application of powerful validation and verification (V&V) technologies accompanying the embedded systems development process. Unfortunately, the V&V technologies already in industrial use are still too expensive while often not effective enough. MBAT will provide Europe with a new leading-edge Reference Technology Platform for effective and cost-reducing validation and verification, focussing primarily on transportation domain, but also to be used in further domains. Developed by European industrial key players (large companies and SMEs) in this domain and supported by leading research partners, this MBAT RTP will be of high value for the European industry, providing very effective means to assure utmost quality embedded systems at reduced costs. With this, MBAT will also strongly support the EU vision of zero traffic fatalities by 2020. As this project is clearly industrial-driven it will be assured that the MBAT RTP will provide solutions for real-life development challenges existing in the European industry as this is also the goal of ARTEMIS projects.
Tatsächlicher Beginn/ -es Ende1/11/1131/10/14


  • 8 Beitrag in einem Konferenzband
  • 3 Artikel
  • 1 Sonstiger Bericht
  • 1 Masterarbeit

Require, test, and trace IT

Aichernig, B. K., Hörmaier, K., Lorber, F. L., Nickovic, D. & Tiran, S., 29 Nov 2016, in : International journal on software tools for technology transfer.

Publikation: Beitrag in einer FachzeitschriftArtikel

Killing strategies for model-based mutation testing

Aichernig, B., Brandl, H., Jöbstl, E., Krenn, W., Schlick, R. & Tiran, S., 2015, in : Software testing, verification & reliability. 25, 8, S. 716-748

Publikation: Beitrag in einer FachzeitschriftArtikel

Model-Based Mutation Testing via Symbolic Refinement Checking

Aichernig, B., Jöbstl, E. & Tiran, S., 2015, in : Science of computer programming. 97, Part 4, S. 383-404

Publikation: Beitrag in einer FachzeitschriftArtikel