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

Result code in 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>
Result on the web
<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>

Result language
angličtina
Original language name
Smart Coordination of Autonomic Component Ensembles in the Context of Ad-Hoc Communication
Original language description
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.
Czech name
—
Czech description
—

Project
<a href="/en/project/LD15051" target="_blank" >LD15051: Smart Cyber-Physical Systems via Ensembles of Autonomous Software Components</a><br>
Continuities
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

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

Article name in the collection
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
—
Number of pages
15
Pages from-to
642-656
Publisher name
SPRINGER INT PUBLISHING AG
Place of publication
Cham
Event location
Corfu, Greece
Event date
Oct 10, 2016
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
000389939100045

Similar results(10)