Budapesti Műszaki és Gazdaságtudományi Egyetem
| bme.hu
Villamosmérnöki és Informatikai Kar
| vik.bme.hu
Méréstechnika és Információs Rendszerek Tanszék
| mit.bme.hu

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

Our courses cover the main topics of designing, analyzing and verifying critical systems

Education

Our courses cover the main topics of designing, analyzing and verifying critical systems

We provide three specializations (Systems and Software 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 international competitions

Talent care

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.

Read more
Every year our students perform remarkably on excellence and research scholarships

Awards and scholarships

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.

Projects

...

SME4DD

Training SMEs for the Digital Decade

The SME4DD project will deliver short-term training programmes in three strategic digital technologies to upskill the workforce of Europe: artificial intelligence, blockchain and cybersecurity. Our research group is responsible for the courses about designing, developing and deploying blockchain technologies.

...

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.

home.partners.title

Partners

Contact <0>{{firstName}} {{lastName}}</0> with questions related to our research group
Current version: https://github.com/ftsrg/ftsrg.github.io/commit/a7d7ffd49fc80e1998df2dd1d0fe789cff7a3629