Loading [MathJax]/extensions/MathZoom.js
A symbolic system synthesis approach for hard real-time systems based on coordinated SMT-solving | IEEE Conference Publication | IEEE Xplore

A symbolic system synthesis approach for hard real-time systems based on coordinated SMT-solving


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-trigg...Show More

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.
Date of Conference: 09-13 March 2015
Date Added to IEEE Xplore: 23 April 2015
ISBN Information:

ISSN Information:

Conference Location: Grenoble, France

References

References is not available for this document.