Methods and models for consistency verification of advanced component-based applications
Public support
Provider
Czech Science Foundation
Programme
Standard projects
Call for proposals
Standardní projekty 11 (SGA02008GA-ST)
Main participants
—
Contest type
VS - Public tender
Contract ID
201/08/0266
Alternative language
Project name in Czech
Metody a modely pro ověřování konzistence aplikací založených na pokročilých komponentových modelech
Annotation in Czech
Komponentové technologie jsou již pevnou součástí softwarového inženýrství, nicméně ocitají se na hranicích možností při použití v nových aplikacích. Jejich rostoucí složitost vyžaduje komplexnější komponentové modely, a v architekturách založených na skládání služeb je obtížné zajistit konzistenci aplikace za přítomnosti změn rozhraní a vazeb komponent za běhu. Cílem tohoto projektu je navrhnout pokročilé komponentové modely a metody, které umožní tvorbu složitých aplikací a zajištění jejich konzistence, a ověřit praktickou použitelnost pomocí vhodných aplikací (distribuovaná simulace, platforma OSGi). Mezi konkrétní cíle patří vývoj hierarchického modelu postaveného na jednoúrovňové základní technologii; návrh metod verifikace využívajícíchspecifikaci mimofunkčních vlastností, komunikačních protokolů a pružného vyhodnocení kompatibility; a vytvoření simulační architektury využívající vlastností pokročilých komponentových modelů.
Scientific branches
R&D category
ZV - Basic research
CEP classification - main branch
JC - Computer hardware and software
CEP - secondary branch
IN - Informatics
CEP - another secondary branch
—
OECD FORD - equivalent branches <br>(according to the <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">converter</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
Completed project evaluation
Provider evaluation
U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)
Project results evaluation
The goals of the project were attained concerning both the factual and formal aspects. We have achieved the following most significant contributions identification of aspects and abstractions which are key to the development of component applications, both on the general level and specifically for embedded systems methods of component behaviour and substitutability verification using models e
Solution timeline
Realization period - beginning
Jan 1, 2008
Realization period - end
Dec 31, 2010
Project status
U - Finished project
Latest support payment
Apr 1, 2010
Data delivery to CEP
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data delivery code
CEP11-GA0-GA-U/03:3
Data delivery date
Feb 9, 2015
Finance
Total approved costs
2,748 thou. CZK
Public financial support
2,748 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
0 thou. CZK