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

Symbolic system synthesis in the presence of stringent real-time constraints,10.1145/2024724.2024817,Felix Reimann,Martin Lukasiewycz,Michael Glass (M

Symbolic system synthesis in the presence of stringent real-time constraints  
BibTex | RIS | RefWorks Download
Stringent real-time constraints lead to com- plex 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 pa- per presents a novel system synthesis approach that ef- ciently prunes the search space in case real-time con- straints are violated. For this purpose, the reason for a constraint violation is analyzed and a deduced encod- ing 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 benet of the proposed approach stems from its integral support for real-time constraint checking. Its eciency, however, results from the power of deduction techniques of state- of-the-art Boolean Satisability (SAT) solvers. Using a case study from the automotive domain, experiments show that the proposed system synthesis approach is able to nd valid implementations where former approaches fail. Moreover, it is up to two orders of magnitude faster compared to a state-of-the-art approach.
Published in 2011.
Cumulative Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.