| Attributes | Values |
|---|
| rdf:type
| |
| Description
| - 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. (en)
- 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ů. (cs)
|
| Title
| - Vývoj a verifikace softwarových komponent v zapouzdřených systémech (cs)
- Software components in embedded systems: development and verification (en)
|
| http://linked.open...vai/cislo-smlouvy
| |
| http://linked.open...avai/druh-souteze
| |
| http://linked.open...domain/vavai/faze
| |
| http://linked.open...vavai/hlavni-obor
| |
| http://linked.open...i/hlavni-ucastnik
| |
| http://linked.open...vavai/id-aktivity
| |
| http://linked.open.../vavai/id-souteze
| |
| http://linked.open...n/vavai/kategorie
| |
| http://linked.open...vai/klicova-slova
| - component systems; embedded systems; formal verification; development of software components (en)
|
| http://linked.open...avai/konec-reseni
| |
| http://linked.open...nujicich-prijemcu
| |
| http://linked.open...avai/poskytovatel
| |
| http://linked.open...avai/start-reseni
| |
| http://linked.open...ai/statni-podpora
| |
| http://linked.open...vavai/typProjektu
| |
| http://linked.open...ai/uznane-naklady
| |
| http://linked.open...ai/pocet-prijemcu
| |
| http://linked.open...cet-spoluprijemcu
| |
| http://linked.open...ai/pocet-vysledku
| |
| http://linked.open...ku-zverejnovanych
| |
| is http://linked.open...ain/vavai/projekt
of | |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)