Automated Dynamic Formation of Component Ensembles
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F17%3A10370377" target="_blank" >RIV/00216208:11320/17:10370377 - isvavai.cz</a>
Result on the web
<a href="http://dx.doi.org/10.5220/0006273705610568" target="_blank" >http://dx.doi.org/10.5220/0006273705610568</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.5220/0006273705610568" target="_blank" >10.5220/0006273705610568</a>
Alternative languages
Result language
angličtina
Original language name
Automated Dynamic Formation of Component Ensembles
Original language description
Smart cyber-physical systems (sCPS) is a growing research field focused on scenarios where a set of autonomous software-hardware entities (components) is cooperating via network communication to achieve a type of swarm or cloud intelligence. Typically the components' cooperation is designed at a low level of abstraction and their behavior validated via simulations. As a remedy, a declarative language capable of specifying high-level component ensembles has been proposed in recent work. By capturing component functionality and the cooperation constraints, a specification serves both for generating platform-specific implementation and as a model@run.time to support self-adaption via dynamic formation of ensembles. However, for a particular specification, multiple possible architectural configurations exist with various impact on the system. Given their typically large number, we select the best one via an SMT solver. In this paper, we show that scalability of such approach can be suppor ted by exploiting the effect of locality in component cooperation and by hoisting specific domain knowledge to the level of architecture.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
—
OECD FORD branch
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Result continuities
Project
—
Continuities
S - Specificky vyzkum na vysokych skolach
Others
Publication year
2017
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development
ISBN
978-989-758-210-3
ISSN
—
e-ISSN
neuvedeno
Number of pages
8
Pages from-to
561-568
Publisher name
SCITEPRESS
Place of publication
Neuveden
Event location
Porto, Portugal
Event date
Feb 19, 2017
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
000413238000059