Component-based distributed software reconfiguration: a verification-oriented survey

H Coullon, L Henrio, F Loulergue… - ACM Computing Surveys, 2023 - dl.acm.org
Distributed software built from components has become a mainstay of service-oriented
applications, which frequently undergo reconfigurations to adapt to changes in their …

Supporting microservice evolution

AR Sampaio, H Kadiyala, B Hu… - 2017 IEEE …, 2017 - ieeexplore.ieee.org
Microservices have become a popular pattern for deploying scale-out application logic and
are used at companies like Netflix, IBM, and Google. An advantage of using microservices is …

Dealing with non-functional requirements for adaptive systems via dynamic software product-lines

C Ghezzi, A Molzam Sharifloo - … Engineering for Self-Adaptive Systems II …, 2013 - Springer
This paper focuses on the development of adaptive software, ie, software that can
automatically adapt its behavior at run-time in response to changes in the surrounding …

Automated dependency resolution for dynamic reconfiguration of IEC 61499

L Prenzel, S Steinhorst - 2021 26th IEEE International …, 2021 - ieeexplore.ieee.org
Dynamic reconfiguration and adaptability are crucial features in the evolution from
automation to autonomy of industrial control systems. Component-based systems, such as …

Efficient dynamic updates of distributed components through version consistency

L Baresi, C Ghezzi, X Ma… - IEEE Transactions on …, 2016 - ieeexplore.ieee.org
Modern component-based distributed software systems are increasingly required to offer
non-stop service and thus their updates must be carried out at runtime. Different authors …

Formalizing correctness criteria of dynamic updates derived from specification changes

VP La Manna, J Greenyer, C Ghezzi… - 2013 8th International …, 2013 - ieeexplore.ieee.org
Modern software-intensive systems often have to be updated to adapt to unpredicted
changes in their environments or to satisfy unpredicted requirement changes. Many …

Inferring software component interaction dependencies for adaptation support

N Esfahani, E Yuan, KR Canavera… - ACM Transactions on …, 2016 - dl.acm.org
A self-managing software system should be able to monitor and analyze its runtime behavior
and make adaptation decisions accordingly to meet certain desirable objectives. Traditional …

Resilience and performance quantification of dynamic reconfiguration

S Alhozaimy, DA Menascé, M Albanese - Future Generation Computer …, 2024 - Elsevier
Dynamic reconfiguration is an adaptive resilience mechanism that can help address several
system design problems. Adaptation through dynamic reconfiguration can improve quality of …

Synthesizing dynamically updating controllers from changes in scenario-based specifications

C Ghezzi, J Greenyer… - 2012 7th International …, 2012 - ieeexplore.ieee.org
Many software-intensive systems are expected to run continuously while their environments
change and their requirements evolve, so their implementation must be updated …

Executing reconfigurations in hierarchical component architectures

C Heinzemann, S Becker - Proceedings of the 16th International ACM …, 2013 - dl.acm.org
Mechatronic systems reconfigure the structure of their software architecture, eg, to avoid
hazardous situations or to optimize operational conditions like minimizing their energy …