Usaldusväärsete arvutisüsteemide keskus
Usaldusväärsete arvutisüsteemide keskuse uurimistöö põhisuunad hõlmavad laia teemade ringi digitaalsüsteemide (k.a mitme- ja paljutuumalised süsteemid) projekteerimise, usaldusväärsuse, verifitseerimise ja testimise vallast. Keskus on mitmete üleeuroopaliste aktsioonide eestvedaja, koordineerides Horisont 2020 Marie Skłodowska Curie ITN projekti RESCUE. Uurimisrühm on partneriks Arvutisüsteemide instituudi poolt koordineeritavas teaduse tippkeskuses EXCITE.
Uurimisrühma juht: prof. Jaan Raik
Kompetentsid:
- Digitaaltehnoloogia vananemisprotsesside ja noorendamisstrateegiate uurimine
- Riistvara turve
- Kihiülene usaldusväärsus
- Omaduste kaevandamine
- Diagnostiline testigenereerimine ja mikroprotsessorite test
- Küberfüüsikaliste süsteemide riistvara/tarkvara koossimuleerimine
- Arvutisüsteemide erinevate aspektide koosverifitseerimine
- Rikkesisestusmeetodite optimiseerimine