Výzkumná skupina Spolehlivé číslicové systémy

2015

GPDRC: Řadič částečné dynamické rekonfigurace pro odolné architektury, software
Autoři: Straka Martin, Kaštil Jan

Nástroje pro generování odolných architektur a hlídacích obvodů z jazyka VHDL, software
Autoři: Straka Martin

2013

intMAN: Prioritně řízený a na monitorování a adaptaci na zatížení založený hardware pro správu přerušení ve vestavných událostmi řízených systémech reálného času, prototyp
Autoři: Strnadel Josef, Šimek Václav

2008

TASTE: Soubor prostředků pro analýzu testovatelnosti, software
Autoři: Strnadel Josef

2007

Generátor testovacích obvodů na úrovni RTL, software
Autoři: Pečenka Tomáš, Kotásek Zdeněk

Nástroje pro rozdělení obvodu na RT úrovni na Testovatelné bloky, software
Autoři: Herrman Tomáš, Kotásek Zdeněk

Sada nástrojů pro analýzu testovatelnosti obvodů na úrovni RTL, software
Autoři: Škarvada Jaroslav, Kotásek Zdeněk