Realistická aplikace formálních metod v komponentových systémech

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

1ET400300504

Název projektu anglicky

Realistic application of formal methods in component systems

Anotace anglicky

The project supports component-based application development by combining components with formal behavior description and by designing tools for automated checking of the architecture of applications composed of components with formal behavior description. The project aims to design and implement a functional prototype of a platform for formal verification of component application properties, and to propose and test methods for verification of software components and component applications using this platform. The platform will be open to the emerging methods of formal verification and code analysis, and used to test the suitability and applicability of these methods, especially with respect to model checking. The work on the formal verification methods will focus on identifying approaches to make the existing verification tools more efficient, especially in a distributed environment.

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

—

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

Projekt navrhl, prototypově implementoval a na případových studiích ověřil nové metody formální verifikace vlastností modelů a implementace komponentových systémů založené na formalismech interagujících automatů a rozšířených protokolů chování.

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

12 881 tis. Kč

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

12 881 tis. Kč

Ostatní veřejné zdroje financování

0 tis. Kč

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

0 tis. Kč