Metody a modely pro ověřování konzistence aplikací založených na pokročilých komponentových modelech

Poskytovatel

Grantová agentura České republiky

Program

Standardní projekty

Veřejná soutěž

Standardní projekty 11 (SGA02008GA-ST)

Hlavní účastníci

—

Druh soutěže

VS - Veřejná soutěž

Číslo smlouvy

201/08/0266

Název projektu anglicky

Methods and models for consistency verification of advanced component-based applications

Anotace anglicky

Component programming has during the recent years taken firm ground, however, new developments and challenges are pushing current component platforms to their limits. The increasing complexity of applications would benefit from more comprehensive component models, service composition approaches need to ensure application consistency through run-time changes in component environment and bindings. The goal of this project is to create advanced component models and methods that would enable buildingcomplexcomponent applications and ensuring their consistency, and to validate their suitability for practical use (using distributed simulation methods and the OSGi platform for reference). Specific aims include the development of hierarchical componentmodelson top of flat component platforms, verification methods based on non-functional and communication specifications with flexibility in correctness evaluation, and enhancements of simulation methods by the use of advanced component models.

Kategorie VaV

ZV - Základní výzkum

CEP - hlavní obor

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

CEP - vedlejší obor

IN - Informatika

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šechny cíle projektu byly naplněny po obsahové i formální stránce, a to zejména na základě dosažení těchto hlavních výsledků identifikace aspektů a abstrakcí důležitých pro vývoj komponentových aplikací jak obecně, tak zejména vestavěných metody verifi?

Zahájení řešení

1. 1. 2008

Ukončení řešení

31. 12. 2010

Poslední stav řešení

U - Ukončený projekt

Poslední uvolnění podpory

1. 4. 2010

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

CEP11-GA0-GA-U/03:3

Datum dodání záznamu

9. 2. 2015

Celkové uznané náklady

2 748 tis. Kč

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

2 748 tis. Kč

Ostatní veřejné zdroje financování

0 tis. Kč

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

0 tis. Kč