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 条

[1] Supervisory Control for Dynamic Feature Configuration in Product Lines
Reniers, Michel
Thuijsman, Sander
PROCEEDINGS OF THE 2020 FORUM FOR SPECIFICATION AND DESIGN LANGUAGES (FDL), 2020,
[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] 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
[8] 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
[9] 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
[10] 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

← 1 2 3 4 5 →