Modelování a verifikace paralelních systémů

Poskytovatel

Grantová agentura České republiky

Program

Standardní projekty

Veřejná soutěž

Standardní projekty 14 (SGA02011GA-ST)

Hlavní účastníci

—

Druh soutěže

VS - Veřejná soutěž

Číslo smlouvy

P202-11-0340

Název projektu anglicky

Modelling and verification of parallel systems

Anotace anglicky

For scientific and engineering computations, processing of large data structures, etc., various types of parallel and distributed systems are increasingly used, including parallel supercomputers, networks of computers,  multicore processors, or graphic chips of desktop computers. Design, implementation and verification of parallel systems is a live research area, with many open theoretical and methodological problems.The general goal of this project is to contribute to this area with new theoretical results and practically oriented methods. One of our concrete subgoals is to concentrate on some open problems of automated verification, e.g. those concerning decidability and complexity of behavioural equivalences. Another concrete subgoal is to explore possibilities of modelling parallel algorithms on a suitable level of abstraction; in particular, we have Petri net based formalisms in mind. As one of concrete outcomes of the project, we plan to develop a software tool, based on solid theoretical foundations, which makes modelling, analysis and verification of parallel systems easier.

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

Nové výsledky ve verifikaci paralelních programů. Teoretické výsledky o ekvivalenci pushdown automatů (nové důkazy existujících výsledků a nové výsledky pro určité třídy automatů), plus softwarový nástroj pro implementaci paralelních programů nad MPI po?

Zahájení řešení

1. 1. 2011

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

3 938 tis. Kč

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

3 938 tis. Kč

Ostatní veřejné zdroje financování

0 tis. Kč

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

0 tis. Kč