Model checking adaptive software with featured transition systems

Maxime Cordy, Andreas Classen, Patrick Heymans, Axel Legay, Pierre Schobbens

Research output: Contribution in Book/Catalog/Report/Conference proceedingChapter

221 Downloads (Pure)


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. © 2013 Springer-Verlag.
Original languageEnglish
Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Subtitle of host publicationPrinciples, Models, and Techniques
EditorsJavier Cámara, Rogério de Lemos, Carlo Ghezzi , Antónia Lopes
Place of PublicationHeidelberg Dordrecht London New York
Number of pages29
ISBN (Electronic)978-3-642-36249-1
ISBN (Print)978-3-642-36248-4
Publication statusPublished - 1 Jan 2013

Publication series

NameLecture Notes in Computer Science


  • Software Product Line
  • Software Product Line Engineering
  • Software verification
  • Model-Checking


Dive into the research topics of 'Model checking adaptive software with featured transition systems'. Together they form a unique fingerprint.

Cite this