Tool integration

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. Read more »

MOGENTES meeting in Graz

The 3 year MOGENTES project reaches its end, the last but one meeting was held in Graz, on Dec 2-3, 2010. The goal of the meeting was the evaluation of the results achieved so far, and the elaboration of the final demonstrator applications. The research group was represented by Balázs Polgár. Read more »

Syndicate content