Supervisory Control for Dynamic Feature Configuration in Product Lines

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

8 Downloads (Pure)


In this paper a method for engineering supervisory controllers for product lines with dynamic feature configuration is proposed. The variability in valid configurations is described by a feature model. Behavior of system components is achieved using (extended) finite automata and both behavioral and dynamic configuration constraints are expressed by means of requirements as is common in supervisory control theory. Supervisory control synthesis is applied to compute a behavioral model in which the requirements are adhered to. For the challenges that arise in this setting, multiple solutions are discussed. Some of these solutions are exemplified in the ClF tool set using a wiper system model.
Original languageEnglish
Title of host publication2020 Forum for Specification and Design Languages (FDL)
Place of PublicationKiel, Germany
PublisherInstitute of Electrical and Electronics Engineers
Number of pages8
ISBN (Electronic)978-1-7281-8928-4
ISBN (Print)978-1-7281-8929-1
Publication statusPublished - 3 Nov 2020

Fingerprint Dive into the research topics of 'Supervisory Control for Dynamic Feature Configuration in Product Lines'. Together they form a unique fingerprint.

Cite this