Symbolic system synthesis in the presence of stringent real-time constraints

Conference contribution
(Conference Contribution)


Publication Details

Author(s): Reimann F, Lukasiewycz M, Glaß M, Haubelt C, Teich J
Publication year: 2011
Pages range: 393-398
ISBN: 9781450306362


Abstract


Stringent real-time constraints lead to complex search spaces containing only very few or even no valid implementations. Hence, while searching for a valid implementation a substantial amount of time is spent on timing analysis during system synthesis. This paper presents a novel system synthesis approach that efficiently prunes the search space in case real-time constraints are violated. For this purpose, the reason for a constraint violation is analyzed and a deduced encoding removes it permanently from the search space. Thus, the approach is capable of proving both the presence and absence of a correct implementation. The key benefit of the proposed approach stems from its integral support for real-time constraint checking. Its efficiency, however, results from the power of deduction techniques of state-of-the-art Boolean Satisfiability (SAT) solvers. Using a case study from the automotive domain, experiments show that the proposed system synthesis approach is able to find valid implementations where former approaches fail. Moreover, it is up to two orders of magnitude faster compared to a state-of-the-art approach. © 2011 ACM.



FAU Authors / FAU Editors

Glaß, Michael Prof. Dr.-Ing.
Juniorprofessur für Informatik
Haubelt, Christian Prof. Dr.-Ing.
Technische Fakultät
Reimann, Felix
Lehrstuhl für Informatik 12 (Hardware-Software-Co-Design)
Teich, Jürgen Prof. Dr.-Ing.
Lehrstuhl für Informatik 12 (Hardware-Software-Co-Design)


How to cite

APA:
Reimann, F., Lukasiewycz, M., Glaß, M., Haubelt, C., & Teich, J. (2011). Symbolic system synthesis in the presence of stringent real-time constraints. (pp. 393-398). San Diego, CA, US.

MLA:
Reimann, Felix, et al. "Symbolic system synthesis in the presence of stringent real-time constraints." Proceedings of the 2011 48th ACM/EDAC/IEEE Design Automation Conference, DAC 2011, San Diego, CA 2011. 393-398.

BibTeX: 

Last updated on 2018-01-09 at 07:11