Abstract
Search-based software engineering aims to apply different search-based techniques to software engineering problems. Automation of software development is one such problem. In this paper we evaluate the permutation-based individual encoding for automatic reconstruction of measurement connections in a closed-loop control system using evolutionary algorithm and model checking. Using the permutation-based encoding greatly increases the difficulty of the considered problem, but makes it much closer to the real world scenarios. The results show that even the simple (1+1) evolutionary algorithm can successfully solve the realistic optimization problem with large search space size, although it struggles to find the optimal solution within reasonable time on the hardest problem instance.
Original language | English |
---|---|
Title of host publication | Proceedings of the 24th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2019 |
Publisher | IEEE |
Pages | 1265-1268 |
Number of pages | 4 |
ISBN (Electronic) | 9781728103037 |
DOIs | |
Publication status | Published - 1 Sept 2019 |
MoE publication type | A4 Conference publication |
Event | IEEE International Conference on Emerging Technologies and Factory Automation - Zaragoza, Spain Duration: 10 Sept 2019 → 13 Sept 2019 Conference number: 24 |
Publication series
Name | Proceedings IEEE International Conference on Emerging Technologies and Factory Automation |
---|---|
Publisher | IEEE |
ISSN (Print) | 1946-0740 |
ISSN (Electronic) | 2379-9560 |
Conference
Conference | IEEE International Conference on Emerging Technologies and Factory Automation |
---|---|
Abbreviated title | ETFA |
Country/Territory | Spain |
City | Zaragoza |
Period | 10/09/2019 → 13/09/2019 |
Keywords
- Automatic model synthesis
- Evolutionary computation
- Model checking
- Search-based software engineering