mbedded system design faces many challenges both with respect to functional
requirements and nonfunctional requirements, many of which are conflicting.
They are found in areas such as design and developer productivity,
verification, validation, maintainability, and meeting performance goals and
resource constraints. Novel design-time and run-time approaches are needed to
meet the demand of emerging applications and to exploit new hardware
paradigms, and in particular to scale up to multicores (including GPUs and
FPGAs) and distributed systems built from multicores.