Fault Tolerant Systems Research Group

Spanning from 27 June to 1 July, the Swiss Federal Institute of Technology Zürich (ETH) hosted the newest installment of the TOOLS Conference Series. This scientific event of world-wide importance encompassed four conferences (ICMT, TAP, SC, TOOLS Europe) and eight tematic workshops.

ICMT 2011, held at 27-28 June, featured a paper on the topic of EMF-IncQuery by researchers from our group. The corresponding talk was given by Gábor Bergmann on 27 June, and was received with interest, sparking debate that pointed towards interesting new research directions. Read more »

  This week in Rome, the SecureChange EU research project had one of the most important meetings of its third year, preceded by a lesser scale industrial validation event.

  On Monday and Tuesday, DeepBlue consulting&research invited project members involved in the Air Traffic Management (ATM) case study to its Rome office, where relevant results of the project were presented in front of industrial experts with air traffic and flight security backgrounds. One of the showcased prototypes was the SeCMER tool of work package WP3, based on the EMF-IncQuery technology developed at our research group. The interactive programme of the workshop, aiming to gather industrial feedback, provided valuable operational experience. Our department was represented by Gábor Bergmann at this event. Read more »

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 »

Zoltán Micskei and Dr. Balázs Polgár have presented an overview about model based testing and the results of the MOGENTES EU FP7 project at the IIR Technical Conference "Software Testing - Interactive Forum" held in Budapest with strong industrial participation. The new model based test case generation tools developed in the MOGENTES project have been outlined and the experiences gained during their application to industrial automotive and railway demonstrators have been summarized.