Fault Tolerant Systems Research Group

This modern building of Thales Research at the outskirts of Paris hosted the 2010 October meeting of the WP3 working group of the EU research project SecureChange. Our research group was represented by Gábor Bergmann. Project partners discussed the remaining tasks in the second year of SecureChange, finalized the outline of the upcoming project deliverables, drafted plans on the conceptual and technical integration among partners and work packages, and presented their results to the other WP members. FTSRG showcased accomplishments funded by SecureChange, including the tool EMF-IncQuery and the results of Ábel Hegedüs in the topics of BPEL verification and execution trace back-annotation.

  Read more »

Ákos Horváth, research associate, presented the results of the DIANA project at the 29th AIAA & IEEE Digital Avionics Systems Conference (DASC) conference in Salt Lake City (USA) between October 3. and 7. in 2010. The presented paper deals with model-based development of ARINC653 real-time operating system configuration files with support for end-to-end traceability.

Ábel Hegedüs, PhD student, presented research results of the group at the 8th IEEE International Conference on Software Engineering and Formal Methods (SEFM) conference in Pisa (Italy) between September 13 and 16. 2010. The presented paper deals with back-annotation of simulation traces using model transformation techniques. Apart from the talk, the group was represented with a poster and a tool demo as well.

On September 28th 2010, the 4th International Workshop on Graph Based Tools (GRABATS 2010) will take place in Enschede, Netherlands, co-organized by Dániel Varró and Juan de Lara.  The workshop program will contain a presentation of Ábel Hegedüs, Zoltán Ujhelyi, Ákos Horváth and István Ráth on "Visualization of Traceability Models with Domain-specific Layouting".