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
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
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.
SME4DDTraining 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.
Competence CenterSafety Science and Technology Competence Center
BME together with four large enterprises established a Safety Science and Technology Competence Center. Our research group worked with thyssenkrupp to design new methods and tools to make safety critical system development more efficient using model-based engineering and new safety analysis algorithms.