|Authors||K. Nie, T. Yue, S. Ali, L. Zhang and Z. Fan|
|Title||Constraints: the Core of Supporting Automated Product Configuration of Cyber-Physical Systems|
|Afilliation||Software Engineering, Software Engineering, Software Engineering|
|Project(s)||The Certus Centre (SFI)|
|Publication Type||Proceedings, refereed|
|Year of Publication||2013|
|Conference Name||ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems|
In the context of product line engineering of cyber-physical systems, there exists a large number of constraints to support for example consistency checking of design decisions made in hardware and software components during configuration. Manual configuration is not feasible in this context considering that managing and manipulating all these constraints in a real industrial context is way too complicated. Therefore, automation is the only way to address such a complexity. However, to this end, relevant constraints have to be well-specified and characterized in the way such that automated configuration can be enabled. Such automation includes automated configuration value inference, optimizing configuration steps and consistency checking. In this paper, we classify and characterize constraints that are required to be specified to support most of the key functionalities of any automated product configuration solution, based on our experience of studying three industrial product line families.