Supervisory Control for Dynamic Feature Configuration in Product Lines

被引：3
|
作者：
Reniers, Michel [1 ]
Thuijsman, Sander [1 ]
机构：
[1] Eindhoven Univ Technol, Dept Mech Engn, Eindhoven, Netherlands
来源：
PROCEEDINGS OF THE 2020 FORUM FOR SPECIFICATION AND DESIGN LANGUAGES (FDL) | 2020年
关键词：
AUTOMATA; SYSTEMS;
D O I：
10.1109/fdl50818.2020.9232937
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
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 CIF tool set using a wiper system model.
引用
收藏
页数：8
相关论文
共 50 条
  • [11] Dynamic Re-Configuration of Software Product Lines Towards an Exploratory Study on DSPLs
    Sprovieri, Danillo
    2016 IEEE TENTH INTERNATIONAL CONFERENCE ON RESEARCH CHALLENGES IN INFORMATION SCIENCE (RCIS), 2016, : 685 - 690
  • [12] Supervisory Controller Synthesis for Product Lines Using CIF 3
    ter Beek, Maurice H.
    Reniers, Michel A.
    de Vink, Erik P.
    LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: FOUNDATIONAL TECHNIQUES, PT I, 2016, 9952 : 856 - 873
  • [13] Option Framing and Product Feature Recommendations: Product Configuration and Choice
    Herrmann, Andreas
    Hildebrand, Christian
    Sprott, David E.
    Spangenberg, Eric R.
    PSYCHOLOGY & MARKETING, 2013, 30 (12) : 1053 - 1061
  • [14] Feature modularity in software product lines
    Batory, Don
    SPLC 2006: 10th International Software Product Line Conference, Proceedings, 2006, : 230 - 230
  • [15] AUTOMATIC SUPERVISORY CONTROL OF CONFIGURATION AND BEHAVIOR OF MULTIBODY MECHANISMS
    LIEGEOIS, A
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS, 1977, 7 (12): : 868 - 871
  • [16] 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
  • [17] The application of supervisory control configuration software to the inverters nets
    Zhao Li-ming
    Zhang Bing
    Wang Zhong-chu
    Proceedings of 2004 Chinese Control and Decision Conference, 2004, : 886 - 888
  • [18] 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
  • [19] 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
  • [20] Supervisory control of dynamic voltage restorers
    Ramachandaramurthy, VK
    Arulampalam, A
    Fitzer, C
    Zhan, C
    Barnes, M
    Jenkins, N
    IEE PROCEEDINGS-GENERATION TRANSMISSION AND DISTRIBUTION, 2004, 151 (04) : 509 - 516
12345