Model-based Generation of Tests for Dependable Embedded Systems

MOGENTES is a STREP in the 7th EU framework programme

Project ID: ICT-216679
Project Duration: 1.1.2008 - 31.3.2011
Partners: 10 project partners from 6 countries 

AIT Austrian Institute of Technology GmbH
Donau-City-Str. 1
1220 Wien

Dr. Manfred Gruber
+43 (0)50 550 4183

Project Summary:

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.

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).

In particular, MOGENTES aimed at the application of these technologies in large industrial systems, simultaneously enabling application domain experts (with rather little knowledge and experience in usage of formal methods) to use them with minimal learning effort. All in all, MOGENTES increased knowledge and developed new techniques and tools in the area of verification and validation of dependable embedded systems which can be applied in model-based development processes also by non-experts in formal methods.