Super visor y Control for Dynamic Feature Configuration in Product Lines

被引：2
|
作者：
Thuijsman, Sander [1 ]
Reniers, Michel [1 ]
机构：
[1] Eindhoven Univ Technol, POB 513, NL-5600 MB Eindhoven, Netherlands
来源：
ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS | 2024年 / 23卷 / 05期
关键词：
Discrete event systems; supervisory controller synthesis; feature models; SUPERVISORY CONTROL SYNTHESIS;
D O I：
10.1145/3579644
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
In this paper a framework for engineering super visor y 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 super visor y control theor y. Super visor y 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.
引用
收藏
页数：25
相关论文
共 50 条
  • [21] Development and configuration of service-based product lines
    Gruler, Alexander
    Harhurin, Alexander
    Hartmann, Judith
    SPLC 2007: 11TH INTERNATIONAL SOFTWARE PRODUCT LINE CONFERENCE, PROCEEDINGS, 2007, : 107 - 116
  • [22] Guaranteeing Configuration Validity in Evolving Software Product Lines
    Nieke, Michael
    Seidl, Christoph
    Schuster, Sven
    TENTH INTERNATIONAL WORKSHOP ON VARIABILITY MODELLING OF SOFTWARE-INTENSIVE SYSTEMS (VAMOS 2016), 2016, : 73 - 80
  • [23] Feature Model to Product Architectures: Applying MDE to Software Product Lines
    Perovich, Daniel
    Rossel, Pedro O.
    Cecilia Bastarrica, Maria
    2009 JOINT WORKING IEEE/IFIP CONFERENCE ON SOFTWARE ARCHITECTURE AND EUROPEAN CONFERENCE ON SOFTWARE ARCHITECTURE, 2009, : 201 - 210
  • [24] An approach to managing feature dependencies for product releasing in software product lines
    Lee, Yuqin
    Yang, Chuanyao
    Zhu, Chongxiang
    Zhao, Wenyun
    REUSE OF OFF-THE-SHELF COMPONENTS, PROCEEDINGS, 2006, 4039 : 127 - 141
  • [25] Tailoring Dynamic Software Product Lines
    Rosenmueller, Marko
    Siegmund, Norbert
    Pukall, Mario
    Apel, Sven
    GPCE 11: PROCEEDINGS OF THE TENTH INTERNATIONAL CONFERENCE ON GENERATIVE PROGRAMMING AND COMPONENT ENGINEERING, 2011, : 3 - 12
  • [26] Building Dynamic Software Product Lines
    Hinchey, Mike
    Park, Sooyong
    Schmid, Klaus
    COMPUTER, 2012, 45 (10) : 22 - 26
  • [27] Tailoring Dynamic Software Product Lines
    Rosenmueller, Marko
    Siegmund, Norbert
    Pukall, Mario
    Apel, Sven
    ACM SIGPLAN NOTICES, 2012, 47 (03) : 3 - 12
  • [28] Evolution in dynamic software product lines
    Quinton, Clement
    Vierhauser, Michael
    Rabiser, Rick
    Baresi, Luciano
    Gruenbacher, Paul
    Schuhmayer, Christian
    JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS, 2021, 33 (02)
  • [29] Dynamic product structure configuration specification management
    Salonen, Niko Ville
    PROCEEDINGS OF NORDDESIGN 2006 CONFERENCE, 2006, : 120 - 127
  • [30] Quality attribute modeling and quality aware product configuration in software product lines
    Zhang, Guoheng
    Ye, Huilin
    Lin, Yuqing
    SOFTWARE QUALITY JOURNAL, 2014, 22 (03) : 365 - 401
12345