| | |
|---|
| Údaje o projektu |
| Identifikační kód | GP201/09/P497 |
| Důvěrnost údajů | S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů |
| Název česky | Automatizovaná formální verifikace s využitím soudobého hardware |
| Poskytovatel | GA0 - Grantová agentura České republiky (GA ČR) |
| Program | GP - Postdoktorandské granty (1998-) |
| Kategorie VaV | ZV - Základní výzkum |
| Hlavní obor | IN - Informatika |
| Zahájení řešení | 1.1.2009 |
| Ukončení řešení | 31.12.2011 |
| Číslo smlouvy | 201/09/P497 |
| Poslední stav řešení | Z - Začínající víceletý projekt, tj. takový, že začíná v příslušném roce sběru dat, bude řešen i následujícím roce a v příslušném roce sběru dat jsou na něj poskytnuty finanční prostředky |
| Finance projektu | |
| Období | 2009 | 2010 | 2011 | za celou dobu řešení |
|---|
| Výše podpory ze státního rozpočtu | 189 tis. Kč | 214 tis. Kč | 169 tis. Kč | 572 tis. Kč |
| Celkové uznané náklady | 189 tis. Kč | 214 tis. Kč | 169 tis. Kč | 572 tis. Kč |
| Typ | přidělené | plánované | plánované | předpokládané |
|
| Druh soutěže | VS - Veřejná soutěž ve výzkumu a vývoji |
| Veřejná soutěž ve výzkumu, vývoji a inovacích | SGA02009GA1PD - Veřejná soutěž (GA0/GP) |
| Cíle řešení česky | V rámci projektu bude navrhovatel provádět základní výzkum v oblasti formální verifikace a analýzy počítačových, biologických a pravděpodobnostních systémů s využitím soudobých výpočetních prostředků. Motivací pro projekt je evidentní nepřipravenost existujících nástrojů automatizované formální verifikace pro efektivní využití více-jádrových CPU, systémů s extrémně rychlou externí pamětí (SSD disky) či systémů s distribuovanou pamětí. Výstupem projektu budou publikace v mezinárodních časopisech nebona odpovídajících mezinárodních konferencích. |
| Klíčová slova v anglickém jazyce | formal verification; LTL model-checking; multi-threaded application |
| Rok dodání údajů do CEP | 2009 |
| Systémové označení dodávky dat | CEP09-GA0-GP-R/01:1 |
| Účastníci projektu |
| Počet příjemců | 1 |
| Počet spolupříjemců | 0 |
| Příjemce / Organizační jednotka garantující řešení | Masarykova univerzita / Fakulta informatiky |
| Řešitel | RNDr. Jiří Barnat, Ph.D. (státní příslušnost: CZ - Česká republika; tel.: 549 493 507; fax: 549 491 820) |
| Výsledky projektu v RIV |
| Počet výsledků v RIV | 0 |
