Detail produktu
Nástroje pro generování odolných architektur a hlídacích obvodů z jazyka VHDL
Vznik: 2015
Název anglicky
Tools enabling to develop fault tolerant architectures and checkers from VHDL
Typ
software
Licence
Využití výsledku jiným subjektem je v některých případech možné bez nabytí licence
Licenční poplatek
Poskytovatel licence na výsledek nepožaduje licenční poplatek
Autoři
Straka Martin, Ing., Ph.D.
Klíčová slova
nástroj, vhdl, odolná architektura, hlídací obvod
Popis
Nástroje, které pro číslicový systém sestavený z komponent, jež jsou popsané v jazyce VHDL, vygeneruje různé varianty odolných architektur nebo hlídací obvod. Vstupem generátoru architektur je komponenta ve VHDL, výstupem je stejná komponenta implementovaná jako architektura TMR nebo duplex nebo jejich varianty. Vstupem generátoru hlídacích obvodů je popis chování komponenty v definičním jazyku a výstupem VHDL hlídací obvod.
Umístění
Licenční podmínky
Volně šiřitelný software poskytovaný pod licencí GPLv3.
Projekty
Metodiky pro návrh systémů odolných proti poruchám do rekonfigurovatelných architektur - vývoj, implementace a verifikace, MŠMT, COST CZ (2011-2017), LD12036, 2012-2015, ukončen
Výzkumné skupiny
Výzkumná skupina Spolehlivé číslicové systémy (VZ DEPSYS)
Pracoviště
Ústav počítačových systémů
(UPSY)