Software Components in Embedded Systems: Development and Verification
Public support
Provider
Czech Science Foundation
Programme
Standard projects
Call for proposals
Standardní projekty 14 (SGA02011GA-ST)
Main participants
—
Contest type
VS - Public tender
Contract ID
P202-11-0312
Alternative language
Project name in Czech
Vývoj a verifikace softwarových komponent v zapouzdřených systémech
Annotation in Czech
Navrhovaný projekt se zaměřuje na návrh nových, originálních metod a technik pro vývoj a verifikace aplikací vytvořených z opakovaně použitelných komponet, s důrazem na aplikace v oblasti zapouzdřených systémů. Metody a techniky jsou optimalizovány tak,aby jejich použití bylo dostatečně efektivní a jejich užití je podporováno softwarovými nástroji. Konkrétními výstupy projektu budou především metodologie pro vývoj zapouzdřených aplikací na bázi opakovaně použitelných komponent, metody a nástroje pre specifikaci a formální deskripci komponentových systémů, metody a nástroje pro formální verifikaci správnosti aplikací vytvořených z výše popsaných komponent a prototypová implementace navrženého komponentového systému pro vývoj zapouzdřených systémů.
Scientific branches
R&D category
ZV - Basic research
CEP classification - main branch
IN - Informatics
CEP - secondary branch
—
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)
Completed project evaluation
Provider evaluation
U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)
Project results evaluation
The project has brought a number of results in the area of design and verification of component-based systems; new algorithms were also implemented in a prototype verification tool. Some works were published at the top conferences in the area of softwarearchitectures (WICSA, CBSE) and in the area of verification (CAV, Concur), and also in solid international journals.
Solution timeline
Realization period - beginning
Jan 1, 2011
Realization period - end
Dec 31, 2013
Project status
U - Finished project
Latest support payment
Jun 7, 2013
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
CEP14-GA0-GA-U/01:1
Data delivery date
Jul 1, 2014
Finance
Total approved costs
8,149 thou. CZK
Public financial support
8,149 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
0 thou. CZK