Improving platform-based system synthesis by satisfiability Modulo theories solving

Beitrag bei einer Tagung
(Konferenzbeitrag)


Details zur Publikation

Autorinnen und Autoren: Teich J, Haubelt C, Eberl M, Reimann F, Glaß M
Jahr der Veröffentlichung: 2010
Tagungsband: Proceedings of the 8th International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS)
Seitenbereich: 135-144
ISBN: 9781605589053


Abstract


Due to the ever increasing system complexity, deciding whether a given platform is sufficient to implement a set of applications under given constraints becomes a serious bottleneck in platform-based design. As a remedy, the work at hand proposes a novel automatic platform-based system synthesis procedure, inspired by techniques developed in the context of automatic system verification known as Satisfiability Modulo Theories. It tightly couples the computation of a feasible allocation and binding with nonfunctional constraint checking where, in contrast to existing approaches, not only linear constraints but even nonlinear constraints are supported. This allows to efficiently prove whether there exists a feasible implementation of a set of applications on the given platform with respect to both, functional and nonfunctional constraints. Moreover, an approach for early learning based on feasibility checking of partial implementations is proposed that can signifiantly improve the synthesis runtime, especially in case the selected platform imposes stringent constraints on the implementation. The effectiveness of this approach is shown for an automotive ECU network design that requires Modular Performance Analysis to ensure non-functional nonlinear timing constraints.



FAU-Autorinnen und Autoren / FAU-Herausgeberinnen und Herausgeber

Eberl, Michael
Lehrstuhl für Informatik 12 (Hardware-Software-Co-Design)
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)


Zitierweisen

APA:
Teich, J., Haubelt, C., Eberl, M., Reimann, F., & Glaß, M. (2010). Improving platform-based system synthesis by satisfiability Modulo theories solving. In Proceedings of the 8th International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS) (pp. 135-144). Scottsdale, AZ, US.

MLA:
Teich, Jürgen, et al. "Improving platform-based system synthesis by satisfiability Modulo theories solving." Proceedings of the 6th Embedded Systems Week, ESWEEK 2010 - 8th IEEE/ACM International Conference on Hardware/Software-Co-Design and System Synthesis, CODES+ISSS'10, Scottsdale, AZ 2010. 135-144.

BibTeX: 

Zuletzt aktualisiert 2018-26-10 um 14:50