ez itt az index

Kritikus rendszerek – ftsrg

A kutatócsoport tevékenysége:

Fő területünk a kritikus informatikai rendszerek, folyamatok és platformok szolgáltatásbiztonságra tervezése, ideértve a kiberfizikai és informatikai infrastruktúrákat, alkalmazásokat. Alapvető metodikánk a modellalapú tervezés, analízis és helyességbizonyítás.

Eredmények:

A közelmúlt projektjei:

EIT Digital: ProtectME • EIT Digital: Blockchain Professional School • ITEA3 EUREKA: EMBrACE • H2020 RISE: ADVANCE • H2020 ECSEL: Arrowhead Tools • VKE: Prolan • MTA Lendület

Nemzetközi kapcsolatok:

University of Firenze • Univ. Of Coimbra • NASA JPL • McGill University

Vállalati partnerek:

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