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 条
  • [31] Quality attribute modeling and quality aware product configuration in software product lines
    Guoheng Zhang
    Huilin Ye
    Yuqing Lin
    Software Quality Journal, 2014, 22 : 365 - 401
  • [32] Bio-Inspired Mechanisms for Coordinating Multiple Instances of a Service Feature in Dynamic Software Product Lines
    Lee, Jaejoon
    Whittle, Jon
    Storz, Oliver
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2011, 17 (05) : 670 - 683
  • [33] An approach for managing a distributed feature model to evolve self-adaptive dynamic software product lines
    Moritani, Bruno Iizuka
    Lee, Jaejoon
    21ST INTERNATIONAL SYSTEM & SOFTWARE PRODUCT LINE CONFERENCE (SPLC 2017), VOL 2, 2017, : 107 - 110
  • [34] A tutorial on feature oriented programming and product-lines
    Department of Computer Sciences, University of Texas at Austin, Austin, TX 78712, United States
    Proc Int Conf Software Eng, (753-754):
  • [35] A tutorial on feature oriented programming and product-lines
    Batory, D
    25TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, PROCEEDINGS, 2003, : 753 - 754
  • [36] Towards Predicting Feature Defects in Software Product Lines
    Queiroz, Rodrigo
    Berger, Thorsten
    Czarnecki, Krzysztof
    PROCEEDINGS OF THE 7TH INTERNATIONAL WORKSHOP ON FEATURE-ORIENTED SOFTWARE DEVELOPMENT (FOSD'16), 2016, : 58 - 62
  • [37] Feature Nets: behavioural modelling of software product lines
    Radu Muschevici
    José Proença
    Dave Clarke
    Software & Systems Modeling, 2016, 15 : 1181 - 1206
  • [38] Type safety for feature-oriented product lines
    Apel, Sven
    Kaestner, Christian
    Groesslinger, Armin
    Lengauer, Christian
    AUTOMATED SOFTWARE ENGINEERING, 2010, 17 (03) : 251 - 300
  • [39] Modular Modelling of Software Product Lines with Feature Nets
    Muschevici, Radu
    Proenca, Jose
    Clarke, Dave
    SOFTWARE ENGINEERING AND FORMAL METHODS, 2011, 7041 : 318 - 333
  • [40] Evolving feature model configurations in software product lines
    White, Jules
    Galindo, Jose A.
    Saxena, Tripti
    Dougherty, Brian
    Benavides, David
    Schmidt, Douglas C.
    JOURNAL OF SYSTEMS AND SOFTWARE, 2014, 87 : 119 - 136
12345