Techniky automatické verifikace a validace softwarových a hardwarových systémů

Poskytovatel

Akademie věd České republiky

Program

Informační společnost (Národní program výzkumu)

Veřejná soutěž

Informační společnost 2 (SAV02005-IS)

Hlavní účastníci

—

Druh soutěže

VS - Veřejná soutěž

Číslo smlouvy

1ET408050503

Název projektu anglicky

Techniques for automatic verification and validation of software and hardware systems

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 large software and hardware systems. The project aims to support the development of methodologies, technologies and tools of software engineering in automatic and computer-aided verificacion. The project is to contribute to the research into new technologies for a realistic modelling of large systems, including real-time systems and probabilistic systems, especially with respect to their safety. The aim 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 intoconsideration the complexity of verification processes, 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

NV - Neprůmyslový výzkum (aplikovaný výzkum s výjimkou průmyslového)

CEP - hlavní obor

IN - Informatika

CEP - vedlejší obor

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

CEP - další vedlejší obor

BA - Obecná matematika

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>)

10101 - Pure mathematics<br>10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)<br>20206 - Computer hardware and architecture

Hodnocení poskytovatelem

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

Zhodnocení výsledků projektu

Paralelní algoritmy pro základní podúlohy při automatizované verifikaci (detekce akceptujících cyklů v orientovaných grafech, rozklad na silně souvislé komponenty ap.). Vývoj paralelního verifikačního nástroje DiVinE a jeho aplikace.

Zahájení řešení

1. 1. 2005

Ukončení řešení

31. 12. 2009

Poslední stav řešení

U - Ukončený projekt

Poslední uvolnění podpory

11. 3. 2009

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

CEP10-AV0-1E-U/01:1

Datum dodání záznamu

15. 4. 2010

Celkové uznané náklady

9 954 tis. Kč

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

9 954 tis. Kč

Ostatní veřejné zdroje financování

0 tis. Kč

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

0 tis. Kč