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 the Critical Systems Research Group name while keeping the same „ftsrg” acronym and enthusiasm.
Critical Systems Research Group (ftsrg)
Research keywords:
· software engineering
· systems engineering
· formal verification
· proof of correctness
· testing
· safety-critical systems
· autonomous vehicles
· dependability
· model-driven development
· blockchain
· data analysis
H-1117 Budapest, Magyar tudósok körútja 2., Building I, Room B.419.
+3614633594
Introduction of 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 the Critical Systems Research Group name while keeping the same „ftsrg” acronym and enthusiasm.
Watch our 3-minute introductory video:
Achievements
- Verification of critical systems: we developed efficient methods and open-source tools to verify the functional correctness of state machine-based models or source code. Industrial case studies include CERN, NASA JPL
- Assessing blockchain systems: we benchmarked the performance of distributed ledgers, and developed methods to assess the reliability of blockchain systems using fault injection
- Scalable graph generation: we created scalable methods and tools to generate diverse, consistent and realistic graph models. The tool can be used to test complex modeling environments or ADAS functions and autonomous vehicles. The method was presented at the ICSE conference, the most prestigious software engineering event
- Safety and hazard analysis: we designed new algorithms and tools to analyze the safety of vehicle and railway control systems. We regularly perform standard based safety assessment of the development of railway control software
Publications
K. Marussy, O. Semeráth, D. Varró. Automated Generation of Consistent Graph Models with Multiplicity Reasoning. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 48:5 (2022) DOI: https://doi.org/10.1109/TSE.2020.3025732B. Graics, V. Molnár, A. Vörös, I. Majzik, D. Varró. Mixed-Semantics Composition of Statecharts for the Component-Based Design of Reactive Systems. SOFTWARE AND SYSTEMS MODELING 19 pp. 1483-1517. (2020)
DOI: https://doi.org/10.1007%2Fs10270-020-00806-5
Á. Hajdu, N. Ivaki, I. Kocsis, A. Klenik, L. Gonczy, N. Laranjeiro, H. Madeira, A. Pataricza. Using Fault Injection to Assess Blockchain Systems in Presence of Faulty Smart Contracts. IEEE ACCESS 8 pp. 190760-190783. (2020) DOI: https://doi.org/10.1109%2FACCESS.2020.3032239
Á. Hajdu, Z. Micskei. Efficient Strategies for CEGAR-Based Model Checking. JOURNAL OF AUTOMATED REASONING 64 pp. 1051-1091. (2020) DOI: https://doi.org/10.1007%2Fs10817-019-09535-x
L. Bajczi, A. Vörös, V. Molnár. Will My Program Break on This Faulty Processor?: Formal Analysis of Hardware Fault Activations in Concurrent Embedded Software. ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS 18 : 5s Paper: 89 (2019) DOI: https://doi.org/10.1145%2F3358238
Awards
Academy Youth Award: Dr. Oszkár Semeráth (2021)10-year Most Influential Paper Award, Int. J. Software and System Modeling: Dr. Zoltán Micskei (2021)
Master Teacher Gold Medal: Dr. András Vörös (2021), Dr. István Majzik (2011), Prof. Dániel Varró (2009), Prof. András Pataricza (1997)
Academy Award: Prof. András Pataricza (2020)
10-year Most Influential Paper Award, MODELS conference: Dr. GáborBergmann, Dr. Ákos Horváth, Dr. István Ráth, Prof. Dániel Varró, Dr. András Balogh, Zoltán Balogh and András Ökrös (2020)
Journals
IEEE Transactions on Software Engineering InternationalJournal on Software and Systems Modeling (SoSyM)
Information and Software Technology
ACM Transactions on Embedded Computing
Projects
Addressing Verification and Validation Challenges in Future CPS (ADVANCE), 2019-2024, EU H2020 RISE 823788Environment for model-based rigorous adaptive co-design and operation of CPS (EMBRACE), 2020-2022, EU ITEA3 18039
Arrowhead Tools for Engineering of Digitalisation Solutions Vezető kutató (Arrowhead Tools), 2019-2022, EU H2020 ECSEL 823788
Protecting Operational Technologies of Medium Enterprises from Cyber Risks (PrOTectME), 2021, EIT Digital
Safety Sceince and Technology Competence Center, 2021-2023, NKFIH
Industry relations
Automotive: thyssenkrupp Hungary, Railway: Prolan, Knorr-Bremse HungarySpace: EnduroSat
Blockchain: Central Bank of Hungary
Digitalization: IncQuery Group
Conferences
33rd International Symposium on Distributed Computing (DISC), Budapest (Hungary)15-17 October 2019, Prof. András Pataricza and Dr. Zoltán Micskei, General Chair and General Co-Chair
14th International Workshop on Software Engineering for Resilient Systems (SERENE), Zaragoza (Spain)
12-15 September 2022, Dr. Imre Kocsis, Organising Committee
Other activities
Hungarian Young Academy, member: Dr. Zoltán Micskei (2022-2027)Blockchain Coalition, executive committee member: Prof. András Pataricza (2022-)