loading
Documents

Research.Publish.Connect.

Paper

Authors: Filip Krijt ; Zbynek Jiracek ; Tomas Bures ; Petr Hnetynka and Frantisek Plasil

Affiliation: Charles University, Czech Republic

ISBN: 978-989-758-210-3

Keyword(s): Distributed Coordination, Architectural Adaptation, Ensemble-based Component System, Autonomic Systems.

Related Ontology Subjects/Areas/Topics: Applications and Software Development ; Component-Based Software Engineering ; Model-Driven Software Development ; Software Engineering

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

PDF ImageFull Text

Download
Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 54.226.209.201

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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

@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},
}

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

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.