To appearInternational audienceno abstrac

Andres, Benjamin

Biewer, Alexander

Haubelt, Christian

Romero, Javier

Schaub, Torsten

INRIA a CCSD electronic archive server

Improving Coordinated SMT-based System Synthesis by Utilizing Domain-specific Heuristics

HAL-CentraleSupelec

Abstract. In hard real-time systems, where system complexity meets stringent timing constraints, the task of system-level synthesis has become more and more challenging. As a remedy, we introduce an SMT-based system synthesis approach where the Boolean solver determines a static binding of computational tasks to computing resources and a routing of messages over the interconnection network while the theory solver computes a global time-triggered schedule based on the Boolean solver’s solution. The binding and routing is stated as an optimization problem in order to refine the solution found by the Boolean solver such that the theory solver is more likely to find a feasible schedule within a reasonable amount of time. In this paper, we enhance this approach by applying domain-specific heuristics to the optimization problem. Our experiments show that by utilizing domain knowledge we can increase the number of solved instances significantly. 

B. Andres

A. Biewer

J. Romero

C. Haubelt

T. Schaub

CiteSeerX

Improving Coordinated SMT-Based System Synthesis by Utilizing Domain-Specific Heuristics

HAL-Rennes 1

http://www.cs.uni-potsdam.de/wv/pdfformat/anbirohasc15a.pdf

Improving Coordinated SMT-based System Synthesis by Utilizing Domain-specific Heuristics

Abstract

Similar works

Full text

Available Versions

INRIA a CCSD electronic archive server

HAL-CentraleSupelec

CiteSeerX

HAL-Rennes 1