MOGENTES - MOdel-based GENeration of Tests for Embedded Systems

MOGENTES aimed at significantly enhancing testing and verification of dependable embedded systems by means of automated generation of test cases relying on development of new approaches as well as innovative integration of state-of-the-art techniques.

Driven by the needs of its industrial partners, it addressed both testing of non-functional issues like reliability, e.g. by fault injection, and functional safety tests, meeting the requirements of standards such as IEC 61508, ISO WD 26262, or AUTOSAR. For generating test to assess functional safety, fault- or mutation-based approaches were applied, which also allow systematic search for (implementation) faults.

MOGENTES successfully demonstrated that different domains with a wide variety of requirements can significantly benefit from a common model-based approach for achieving automated generation of efficient test cases and for verifying system safety correctness using formal methods and fault injection. This approach increases system development productivity while achieving predictable system dependability properties. For that purpose, proof-of concept demonstrations show the applicability of the developed technologies in two application domains: railway and automotive (on- and off-road).

Facts:

  • Project duration: January 2008 - March 2011
  • Coordination: AIT
  • Budget: € 4.4 million
  • Funding: € 3.1 million from the EU
  • Partner: Audi, Thales Austria, Re:LAB, Prolan, Prover Technologies, TU Graz, Budapest University of Technology and Economics, University of Oxford, SP Technical Research Institute of Sweden

Links