Critical Systems Research Group
„Forging technology from science”
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
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
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
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 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
SME4DD
Training SMEs for the Digital DecadeThe 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 - SkillsThe 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.
Partners
