Formal methods applicable to development of component-based systems
Public support
Provider
Czech Science Foundation
Programme
Standard projects
Call for proposals
Standardní projekty 9 (SGA02006GA-ST)
Main participants
—
Contest type
VS - Public tender
Contract ID
201/06/0770
Alternative language
Project name in Czech
Formální metody prakticky použitelné pro vývoj systémů složených ze softwarových komponent
Annotation in Czech
Myšlenka softwarových komponent již byla obecně přijata jako klíčová pro řešení rostoucí složitosti vytvářených softwarových systémů. Po letech výzkumu především na akademické půdě, softwarové komponenty jsou již přijímány IT průmyslem v nyní podporovaných vývojových platformách. Pro v praxi nasaditelné sestavování aplikací z komponent jsou ale nezbytné prostředky na ověření korektnosti takové kompozice (např. zda chování komponent je vzájemně kompatibilní). Formální metody mají silné zázemí v akademickém výzkumu, a byly již úspěšně použité v několika průmyslových projektech. Nicméně, použití formálních metod stále ještě představuje přílišnou zátěž v podobě požadavků na znalosti a schopnosti na jejich zvládnutí. Cílem tohoto projektu je navrhnout a vytvořit platformu umožňující verifikaci komponentového systému použitelnou i ve fázi vývoje, kdy je k dispozici pouze prototyp budoucího systému. Platforma bude rozšiřitelná o podporu pro nové metody, efektivněji řešící výpočetní složitost
Scientific branches
R&D category
ZV - Basic research
CEP classification - main branch
IN - Informatics
CEP - secondary branch
JC - Computer hardware and software
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
During the work on the project, all objectives were successfully fulfilled and the results were published in proceedings of international conferences and workshops. Most importantly, a new hierarchical component model called SOFA 2 has been designed and
Solution timeline
Realization period - beginning
Jan 1, 2006
Realization period - end
Dec 31, 2008
Project status
U - Finished project
Latest support payment
Apr 25, 2008
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
CEP09-GA0-GA-U/02:2
Data delivery date
Oct 22, 2009
Finance
Total approved costs
1,467 thou. CZK
Public financial support
1,467 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
0 thou. CZK