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 条
  • [11] Feature modularity in software product lines
    Batory, Don
    SPLC 2006: 10th International Software Product Line Conference, Proceedings, 2006, : 230 - 230
  • [12] Heuristic and Exact Algorithms for Product Configuration in Software Product Lines
    Pereira, Juliana Alves
    Maciel, Lucas
    Noronha, Thiago F.
    Figueiredo, Eduardo
    SPLC'18: PROCEEDINGS OF THE 22ND INTERNATIONAL SYSTEMS AND SOFTWARE PRODUCT LINE CONFERENCE, VOL 1, 2018, : 247 - 247
  • [13] Constraint Checking in Distributed Product Configuration of Multi Product Lines
    Holl, Gerald
    Gruenbacher, Paul
    Elsner, Christoph
    Klambauer, Thomas
    Vierhauser, Michael
    2013 20TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2013), VOL 1, 2013, : 347 - 354
  • [14] Heuristic and exact algorithms for product configuration in software product lines
    Pereira, Juliana Alves
    Maciel, Lucas
    Noronha, Thiago F.
    Figueiredo, Eduardo
    INTERNATIONAL TRANSACTIONS IN OPERATIONAL RESEARCH, 2017, 24 (06) : 1285 - 1306
  • [15] Dynamic software product lines
    Hallsteinsen, Svein
    Hinchey, Mike
    Park, Sooyong
    Schmid, Klaus
    COMPUTER, 2008, 41 (04) : 93 - 95
  • [16] Feature Selection Optimization in Software Product Lines
    Afzal, Uzma
    Mahmood, Tariq
    Khan, Ayaz H.
    Jan, Sadeeq
    Rasool, Raihan Ur
    Qamar, Ali Mustafa
    Khan, Rehan Ullah
    IEEE ACCESS, 2020, 8 (08): : 160231 - 160250
  • [17] Flexible feature binding in software product lines
    Rosenmueller, Marko
    Siegmund, Norbert
    Apel, Sven
    Saake, Gunter
    AUTOMATED SOFTWARE ENGINEERING, 2011, 18 (02) : 163 - 197
  • [18] Flexible feature binding in software product lines
    Marko Rosenmüller
    Norbert Siegmund
    Sven Apel
    Gunter Saake
    Automated Software Engineering, 2011, 18 : 163 - 197
  • [19] Quantifying maintainability in feature oriented product lines
    Aldekoa, Gentzane
    Trujillo, Salvador
    Sagardui, Goiuria
    Diaz, Oscar
    CSMR 2008: 12TH EUROPEAN CONFERENCE ON SOFTWARE MAINTENANCE AND REENGINEERING: DEVELOPING EVOLVABLE SYSTEMS, 2008, : 243 - +
  • [20] Optimal feature configuration for dynamic malware detection
    Escudero Garcia, David
    DeCastro-Garcia, Noemi
    COMPUTERS & SECURITY, 2021, 105
12345