Automatizovaná verifikace softwaru

Poskytovatel

Grantová agentura České republiky

Program

Standardní projekty

Veřejná soutěž

Standardní projekty 9 (SGA02006GA-ST)

Hlavní účastníci

—

Druh soutěže

VS - Veřejná soutěž

Číslo smlouvy

201/06/1338

Název projektu anglicky

Automated software verification

Anotace anglicky

The main objective of the project is to create a theoretical and methodological base for computer-aided and automatic verification and validation of software systems. The project aims to support the development of methodologies, technologies and tools ofsoftware engineering in automatic and computer-aided verification. The project is to contribute to the research into new technologies for a realistic modelling of software systems, including real-time systems, especially with respect to their safety. Theaim is to design effective implementations of these models as well as efficient verification technologies based on such models. The project will focus on embedded, distributed and parallel systems. Taking into consideration the complexity of verificationprocesses, the aim is to design methodologies that will make the maximum possible use of new information technologies, such as parallel and distributed computing and hierarchical memories.

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

Hlavní výsledky projektu jsou nové původní metody a techniky pro automatizovanou verifikaci velkých softwarových systémů, s důrazem na praktičnost jejich aplikace na realistické systémy, jejich optimalizace a vytvoření softwarové podpory pro jejich použí

Zahájení řešení

1. 1. 2006

Ukončení řešení

31. 12. 2008

Poslední stav řešení

U - Ukončený projekt

Poslední uvolnění podpory

25. 4. 2008

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

CEP09-GA0-GA-U/02:2

Datum dodání záznamu

22. 10. 2009

Celkové uznané náklady

1 430 tis. Kč

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

1 430 tis. Kč

Ostatní veřejné zdroje financování

0 tis. Kč

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

0 tis. Kč