Abstract | ||
---|---|---|
Using the CIF 3 toolset, we illustrate the general idea of controller synthesis for product line engineering for a prototypical example of a family of coffee machines. The challenge is to integrate a number of given components into a family of products such that the resulting behaviour is guaranteed to respect an attributed feature model as well as additional behavioural requirements. The proposed correctness-by-construction approach incrementally restricts the composed behaviour by subsequently incorporating feature constraints, attribute constraints and temporal constraints. The procedure as presented focusses on synthesis, but leaves ample opportunity to handle e.g.uncontrollable behaviour, dynamic reconfiguration, and product-and family-based analysis. |
Year | DOI | Venue |
---|---|---|
2016 | 10.1007/978-3-319-47166-2_59 | Lecture Notes in Computer Science |
Field | DocType | Volume |
Control theory,Domain engineering,Computer science,Supervisory control,Control engineering,Real-time computing,Finite-state machine,Feature model,Control reconfiguration | Conference | 9952 |
ISSN | Citations | PageRank |
0302-9743 | 7 | 0.50 |
References | Authors | |
33 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Maurice H. ter Beek | 1 | 718 | 62.08 |
M.A. Reniers | 2 | 369 | 32.69 |
Erik P. de Vink | 3 | 374 | 28.76 |