Critical Systems Research Group

The research activity of the Critical Systems Research Group (formerly Fault Tolerant Systems Group | ftsrg) extends over the following main fields.

Developing critical systems: methods and tools for model-based development of critical and cyber-physical systems.
Verification and testing: application of formal methods and model-based testing to verify functional and extra-functional (dependability, performance, safety) properties of critical services and systems.
Empirical systems design: analysing performance and dependability requirements, benchmarking and fault modeling.
The successful R&D activity of the group is hallmarked by involvement in the following recent or on-going projects: Addressing Verification and Validation Challenges in Future Cyber-Physical Systems (ADVANCE, 2019-2022), Reconfigurable ROS-based Resilient Reasoning Robotic Cooperating Systems (R5-COP, 2014-2017), Scalable Modelling and Model Management on the Cloud (MONDO, 2014-2016), CErtification of CRItical Systems (CECRIS, 2013-2016), Guaranteed Component Assembly with Round Trip Analysis for Energy Efficient High-integrity Multi-core systems (CONCERTO, 2013-2016), and host of the MTA-BME “Lendület” 2015 Research Group on Cyber-Physical Systems.

Active and recent industrial collaboration of the group includes thyssenkrupp, Ericsson, Prolan, IncQueryLabs, Quanopt and CERN.