Přejít na obsah | Přejít na menu

GA102/07/0322 - Pokročilé formální přístupy v návrhu a automatické verifikaci počítačových systémů (2007-2009, GA0/GA)

Údaje o projektu

Identifikační kód

GA102/07/0322

Důvěrnost údajů

S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů

Název v původním jazyce

Pokročilé formální přístupy v návrhu a automatické verifikaci počítačových systémů

Poskytovatel

GA0 - Grantová agentura České republiky (GA ČR)

Program

GA - Standardní projekty (1993-…)

Kategorie VaV

ZV - Základní výzkum

Hlavní obor

JC - Počítačový hardware a software

Vedlejší obor

IN - Informatika

Další vedlejší obor

JD - Využití počítačů, robotika a její aplikace

Zahájení řešení

1.1.2007

Ukončení řešení

31.12.2009

Datum posledního uvolnění účelové podpory

22.4.2009

Číslo smlouvy

102/07/0322

Poslední stav řešení

U - Ukončený projekt, tj. jednoletý nebo víceletý projekt, který skončil v předcházejícím roce, v příslušném roce sběru dat jsou dodány údaje vztahující se k jeho ukončení

Finance projektu

Období	2007	2008	2009	celkem
Výše podpory ze státního rozpočtu	785 tis. Kč	767 tis. Kč	815 tis. Kč	2 367 tis. Kč
Celkové uznané náklady	785 tis. Kč	767 tis. Kč	815 tis. Kč	2 367 tis. Kč
Typ	skutečně čerpané	skutečně čerpané	skutečně čerpané

Druh soutěže

VS - Veřejná soutěž ve výzkumu a vývoji

Veřejná soutěž ve výzkumu, vývoji a inovacích

SGA02007GA-ST - Veřejná soutěž (GA0/GA)

Cíle řešení v původním jazyce

Vysokoúrovňový návrh a formální verifikace jsou jednou z perspektivních cest, jak dosáhnout vyšší spolehlivosti a bezpečnosti počítačových systémů. Předkládaný projekt navazuje na zkušenosti a výsledky řešitelského týmu a na existující spolupráci se špičkovými zahraničními pracovišti a koncipuje základní výzkum takových pokročilých formálních přístupů, vycházejících z teorie systémů, logiky, teoretické informatiky a umělé inteligence, které jsou aplikovatelné v oblastech vysokoúrovňového návrhu a formální verifikace. Předpokládá, že tyto přístupy mohou výrazně pomoci tam, kde metody verifikace založené na hrubé síle selhávají. Projekt zahrnuje výzkum vzájemně se doplňujících metod návrhu založeného na modelech, simulační verifikaci a model checkingu konečně i nekonečně stavových systémů. Jedná se primárně o výzkum nových přístupů, metod a jejich vlastností, možných rozšíření či specializací apod. Metody vyvíjené v projektu budou prototypově implementovány a ověřeny na vhodných případových

Klíčová slova v anglickém jazyce

formal models; simulation verification; formal verification; model checking

Hodnocení výsledků

V - Vynikající výsledky (s mezinárodním významem apod.). Zároveň byly splněny cíle a předpokládané výsledky uvedené ve smlouvě / rozhodnutí o poskytnutí podpory.

Zhodnocení výsledků řešení česky

Byl realizován výzkum nových metod automatizovaného, počítačem podporovaného návrhu a verifikace počítačových systémů s důrazem na maximální využití pokročilých formálních příistupů nabízených matematikou, teoretickou informatikou a umělou inteligencí - k

Rok dodání údajů do CEP

2010

Systémové označení dodávky dat

CEP10-GA0-GA-U/01:1

Datum dodání záznamu

22.12.2011

Účastníci projektu

Počet příjemců

Počet dalších účastníků projektu

Příjemce / Organizační jednotka garantující řešení

Vysoké učení technické v Brně / Fakulta informačních technologií

Řešitel