HADES - Hazard Detection System

Název česky

HADES (Hazard Detection System)

Typ

software

Licence

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

Licenční poplatek

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

Autoři

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

Klíčová slova

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

Popis

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.

Umístění

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

Licenční podmínky

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

Projekty

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, zahájení: 2014-01-01, ukončení: 2016-12-31, ukončen
Centrum excelence IT4Innovations, MŠMT, Operační program Výzkum a vývoj pro inovace, ED1.1.00/02.0070, zahájení: 2011-01-01, ukončení: 2015-12-31, ukončen
Spolehlivost a bezpečnost v IT, VUT, Vnitřní projekty VUT, FIT-S-14-2486, zahájení: 2014-01-01, ukončení: 2016-12-31, ukončen
Verifikace a optimalizace počítačových systémů, VUT, Vnitřní projekty VUT, FIT-S-12-1, zahájení: 2012-01-01, ukončení: 2014-12-31, ukončen

Výzkumné skupiny

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

Pracoviště

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