TY - JOUR
T1 - Differential IBEA for non-conformity resolution in interactive CPS production line configuration
AU - Lu, Hong
AU - Zhang, Li
AU - Yue, Tao
N1 - Publisher Copyright:
© Copyright 2016, Institute of Software, the Chinese Academy of Sciences. All rights reserved.
PY - 2016/4/1
Y1 - 2016/4/1
N2 - In large system production line configuration, manual configuration is inevitable and hence easy to introduce nonconformities where configuration data inputted by configuration engineers violate predefined constraints (also known as conformance constraints). For large system production lines, such as cyber physical system (CPS) product lines, there are usually hundreds and thousands of configurable parameters, hundreds of conformance constraints, and complicated dependencies among the conformance constraints. Thus it is very challenging to resolve nonconformities in an efficient manner. As a first step to address this challenge, an automated nonconformity resolving recommendation approach (Zen-Fix) was presented in the previous work by this research, which relies on multi-objective search and constraint solving techniques. To further improve the search efficiency in such interactive CPS configuration process, this paper proposes a novel algorithm called DeIBEA, which combines differential evolution with IBEA (indicator-based evolutionary algorithm), and distinguishes feasible solutions from infeasible ones, generating offspring through the differential operation. Integrating Zen-Fix with DeIBEA can recommend nonconformity-free yet optimal solutions to configuration engineers. The cost effectiveness of DeIBEA (in the context of Zen-Fix) is empirically evaluated with a real-world case study, in which a configuration process is simulated containing 10189 search problems. Results show that: (1) Zen-Fix with DeIBEA can provide nonconformity resolving recommendation automatically in a quite efficient way; (2) Compared with IBEA, DeIBEA performs significantly better in terms of both time performance and search performance.
AB - In large system production line configuration, manual configuration is inevitable and hence easy to introduce nonconformities where configuration data inputted by configuration engineers violate predefined constraints (also known as conformance constraints). For large system production lines, such as cyber physical system (CPS) product lines, there are usually hundreds and thousands of configurable parameters, hundreds of conformance constraints, and complicated dependencies among the conformance constraints. Thus it is very challenging to resolve nonconformities in an efficient manner. As a first step to address this challenge, an automated nonconformity resolving recommendation approach (Zen-Fix) was presented in the previous work by this research, which relies on multi-objective search and constraint solving techniques. To further improve the search efficiency in such interactive CPS configuration process, this paper proposes a novel algorithm called DeIBEA, which combines differential evolution with IBEA (indicator-based evolutionary algorithm), and distinguishes feasible solutions from infeasible ones, generating offspring through the differential operation. Integrating Zen-Fix with DeIBEA can recommend nonconformity-free yet optimal solutions to configuration engineers. The cost effectiveness of DeIBEA (in the context of Zen-Fix) is empirically evaluated with a real-world case study, in which a configuration process is simulated containing 10189 search problems. Results show that: (1) Zen-Fix with DeIBEA can provide nonconformity resolving recommendation automatically in a quite efficient way; (2) Compared with IBEA, DeIBEA performs significantly better in terms of both time performance and search performance.
KW - CPS product line
KW - Conformance checking
KW - Constraint solving
KW - Multi-objective search
KW - Nonconformity resolving
KW - Search based software engineering
UR - https://www.scopus.com/pages/publications/84965133752
U2 - 10.13328/j.cnki.jos.004969
DO - 10.13328/j.cnki.jos.004969
M3 - 文章
AN - SCOPUS:84965133752
SN - 1000-9825
VL - 27
SP - 901
EP - 915
JO - Ruan Jian Xue Bao/Journal of Software
JF - Ruan Jian Xue Bao/Journal of Software
IS - 4
ER -