HADES (Hazard Detection System)

HADES (Hazard Detection System)

software

K využití výsledku jiným subjektem je vždy nutné nabytí licence

Poskytovatel licence na výsledek nepožaduje licenční poplatek

Charvát Lukáš, Ing., Ph.D.
Smrčka Aleš, Ing., Ph.D. (UITS)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)

Microprocessor verification, hazard, RAW, WAW, control hazard, static analysis, formal verification

Hades je verifikační nástroj aktuálně zaměřený na detekci RAW hazardů v mikroprocesorech s jednou zřetězenou linkou. Nástroj kombinuje několik verifikačních přístupů včetně statické analýzy možných hazardů a dynamické analýzy využívající parametrizované systémy. Nástroj očekává na vstupu popis procesoru ve formě grafu popisu procesoru ve formátu VAM.

http://www.fit.vutbr.cz/research/groups/verifit/tools/hades/

Volně šiřitelný software poskytovaný pod licencí GNU GPL v3.

Automatizovaná formální analýza a verifikace programů se složitými datovými a řídicími strukturami s předem neomezenou velikostí, GAČR, Standardní projekty, GA14-11384S, 2014-2016, ukončen
Centrum excelence IT4Innovations, MŠMT, Operační program Výzkum a vývoj pro inovace, ED1.1.00/02.0070, 2011-2015, ukončen
Spolehlivost a bezpečnost v IT, VUT, Vnitřní projekty VUT, FIT-S-14-2486, 2014-2016, ukončen
Verifikace a optimalizace počítačových systémů, VUT, Vnitřní projekty VUT, FIT-S-12-1, 2012-2014, ukončen

Výzkumná skupina automatizované analýzy a verifikace - VeriFIT (VZ VERIFIT)

Ústav inteligentních systémů (UITS)