论文标题
产品线中动态功能配置的监督控制
Supervisory Control for Dynamic Feature Configuration in Product Lines
论文作者
论文摘要
在本文中，提出了针对具有动态功能配置的产品线的工程监督控制器的框架。有效配置的可变性由功能模型描述。系统组件的行为是使用（扩展）有限自动机实现的，并且行为和动态配置约束都通过要求表示，这是监督控制理论中常见的。将监管控制器合成用于计算遵守要求的行为模型。对于在这种情况下出现的挑战，讨论了多个解决方案。使用咖啡机的模型在CIF工具集中例证了解决方案。进行更大的车身舒适系统产品线的用例，以展示工业尺寸系统的可行性。
In this paper a framework 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 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.
