@inproceedings{2f0231f6cacb4b8f8e79d9ba2a224958,
title = "Model checking adaptive software with featured transition systems",
abstract = "We propose to see adaptive systems as systems with highly dynamic features. We model as features both the reconfigurations of the system, but also the changes of the environment, such as failure modes. The resilience of the system can then be defined as the fact that the system can select an adequate reconfiguration for each possible change of the environment. We must take into account that reconfiguration is often a major undertaking for the system: it has a high cost and it might make functions of the system unavailable for some time. These constraints are domain-specific. In this paper, we therefore provide a modelling language to describe these aspects, and a property language to describe the requirements on the adaptive system. We design algorithms that determine how the system must reconfigure itself to satisfy its intended requirements.",
author = "Maxime Cordy and Andreas Classen and Patrick Heymans and Axel Legay and Schobbens, {Pierre Yves}",
year = "2013",
month = feb,
day = "4",
doi = "10.1007/978-3-642-36249-1_1",
language = "English",
isbn = "978-3-642-36248-4",
series = "Lecture Notes in Computer Science",
publisher = "Springer Publishing Company",
pages = "1--29",
editor = "Javier C{\'a}mara and Lemos, {Rog{\'e}rio de} and Carlo Ghezzi and Ant{\'o}nia Lopes",
booktitle = "Assurances for Self-Adaptive Systems",
address = "United States",
note = "ESEC/FSE 2011 Workshop on Assurances for Self-Adaptive Systems ; Conference date: 01-09-2011",
}