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.
|Title of host publication||2020 Forum for Specification and Design Languages (FDL)|
|Place of Publication||Kiel, Germany|
|Publisher||Institute of Electrical and Electronics Engineers|
|Number of pages||8|
|Publication status||Published - 3 Nov 2020|