Formal and Informal Methods for Multi-Core Design Space Exploration

Jean-Francois Kempf, Olivier Lebeltel, Oded Maler

We propose a tool-supported methodology for design-space exploration for embedded systems. It provides means to define high-level models of applications and multi-processor archite…