Formální metody pro analýzu a verifikaci komplexních systémů

Poskytovatel

Grantová agentura České republiky

Program

Standardní projekty

Veřejná soutěž

Standardní projekty 13 (SGA02010GA-ST)

Hlavní účastníci

—

Druh soutěže

VS - Veřejná soutěž

Číslo smlouvy

P202-10-1469

Název projektu anglicky

Formal methods for analysis and verification of complex systems

Anotace anglicky

Formal verification utilizes mathematical methods for proving that a system satisfies desired properties. Verification methods are usually tailored for a specific class of systems characterized by some inherent property such as randomness, non-deterministic choice, real-time constraints, etc. However, real-world systems are usually complex and these features must be taken into account simultaneously. The project aims at designing new verification and analytical methods for systems that combine randomization with other behavioural aspects, such as non-deterministic choice, real-time, interaction, etc. A special emphasis is put on infinite-state systems. Various formal models of such systems will be investigated, including stochastic games with real-time, probabilistic pushdown automata, counter systems, description languages for communication protocols, etc. The project also aims at designing new specification formalism for such systems, and establishing the decidability and complexity results for thecorresponding verification problems.

Kategorie VaV

ZV - Základní výzkum

CEP - hlavní obor

IN - Informatika

CEP - vedlejší obor

—

CEP - další vedlejší obor

—

OECD FORD - odpovídající obory <br>(dle <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">převodníku</a>)

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Hodnocení poskytovatelem

V - Vynikající výsledky projektu (s mezinárodním významem atd.)

Zhodnocení výsledků projektu

Daný projekt se zabýval formálními vlastnostmi stochastických systémů se spojitým časem a nekonečně stavových stochastických procesů a her. Projekt se podařilo plnit podle plánu a všechny cíle byly splněny. Projekt vyprodukoval úctyhodné množství a kval?

Zahájení řešení

1. 1. 2010

Ukončení řešení

31. 12. 2014

Poslední stav řešení

U - Ukončený projekt

Poslední uvolnění podpory

31. 3. 2014

Důvěrnost údajů

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

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

CEP15-GA0-GA-U/01:1

Datum dodání záznamu

22. 5. 2015

Celkové uznané náklady

7 332 tis. Kč

Výše podpory ze státního rozpočtu

7 332 tis. Kč

Ostatní veřejné zdroje financování

0 tis. Kč

Neveřejné tuz. a zahr. zdroje finan.

0 tis. Kč