Automated Dynamic Formation of Component Ensembles - Taking Advantage of Component Cooperation Locality

Filip Krijt, Zbynek Jiracek, Tomas Bures, Petr Hnetynka, Frantisek Plasil

2017

Abstract

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 supported by exploiting the effect of locality in component cooperation and by hoisting specific domain knowledge to the level of architecture.

Paper Citation

in Harvard Style

Krijt F., Jiracek Z., Bures T., Hnetynka P. and Plasil F. (2017). Automated Dynamic Formation of Component Ensembles - Taking Advantage of Component Cooperation Locality . In Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-210-3, pages 561-568. DOI: 10.5220/0006273705610568

in Bibtex Style

@conference{modelsward17,
author={Filip Krijt and Zbynek Jiracek and Tomas Bures and Petr Hnetynka and Frantisek Plasil},
title={Automated Dynamic Formation of Component Ensembles - Taking Advantage of Component Cooperation Locality},
booktitle={Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2017},
pages={561-568},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006273705610568},
isbn={978-989-758-210-3},
}

in EndNote Style

TY - CONF
JO - Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - Automated Dynamic Formation of Component Ensembles - Taking Advantage of Component Cooperation Locality
SN - 978-989-758-210-3
AU - Krijt F.
AU - Jiracek Z.
AU - Bures T.
AU - Hnetynka P.
AU - Plasil F.
PY - 2017
SP - 561
EP - 568
DO - 10.5220/0006273705610568