Improving platform-based system synthesis by satisfiability Modulo theories solving

Teich J, Haubelt C, Eberl M, Reimann F, Glaß M (2010)


Publication Status: Published

Publication Type: Conference contribution, Conference Contribution

Publication year: 2010

Pages Range: 135-144

Conference Proceedings Title: Proceedings of the 8th International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS)

Event location: Scottsdale, AZ US

ISBN: 9781605589053

DOI: 10.1145/1878961.1878986

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.

Authors with CRIS profile

Related research project(s)

How to cite

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: Download