ez itt az index

Critical systems – ftsrg

Activity of the research group:

Our main area is the design of resilient critical systems, processes and platforms, including cyber-physical and distributed ledger systems. Our main competencies are model-based design, analysis and verification.

Recent results:

Recent projects:

EU Digital: EDGE-Skills • EU Digital: SME4DD • EIT Digital: ProtectME • ITEA4 EUREKA: OpenSCALING • H2020 RISE: ADVANCE • VKE: Prolan • MTA Lendület

International relations:

University of Firenze • Univ. Of Coimbra • NASA JPL • McGill University • Linköping University

Industrial partners:

thyssenkrupp • Ericsson • IncQuery Labs • Knorr-Bremse • Prolan