{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:12:11Z","timestamp":1750219931739,"version":"3.41.0"},"reference-count":43,"publisher":"Association for Computing Machinery (ACM)","issue":"5","license":[{"start":{"date-parts":[[2024,8,14]],"date-time":"2024-08-14T00:00:00Z","timestamp":1723593600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"EU ECSEL Joint Undertaking","award":["826452"],"award-info":[{"award-number":["826452"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Embed. Comput. Syst."],"published-print":{"date-parts":[[2024,9,30]]},"abstract":"<jats:p>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.<\/jats:p>","DOI":"10.1145\/3579644","type":"journal-article","created":{"date-parts":[[2023,1,11]],"date-time":"2023-01-11T12:02:47Z","timestamp":1673438567000},"page":"1-25","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Supervisory Control for Dynamic Feature Configuration in Product Lines"],"prefix":"10.1145","volume":"23","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1628-8622","authenticated-orcid":false,"given":"Sander","family":"Thuijsman","sequence":"first","affiliation":[{"name":"Eindhoven University of Technology, Eindhoven, The Netherlands"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9283-4074","authenticated-orcid":false,"given":"Michel","family":"Reniers","sequence":"additional","affiliation":[{"name":"Eindhoven University of Technology, Eindhoven, The Netherlands"}]}],"member":"320","published-online":{"date-parts":[[2024,8,14]]},"reference":[{"key":"e_1_3_2_2_2","doi-asserted-by":"publisher","DOI":"10.1109\/wodes.2006.382401"},{"key":"e_1_3_2_3_2","doi-asserted-by":"publisher","DOI":"10.5555\/1373322"},{"key":"e_1_3_2_4_2","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-019-00533-3"},{"key":"e_1_3_2_5_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2019.102344"},{"key":"e_1_3_2_6_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2010.01.001"},{"key":"e_1_3_2_7_2","doi-asserted-by":"publisher","DOI":"10.1007\/11431855_34"},{"key":"e_1_3_2_8_2","volume-title":"Design and Use of Software Architectures: Adopting and Evolving a Product-Line Approach","author":"Bosch Jan","year":"2000","unstructured":"Jan Bosch. 2000. Design and Use of Software Architectures: Adopting and Evolving a Product-Line Approach. ACM Press\/Addison-Wesley Publishing Co., USA."},{"key":"e_1_3_2_9_2","doi-asserted-by":"publisher","DOI":"10.5555\/1942181"},{"key":"e_1_3_2_10_2","doi-asserted-by":"publisher","DOI":"10.1109\/tse.2012.86"},{"key":"e_1_3_2_11_2","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806850"},{"key":"e_1_3_2_12_2","volume-title":"Generative Programming: Methods, Tools, and Applications","author":"Czarnecki Krzysztof","year":"2000","unstructured":"Krzysztof Czarnecki and Ulrich Eisenecker. 2000. Generative Programming: Methods, Tools, and Applications. ACM Press\/Addison-Wesley Publishing Co., USA."},{"key":"e_1_3_2_13_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-57666-4_13"},{"key":"e_1_3_2_14_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.chb.2017.04.026"},{"key":"e_1_3_2_15_2","doi-asserted-by":"publisher","DOI":"10.1049\/iet-sen:20070055"},{"key":"e_1_3_2_16_2","doi-asserted-by":"publisher","DOI":"10.1145\/3461002.3473942"},{"key":"e_1_3_2_17_2","doi-asserted-by":"publisher","DOI":"10.1145\/984622.984677"},{"key":"e_1_3_2_18_2","doi-asserted-by":"publisher","DOI":"10.1109\/tits.2017.2776354"},{"key":"e_1_3_2_19_2","doi-asserted-by":"publisher","DOI":"10.1109\/icmla.2016.0065"},{"key":"e_1_3_2_20_2","doi-asserted-by":"publisher","DOI":"10.1145\/3023956.3023961"},{"key":"e_1_3_2_21_2","first-page":"302","volume-title":"Delta-oriented Software Product Line Test Models - The Body Comfort System Case Study","author":"Lity Sascha","year":"2013","unstructured":"Sascha Lity, Remo Lachmann, Malte Lochau, and Ina Schaefer. 2013. Delta-oriented Software Product Line Test Models - The Body Comfort System Case Study. Technical Report. Technische Universitat Braunschweig. 302 pages. https:\/\/www.isf.cs.tu-bs.de\/cms\/team\/lity\/bcs_tubs_tech_rep_V1_4.pdf."},{"key":"e_1_3_2_22_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2013.11.1096"},{"key":"e_1_3_2_23_2","doi-asserted-by":"publisher","DOI":"10.1109\/tac.2006.875030"},{"key":"e_1_3_2_24_2","doi-asserted-by":"publisher","DOI":"10.3182\/20100830-3-de-4013.00048"},{"key":"e_1_3_2_25_2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-28901-1"},{"key":"e_1_3_2_26_2","doi-asserted-by":"publisher","DOI":"10.1007\/bfb0006306"},{"key":"e_1_3_2_27_2","doi-asserted-by":"publisher","DOI":"10.1137\/0325013"},{"key":"e_1_3_2_28_2","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-020-00314-0"},{"key":"e_1_3_2_29_2","doi-asserted-by":"publisher","DOI":"10.1109\/fdl50818.2020.9232937"},{"key":"e_1_3_2_30_2","doi-asserted-by":"publisher","DOI":"10.1145\/2047862.2047866"},{"key":"e_1_3_2_31_2","doi-asserted-by":"publisher","DOI":"10.1145\/2897053.2897058"},{"key":"e_1_3_2_32_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21347-2_5"},{"key":"e_1_3_2_33_2","first-page":"53","volume-title":"Software Product Lines, 12th International Conference, SPLC 2008, Limerick, Ireland, September 8\u201312, 2008, Proceedings. Second Volume (Workshops)","author":"Shokry Hesham","year":"2008","unstructured":"Hesham Shokry and Muhammad Ali Babar. 2008. Dynamic software product line architectures using service-based computing for automotive systems. In Software Product Lines, 12th International Conference, SPLC 2008, Limerick, Ireland, September 8\u201312, 2008, Proceedings. Second Volume (Workshops), Steffen Thiel and Klaus Pohl (Eds.). Lero Int. Science Centre, University of Limerick, Ireland, 53\u201358."},{"key":"e_1_3_2_34_2","doi-asserted-by":"publisher","DOI":"10.1109\/cdc.2007.4434894"},{"key":"e_1_3_2_35_2","doi-asserted-by":"publisher","DOI":"10.1145\/2593489.2593493"},{"key":"e_1_3_2_36_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-47166-2_59"},{"key":"e_1_3_2_37_2","doi-asserted-by":"publisher","DOI":"10.1109\/tase.2013.2279692"},{"key":"e_1_3_2_38_2","doi-asserted-by":"publisher","DOI":"10.1109\/coase.2019.8843327"},{"key":"e_1_3_2_39_2","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-021-00354-0"},{"key":"e_1_3_2_40_2","volume-title":"Supervisory Controller Synthesis for Dynamic Software Product Lines","author":"Tuitert Mark","year":"2017","unstructured":"Mark Tuitert. 2017. Supervisory Controller Synthesis for Dynamic Software Product Lines. Master\u2019s ThesisEindhoven University of Technology."},{"key":"e_1_3_2_41_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54862-8_48"},{"key":"e_1_3_2_42_2","doi-asserted-by":"publisher","DOI":"10.1109\/case49439.2021.9551412"},{"key":"e_1_3_2_43_2","doi-asserted-by":"publisher","DOI":"10.1109\/models.2015.7338273"},{"key":"e_1_3_2_44_2","doi-asserted-by":"publisher","DOI":"10.1109\/case49439.2021.9551485"}],"container-title":["ACM Transactions on Embedded Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3579644","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3579644","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T17:48:44Z","timestamp":1750182524000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3579644"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,8,14]]},"references-count":43,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2024,9,30]]}},"alternative-id":["10.1145\/3579644"],"URL":"https:\/\/doi.org\/10.1145\/3579644","relation":{},"ISSN":["1539-9087","1558-3465"],"issn-type":[{"type":"print","value":"1539-9087"},{"type":"electronic","value":"1558-3465"}],"subject":[],"published":{"date-parts":[[2024,8,14]]},"assertion":[{"value":"2022-01-07","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2022-12-15","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2024-08-14","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}