DocumentCode :
703862
Title :
A symbolic system synthesis approach for hard real-time systems based on coordinated SMT-solving
Author :
Biewer, Alexander ; Andres, Benjamin ; Gladigau, Jens ; Schaub, Torsten ; Haubelt, Christian
Author_Institution :
Corp. Sector Res., Robert Bosch GmbH, Schwieberdingen, Germany
fYear :
2015
fDate :
9-13 March 2015
Firstpage :
357
Lastpage :
362
Abstract :
We propose an SMT-based system synthesis approach where the logic solver performs static binding and routing while the background theory solver computes global time-triggered schedules. In contrast to previous work, we assign additional time to the logic solver in order to refine the binding and routing such that the background theory solver is more likely to find a feasible schedule within a reasonable amount of time. We show by experiments that this coordination of the two solvers results in a considerable reduction of the overall synthesis time.
Keywords :
computability; network routing; network synthesis; real-time systems; background theory solver; coordinated SMT-solving; global time-triggered schedules; hard real-time systems; logic solver; satisfiability modulo theories; static binding; static routing; symbolic system synthesis approach; synthesis time; Computer architecture; Encoding; Ports (Computers); Processor scheduling; Real-time systems; Routing; Schedules;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Design, Automation & Test in Europe Conference & Exhibition (DATE), 2015
Conference_Location :
Grenoble
Print_ISBN :
978-3-9815-3704-8
Type :
conf
Filename :
7092414
Link To Document :
بازگشت