Supervisory Control for Dynamic Feature Configuration in Product Lines

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

1 Citaat (Scopus)
17 Downloads (Pure)

Samenvatting

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.
Originele taal-2Engels
Titel2020 Forum for Specification and Design Languages (FDL)
UitgeverijInstitute of Electrical and Electronics Engineers
Aantal pagina's8
ISBN van elektronische versie978-1-7281-8928-4
ISBN van geprinte versie978-1-7281-8929-1
DOI's
StatusGepubliceerd - 3 nov 2020
Evenement2020 Forum on Specification and Design Languages (FDL 2020) - Kiel, Duitsland
Duur: 15 sep 202017 sep 2020

Congres

Congres2020 Forum on Specification and Design Languages (FDL 2020)
Land/RegioDuitsland
StadKiel
Periode15/09/2017/09/20

Vingerafdruk

Duik in de onderzoeksthema's van 'Supervisory Control for Dynamic Feature Configuration in Product Lines'. Samen vormen ze een unieke vingerafdruk.

Citeer dit