ftsrg — Kritikus Rendszerek Kutatócsoport

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

BSc and MSc thesis works

Student Scientific Reports

Student awards

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.

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.

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...

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

ADVANCE

Addressing 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 Tools

European 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.