Automated Dynamic Formation of Component Ensembles
Identifikátory výsledku
Kód výsledku v 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>
Výsledek na webu
<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>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Automated Dynamic Formation of Component Ensembles
Popis výsledku v původním jazyce
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.
Název v anglickém jazyce
Automated Dynamic Formation of Component Ensembles
Popis výsledku anglicky
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.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
—
OECD FORD obor
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Návaznosti výsledku
Projekt
—
Návaznosti
S - Specificky vyzkum na vysokych skolach
Ostatní
Rok uplatnění
2017
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ů
Údaje specifické pro druh výsledku
Název statě ve sborníku
Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development
ISBN
978-989-758-210-3
ISSN
—
e-ISSN
neuvedeno
Počet stran výsledku
8
Strana od-do
561-568
Název nakladatele
SCITEPRESS
Místo vydání
Neuveden
Místo konání akce
Porto, Portugal
Datum konání akce
19. 2. 2017
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
000413238000059