Číslicový návrh a spolehlivost (DDD)

Zabýváme se výzkumem a vývojem aplikací v oblasti číslicového návrhu zaměřeného zejména na oblast vestavných systémů, tzn. metodologií návrhu zařízení s ohledem na řadu omezujících požadavků jako je velikost, rychlost, testovatelnost, spolehlivost a odolnost proti poruchám i útokům. Výzkum zaměřujeme i na teoretické problémy, formální verifikaci a vhodné způsoby modelování umožňující predikci požadovaných parametrů. Pro konkrétní praktické projekty a experimentální ověřování dílčích výsledků máme k dispozici specializované laboratoře s potřebným přístrojovým vybavením, rekonfigurovatelnými hardwarovými prostředky (FPGA, SoC), humanoidní i průmyslové roboty a potřebné návrhové prostředky.

Více o nás