Research competencies
Our main area is the resilient design of critical software systems, processes and platforms, including cyber-physical systems. Our main competencies are model-based design, analysis and verification.
Developing critical systems
Methods, techniques and tools to develop model-based critical software and cyber-physical systems and application.
Verification and testing
Applying formal methods and model-based testing to verify and certify functional, reliability, safety and performance requirements.
Empirical system design
Empirical analysis, measurement and scaling of performance and reliability requirements based on qualitative models and fault modelling.
Education and talent care
The research group
Our main area is the design, verification, and analysis of critical software systems. High quality is not only the overarching attribute of our application domains, but it is in our DNA for research and education.
Prof. András Pataricza founded the Fault Tolerant Systems Research Group (ftsrg) in 1994 at the Department of Measurement and Information Systems of BME VIK. In the coming decade, ftsrg evolved into an internationally recognized research group in systems modeling, engineering and verification, participating in more than twenty EU-level R&D collaborative projects. From 2019, we continue the traditions of the first 25 years with a new design and the Critical Systems Research Group name while keeping the same „ftsrg” acronym and enthusiasm.
Projects
Partners
![...](/images/partners/1-incquery-labs-logo.png)
![...](/images/partners/2-quanopt-logo.png)
![...](/images/partners/3-firenze-logo.png)
![...](/images/partners/mcgill-logo.png)
![...](/images/partners/4-coimbra-logo.png)
![...](/images/partners/5-thyssen-logo.png)
![...](/images/partners/6-ericsson-logo.png)
![...](/images/partners/7-cern-logo.png)
![...](/images/partners/8-prolan-logo.png)
![...](/images/partners/9-resiltech-logo.png)
News
The news are shared via social media. Consent to cookies to see them.