Proceedings paper

Title:
Smart Coordination of Autonomic Component Ensembles in the Context of Ad-Hoc Communication
Authors:
T. Bureš, P. Hnětynka, F. Krijt, V. Matena, F. Plášil
Publication:
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I
Year:
2016
ISBN:
978-3-319-47166-2
Link:

Abstract:
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.

BibTeX:
@inproceedings{bures_smart_2016,
    title = {{Smart Coordination of Autonomic Component Ensembles in the Context of Ad-Hoc Communication}},
    author = {Bures, Tomas and Hnetynka, Petr and Krijt, Filip and Matena, Vladimir and Plasil, Frantisek},
    year = {2016},
    booktitle = {{Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10--14, 2016, Proceedings, Part I}},
    editor = {Margaria, Tiziana and Steffen, Bernhard},
    publisher = {Springer International Publishing},
    location = {Cham},
    doi = {10.1007/978-3-319-47166-2_45},
    isbn = {978-3-319-47166-2},
    pages = {642--656},
    url = {https://doi.org/10.1007/978-3-319-47166-2_45},
}