Supervisory control for dynamic feature configuration in product lines

Sander B. Thuijsman; Michel A. Reniers

doi:10.1145/3579644

Supervisory control for dynamic feature configuration in product lines

Research output: Contribution to journal › Article › Academic › peer-review

3 Citations (Scopus)

68 Downloads (Pure)

Abstract

In this paper a framework 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 controller 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. The solutions are exemplified in the CIF toolset using a model of a coffee machine. A use case of the much larger Body Comfort System product line is performed to showcase feasibility for industrial-sized systems.

Original language	English
Article number	71
Number of pages	25
Journal	ACM Transactions on Embedded Computing Systems
Volume	23
Issue number	5
Early online date	14 Aug 2024
DOIs	https://doi.org/10.1145/3579644
Publication status	Published - Sept 2024

Funding

Research leading to these results has received funding from the EU ECSEL Joint Undertaking under grant agreement no 826452 (project Arrowhead Tools) and from the partners national programs/funding authorities. Research leading to these results has received funding from the EU ECSEL Joint Undertaking under grant agreement n 826452 (project Arrowhead Tools) and from the partners national programs/funding authorities.

Funders	Funder number
Electronic Components and Systems for European Leadership	826452
European Union's Horizon 2020 - Research and Innovation Framework Programme	826452

Keywords

Discrete event systems
feature models
supervisory controller synthesis

Access to Document

10.1145/3579644

pdfFinal published version, 1.94 MB

Cite this

@article{57d308ac6cd64621bf1ea682d0af9c25,

title = "Supervisory control for dynamic feature configuration in product lines",

abstract = "In this paper a framework 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 controller 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. The solutions are exemplified in the CIF toolset using a model of a coffee machine. A use case of the much larger Body Comfort System product line is performed to showcase feasibility for industrial-sized systems.",

keywords = "Discrete event systems, feature models, supervisory controller synthesis",

author = "Thuijsman, \{Sander B.\} and Reniers, \{Michel A.\}",

year = "2024",

month = sep,

doi = "10.1145/3579644",

language = "English",

volume = "23",

journal = "ACM Transactions on Embedded Computing Systems",

issn = "1539-9087",

publisher = "Association for Computing Machinery, Inc.",

number = "5",

}

TY - JOUR

T1 - Supervisory control for dynamic feature configuration in product lines

AU - Thuijsman, Sander B.

AU - Reniers, Michel A.

PY - 2024/9

Y1 - 2024/9

N2 - In this paper a framework 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 controller 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. The solutions are exemplified in the CIF toolset using a model of a coffee machine. A use case of the much larger Body Comfort System product line is performed to showcase feasibility for industrial-sized systems.

AB - In this paper a framework 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 controller 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. The solutions are exemplified in the CIF toolset using a model of a coffee machine. A use case of the much larger Body Comfort System product line is performed to showcase feasibility for industrial-sized systems.

KW - Discrete event systems

KW - feature models

KW - supervisory controller synthesis

UR - https://www.scopus.com/pages/publications/85174807507

U2 - 10.1145/3579644

DO - 10.1145/3579644

M3 - Article

SN - 1539-9087

VL - 23

JO - ACM Transactions on Embedded Computing Systems

JF - ACM Transactions on Embedded Computing Systems

IS - 5

M1 - 71

ER -

Supervisory control for dynamic feature configuration in product lines

Abstract

Funding

Keywords

Access to Document

Other files and links

Fingerprint

Cite this