AuthorsK. Nie, T. Yue, S. Ali, L. Zhang and Z. Fan
EditorsJ. Grey
TitleConstraints: the Core of Supporting Automated Product Configuration of Cyber-Physical Systems
AfilliationSoftware Engineering, Software Engineering, Software Engineering
Project(s)The Certus Centre (SFI)
Publication TypeProceedings, refereed
Year of Publication2013
Conference NameACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems
Place Published.

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.

Citation KeySimula.simula.2016