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 条
  • [1] Super visor y Control for Dynamic Feature Configuration in Product Lines
    Thuijsman, Sander
    Reniers, Michel
    ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2024, 23 (05)
  • [2] Comparing Configuration Approaches for Dynamic Software Product Lines
    Guedes, Gabriela
    Silva, Carla
    Soares, Monique
    XXXI BRAZILIAN SYMPOSIUM ON SOFTWARE ENGINEERING (SBES 2017), 2017, : 134 - 143
  • [3] Dynamic Feature Deployment and Composition for Dynamic Software Product Lines
    Lee, Jaejoon
    PROCEEDINGS OF THE 17TH INTERNATIONAL SOFTWARE PRODUCT LINE CONFERENCE CO-LOCATED WORKSHOPS (SPLC'13 WORKSHOPS), 2013, : 114 - 116
  • [4] Dynamic configuration of software product lines in ArchJava']Java
    Pavel, S
    Noyé, J
    Royer, JC
    SOFTWARE PRODUCT LINES, PROCEEDINGS, 2004, 3154 : 90 - 109
  • [5] Feature driven dynamic customization of software product lines
    Gomaa, Hassan
    Saleh, Mazen
    REUSE OF OFF-THE-SHELF COMPONENTS, PROCEEDINGS, 2006, 4039 : 58 - 72
  • [6] On the Evaluation and Improvement of Feature-based Configuration Techniques in Software Product Lines
    Hubaux, A.
    2009 31ST INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, COMPANION VOLUME, 2009, : 367 - 370
  • [7] On the supervisory control of multiagent product systems
    Romanovski, I.
    Caines, P. E.
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2006, 51 (05) : 794 - 799
  • [8] Supervisory control for dynamic monopoly
    Park, S. -J.
    IET CONTROL THEORY AND APPLICATIONS, 2012, 6 (07): : 992 - 999
  • [9] A New Parameter for Product Configuration in Software Product Lines
    Lin, Yuqing
    Ye, Huilin
    Li, Bojun
    2009 SECOND INTERNATIONAL SYMPOSIUM ON KNOWLEDGE ACQUISITION AND MODELING: KAM 2009, VOL 2, 2009, : 230 - 233
  • [10] An Approach to Efficient Product Configuration in Software Product Lines
    Lin, Yuqing
    Ye, Huilin
    Tang, Jianmin
    SOFTWARE PRODUCT LINES: GOING BEYOND, 2010, 6287 : 435 - 439
12345