TY  - GEN
A1  - Neubauer, Kai
A1  - Wanko, Philipp
A1  - Schaub, Torsten H.
A1  - Haubelt, Christian
T1  - Exact multi-objective design space exploration using ASPmT
T2  - Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE)
N2  - An efficient Design Space Exploration (DSE) is imperative for the design of modern, highly complex embedded systems in order to steer the development towards optimal design points. The early evaluation of design decisions at system-level abstraction layer helps to find promising regions for subsequent development steps in lower abstraction levels by diminishing the complexity of the search problem. In recent works, symbolic techniques, especially Answer Set Programming (ASP) modulo Theories (ASPmT), have been shown to find feasible solutions of highly complex system-level synthesis problems with non-linear constraints very efficiently. In this paper, we present a novel approach to a holistic system-level DSE based on ASPmT. To this end, we include additional background theories that concurrently guarantee compliance with hard constraints and perform the simultaneous optimization of several design objectives. We implement and compare our approach with a state-of-the-art preference handling framework for ASP. Experimental results indicate that our proposed method produces better solutions with respect to both diversity and convergence to the true Pareto front.
Y1  - 2018
SN  - 978-3-9819-2630-9
U6  - https://doi.org/10.23919/DATE.2018.8342014
SN  - 1530-1591
SN  - 1558-1101
SP  - 257
EP  - 260
PB  - IEEE
CY  - New York
ER  -