Smart Coordination of Autonomic Component Ensembles in the Context of Ad-Hoc Communication

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F16%3A10331995" target="_blank" >RIV/00216208:11320/16:10331995 - isvavai.cz</a>

Výsledek na webu

<a href="http://dx.doi.org/10.1007/978-3-319-47166-2_45" target="_blank" >http://dx.doi.org/10.1007/978-3-319-47166-2_45</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1007/978-3-319-47166-2_45" target="_blank" >10.1007/978-3-319-47166-2_45</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Smart Coordination of Autonomic Component Ensembles in the Context of Ad-Hoc Communication

Popis výsledku v původním jazyce

Smart Cyber-Physical Systems (sCPS) are complex distributed decentralized systems that typically operate in an uncertain environment and thus have to be resilient to both network and individual node failures. At the same time, sCPS are commonly required to exhibit complex smart coordination while being limited in terms of resources such as network. However, optimizing network usage in a general sCPS coordination framework while maintaining the system function is complex. To better enable this, we allow incorporating key network parameters and constraints into the architecture, realized as an extension of the autonomic component ensembles paradigm. We show that when chosen well, these parameters make it possible to improve network resource usage without hampering the system utility too much. We demonstrate the parameter selection on a mobile gossip-based sCPS coordination scenario and use simulation to show the impact on overall system utility.

Název v anglickém jazyce

Smart Coordination of Autonomic Component Ensembles in the Context of Ad-Hoc Communication

Popis výsledku anglicky

Smart Cyber-Physical Systems (sCPS) are complex distributed decentralized systems that typically operate in an uncertain environment and thus have to be resilient to both network and individual node failures. At the same time, sCPS are commonly required to exhibit complex smart coordination while being limited in terms of resources such as network. However, optimizing network usage in a general sCPS coordination framework while maintaining the system function is complex. To better enable this, we allow incorporating key network parameters and constraints into the architecture, realized as an extension of the autonomic component ensembles paradigm. We show that when chosen well, these parameters make it possible to improve network resource usage without hampering the system utility too much. We demonstrate the parameter selection on a mobile gossip-based sCPS coordination scenario and use simulation to show the impact on overall system utility.

Druh

D - Stať ve sborníku

CEP obor

JC - Počítačový hardware a software

OECD FORD obor

—

Projekt

<a href="/cs/project/LD15051" target="_blank" >LD15051: Chytré kyber-fyzikální systémy realizované pomocí ansámblů autonomních softwarových komponent</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>S - Specificky vyzkum na vysokych skolach<br>I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2016

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 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)

ISBN

978-3-319-47165-5

ISSN

0302-9743

e-ISSN

—

Počet stran výsledku

15

Strana od-do

642-656

Název nakladatele

SPRINGER INT PUBLISHING AG

Místo vydání

Cham

Místo konání akce

Corfu, Greece

Datum konání akce

10. 10. 2016

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

WRD - Celosvětová akce

Kód UT WoS článku

000389939100045