Software Components in Embedded Systems: Development and Verification
Project goals
The project aims at development of new original methods an techniques for developing and verification of applications from reusable components, with emphasis on embedded applications, optimizing these techniques to make them sufficiently efficient, and providing software support to use them. The project will provide as its outcome a methodology for developing embedded applications from reusable components, methods and tools for specification and formal description of components systems, methods and tools for formal verification of corectness of applications composed of these components, anda prototype implementation of the proposed component system for development of embedded systems.
Keywords
componentsystemsembeddedsystemsformalverificationdevelopmentsoftwarecomponents
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
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
Basic information
Recognised costs
8 149 CZK thou.
Public support
8 149 CZK thou.
100%
Provider
Czech Science Foundation
CEP
IN - Informatics
Solution period
01. 01. 2011 - 31. 12. 2013