ftsrg — Critical Systems Research Group

Research competencies

Our main area is the design and development of critical software systems, including smart embedded and cyber-physical systems, business, distributed and blockchain-based applications. Our main goal is to provide tools, algorithms and methods for the development of high-quality systems. Our competencies include model-based software and system design, automatized software development, 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 two specializations (Software 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 international 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, University Research Scholarship 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 Artificial Intelligence and Systems Engineering 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

EDGE-Skills

European Dataspace for Growth and Education - Skills

The EDGE-Skills project's objectives are to develop and deploy innovative cloud to edge services for the educations and skills data space, and make accessible the data space to public and private organisations.

VAMPIR

Verifiable AI/ML techniques for PNT applications

The ESA-funded VAMPIR project develops a verification engine for AI-enhanced Positioning, Navigation, and Timing (PNT) application using graph reasoning. The verification engine is demonstrated on improving the performance of advanced driver assistance systems.

DOSS

Secure-By-Design IoT Operation With Supply Chain Control

The DOSS project aims to create a secure-by-design methodology for improving the security and reliability of IoT operations by introducing an integrated monitoring and validation framework to IoT Supply Chains. FTSRG works on an impact assessment solution for generating security test targets from the aspect of system dependability.