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
Our courses cover the main topics of designing, analyzing and verifying critical systems
We provide three specializations (Systems and Sofware Engineering at BSc, Critical Systems at MSc) and more than 12 courses for interested students.Read more
Talent care is our top priority; our students are awarded regularly on national student competitions
Our students participate in many innovative projects, from which new scientific results, open-source tools or industry collaborations emerge.Read more
Every year our students perform remarkably on excellence and research scholarships
Research visits, Rector’s Award, New National Excellence Programme, National Higher Education Scholarship, University and Faculty Scholarships...Read more
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.
ADVANCEAddressing V&V Challenges in Future CPS
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. The project runs for 4 years, and its total budget is € 657 800.
Arrowhead ToolsEuropean investment for Digitalisation Leadership
With the participation of BME TMIT and ftsrg, the „Arrowhead Tools” H2020 ECSEL project has started, which is the largest European industrial digitalization and automation R&D project. The project has more than 80 partners including AITIA, evopro Innovation and IncQuery Labs.