A Decade of Featured Transition Systems

Maxime Cordy, Xavier Devroey, Axel Legay, Gilles Perrouin, Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Jean-François Raskin

Research output: Chapter in Book/Conference proceedings/Edited volumeChapterScientificpeer-review


Variability-intensive systems (VIS) form a large and heterogeneous class of systems whose behaviour can be modified by enabling or disabling predefined features. Variability mechanisms allows the adaptation of software to the needs of their users and the environment. However, VIS verification and validation (VV) is challenging: the combinatorial explosion of the number of possible behaviours and undesired feature interactions are amongst such challenges. To tackle them, Featured Transitions Systems (FTS) were proposed a decade ago to model and verify the behaviours of VIS. In an FTS, each transition is annotated with a combination of features determining which variants can execute it. An FTS can model all possible behaviours of a given VIS. This compact model enabled us to create efficient VV algorithms taking advantage of the behaviours shared amongst features resulting in a reduction of the VV effort by several orders of magnitude. In this paper, we will cover the formalism, its applications and sketch promising research directions.
Original languageEnglish
Title of host publicationFrom Software Engineering to Formal Methods and Tools, and Back.
EditorsMaurice H. ter Beek, Alessandro Fantechi, Laura Semini
Place of PublicationCham
Number of pages28
ISBN (Electronic)978-3-030-30985-5
ISBN (Print)978-3-030-30984-8
Publication statusPublished - 9 Nov 2019

Publication series

NameLecture Notes in Computer Science


  • Variability-intensive systems
  • Modeling
  • Model-checking
  • Testing


Dive into the research topics of 'A Decade of Featured Transition Systems'. Together they form a unique fingerprint.

Cite this