Fault Tolerant Systems Research Group

The “Addressing Verification and Validation Challenges in Future Cyber-Physical Systems” (ADVANCE) H2020 RISE research project has started this year with the participation of researchers from our research group working on the challenges of future cyber-physical systems.

Our research group recently collaborated with the Linked Data Benchmark Council (LDBC) organisation. The goal of LDBC, a non-profit organisation, is to define standard benchmarks for graph analytical and graph query systems. LDBC positions itself in a similar role for graph processing systems which the Transaction Processing Performance Council (TPC) has been fulfilling for relational databases since the early 1990s.

Within the framework of the project "Empirical evaluation of robustness in cloud systems by advanced analytical methods" of "Hungarian-Portuguese cooperation on Science & Technology" Frederico Cerveira, PhD student of Universidade de Coimbra is staying with our department for two weeks.

The project examines the error resilience of cloud computing by following and analysing the propagation of artificially injected faults. Read more »

We are glad to inform that the paper A Graph Solver for the Automated Generation of Consistent Domain-Specific Models co-authored by Oszkár Semeráth, András Szabolcs Nagy and Dániel Varró got accepted at the ICSE 2018 conference.  Read more »