Inteligentní vestavné systémy, spolehlivost a bezpečnost

Zabýváme se výzkumem v oblasti nových architektur a algoritmů, které jsou vhodné pro realizaci současných výzev (Internet of things, umělá inteligence a strojové učení, koordinace činnosti humanoidních i kolových robotů) s ohledem na splnění řady omezujících podmínek (velikost, rychlost, real-time zpracování, odolnost proti poruchám a útokům i v kritických prostředích a aplikacích, rychlost návrhu, optimalizace poměru cena/výkon). Využíváme rekonfigurovatelné hardwarové i softwarové prostředky (FPGA, mikrokontroléry, procesorová jádra) a navrhujeme vlastní aplikačně specifické procesory (ASIP). Zabýváme se testováním, formální verifikací, modely a výpočty spolehlivostmích ukazatelů.