Successful close of MOGENTES project

The MOGENTES ('Model-based Generation of Tests for Dependable Embedded Systems') consortium successfully presented the results achieved during its three years to the reviewers and to the EU officier on May 26, 2011 and was characterized as an "excellent project" .

Our group contributed to the success with the followings: integration of UPPAAL based test case generation for real-time systems with UML modelling, development of general tool integration framework, coordination of the integration of different tools into a coherent test generation framework, ontology based verification of models and determination of model metrics to tailor the test case generation process.

The project was led by dr. István Majzik on behalf of BME and main contributors were dr. Balázs Polgár and dr. Gergely Pintér.

The review meeting was hosted by the research centrum of Ford in Cologne. In the final review meeting BME was represented by dr. Balázs Polgár and Dr. András Pataricza.

The reviewers especially appreciated that as a result of the work performed in the project Model based testing and Model based test case generation methods became highly recommended on higher safety integrity levels in the IEC 61508 standard (which regulates the development of safety-critical systems).