Vývoj a verifikace softwarových komponent v zapouzdřených systémech

Název projektu anglicky
Software Components in Embedded Systems: Development and Verification
Anotace anglicky
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.

Kategorie VaV
ZV - Základní výzkum
CEP - hlavní obor
IN - Informatika
CEP - vedlejší obor
—
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)

Hodnocení poskytovatelem
U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)
Zhodnocení výsledků projektu
Projekt přinesl řadu výsledků v oblasti návrhu a verifikace komponentových systémů; nové algoritmy byly rovněž implementovány v prototypovém verifikačním nástroji. Některé práce byly publikovány na předních konferenčních fórech v oblasti softwarových ar?

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
CEP14-GA0-GA-U/01:1
Datum dodání záznamu
1. 7. 2014

Podobné projekty(10)