Property networks allowing oracle-based mode-change propagation in hierarchical components

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F12%3A10124289" target="_blank" >RIV/00216208:11320/12:10124289 - isvavai.cz</a>

Nalezeny alternativní kódy

RIV/67985807:_____/12:00382721

Výsledek na webu

<a href="http://dl.acm.org/citation.cfm?id=2304753" target="_blank" >http://dl.acm.org/citation.cfm?id=2304753</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1145/2304736.2304753" target="_blank" >10.1145/2304736.2304753</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Property networks allowing oracle-based mode-change propagation in hierarchical components

Popis výsledku v původním jazyce

Strong pressure on deployment of embedded control systems on a low-cost hardware leads to the need of optimizing software architectures to minimize resource demands. Nevertheless, releasing the resources not needed in specific phases of system executionis only rarely supported by todays component frameworks, mainly since information about the system state is spread over several components, which makes the idea hard to implement. The paper introduces a formal model of property networks allowing for efficient capture of modifications of architecture-relevant information and shows, how this model can be used to employ the concept of modes for system architectures in hierarchical component systems.

Název v anglickém jazyce

Property networks allowing oracle-based mode-change propagation in hierarchical components

Popis výsledku anglicky

Strong pressure on deployment of embedded control systems on a low-cost hardware leads to the need of optimizing software architectures to minimize resource demands. Nevertheless, releasing the resources not needed in specific phases of system executionis only rarely supported by todays component frameworks, mainly since information about the system state is spread over several components, which makes the idea hard to implement. The paper introduces a formal model of property networks allowing for efficient capture of modifications of architecture-relevant information and shows, how this model can be used to employ the concept of modes for system architectures in hierarchical component systems.

Druh

D - Stať ve sborníku

CEP obor

IN - Informatika

OECD FORD obor

—

Projekt

Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>S - Specificky vyzkum na vysokych skolach

Rok uplatnění

2012

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering

ISBN

978-1-4503-1345-2

ISSN

—

e-ISSN

—

Počet stran výsledku

9

Strana od-do

93-102

Název nakladatele

ACM

Místo vydání

New York, NY, USA

Místo konání akce

Bertinoro, Italy

Datum konání akce

26. 6. 2012

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—