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
Afilliation, , Software Engineering
Project(s)The Certus Centre (SFI)
StatusPublished
Publication TypeProceedings, refereed
Year of Publication2013
Conference NameACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems
PublisherACM/IEEE
Place Published.
KeywordsConference
Abstract

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