Component-based Distributed Software Reconfiguration:A Verification-oriented Survey

Distributed software built from components has become a mainstay of service-oriented applications, which frequently undergo reconfigurations to adapt to changes in their operating environment or their functional requirements. Given the complexity of distributed software and the adverse effects of in...

Full description

Saved in:
Bibliographic Details
Published in:ACM computing surveys 2024-01, Vol.56 (1), p.1-37, Article 2
Main Authors: Coullon, Héléne, Henrio, Ludovic, Loulergue, Frédéric, Robillard, Simon
Format: Article
Language:English
Subjects:
Computer Science
Formal method
Hardware
Reconfigurable logic and FPGAs
Reconfiguration
Software
Software and its engineering
Software verification
Citations: Items that this one cites
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Distributed software built from components has become a mainstay of service-oriented applications, which frequently undergo reconfigurations to adapt to changes in their operating environment or their functional requirements. Given the complexity of distributed software and the adverse effects of incorrect reconfigurations, a suitable methodology is needed to ensure the correctness of reconfigurations in component-based systems. This survey gives the reader a global perspective over existing formal techniques that pursue this goal. It distinguishes different ways in which formal methods can improve the reliability of reconfigurations, and lists techniques that contribute to solving each of these particular scientific challenges.
ISSN:0360-0300
1557-7341
DOI:10.1145/3595376