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 …

Toward safe and efficient reconfiguration with concerto

M Chardet, H Coullon, S Robillard - Science of Computer Programming, 2021 - Elsevier
For large-scale distributed systems that need to adapt to a changing environment,
conducting a reconfiguration is a challenging task. In particular, efficient reconfigurations …

Madeus: A formal deployment model

M Chardet, H Coullon, D Pertin… - … conference on high …, 2018 - ieeexplore.ieee.org
Distributed software architecture is composed of multiple interacting modules, or
components. Deploying such software consists in installing them on a given infrastructure …

Design process for system of systems reconfigurations

F Petitdemange, I Borne, J Buisson - Systems Engineering, 2021 - Wiley Online Library
Abstract Systems of systems (SoSs) constitute a particular class of systems, whose
constituents are themselves systems in their own right. Such systems present architectures …

Formal methods in dynamic software updating: a survey

R Lounas, M Mezghiche… - International Journal of …, 2019 - inderscienceonline.com
Dymanic software updating (DSU) consists in updating running programs on-the-fly without
any downtime that leads to systems unavailability. The use of DSU in critical applications …

State transfer management in adaptive software: An approach from design to runtime

NT Huynh - 2019 IEEE-RIVF International Conference on …, 2019 - ieeexplore.ieee.org
Dynamic adaptation of software is the change in the structure or behavior of the software at
runtime without stop** whole system. In component-based adaptive software, an …

A formal verification of dynamic updating in a Java-based embedded system

R Lounas, M Mezghiche… - International Journal of …, 2017 - inderscienceonline.com
Dynamic software updating (DSU) consists in updating running programs on the fly without
any downtime. This feature is interesting in critical applications that must run continuously …

Assisting the evolutionary development of SoS with reconfiguration patterns

F Petitdemange, I Borne, J Buisson - Proccedings of the 10th European …, 2016 - dl.acm.org
System of systems (SoS) engineering is an emerging approach to deal with complex
systems that have low or no control over their constituents. An SoS must adapt itself not only …

A development process for building adaptative software architectures

NT Huynh - 2017 - theses.hal.science
Adaptive software is a class of software which is able to modify its own internal structure and
hence its behavior at runtime in response to changes in its operating environment. Adaptive …

Adaptive and reconfigurable software systems and architectures

S Kallel, IB Rodruigez, K Drira - Journal of Systems and Software, 2016 - Elsevier
Adaptation is a key requirement for many software systems, such as cloud-based, cyber-
physical and mobile systems. These systems are designed to satisfy different needs and …