Formální metody prakticky použitelné pro vývoj systémů složených ze softwarových komponent

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/0770

Název projektu anglicky

Formal methods applicable to development of component-based systems

Anotace anglicky

Software components have already been accepted as the key to handling the growing complexity of computer systems being built. After years of academia-driven research, software components are being adopted by the IT industry in the currently supported development platforms. Yet, to efficiently compose applications from software components, it is essential to have means to verify the correctness of their composition (e.g., to ensure that the behavior of the components is mutually compatible). Formal methods have a strong backing in academic research, and have already been successfully applied in several industrial projects. However, formal methods still impose an extreme overhead in the requirements on specialized knowledge and training to handle them. The goal of this project is to propose and develop a platform for verification of a component-based system at a time when only a prototype of the system is available. The platform will be extensible to support new methods, efficiently solving the

Kategorie VaV

ZV - Základní výzkum

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

U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)

Zhodnocení výsledků projektu

V průběhu práce na projektu byly splněny všechny vytyčené cíle, a výsledky výzkumu byly publikovány ve sbornících mezinárodních konferencí a v mezinárodních časopisech. Zejména byl navržen hierarchický komponentový model SOFA 2, který kromě vlastností ty

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 467 tis. Kč

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

1 467 tis. Kč

Ostatní veřejné zdroje financování

0 tis. Kč

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

0 tis. Kč