For modern embedded systems in the realm of high-throughput multimedia, imaging, and
signal processing, the complexity of embedded applications has reached a point where the …

The constantly growing complexity of embedded systems is a challenge that drives the
development of novel design automation techniques. C-based system-level design …

This paper proposes four types of source code transformations for operating system (OS)-
driven embedded software programs to reduce their energy consumption. Their key features …

Dynamically reconfigurable hardware allows for implementing systems that can be adapted
at run-time according to the needs of the user. This paper presents an architecture that is …

Increasing software content in embedded systems and SoCs drives the demand to
automatically synthesize software binaries from abstract models. This is especially critical for …

In this paper we present a new approach for automated target code generation for given real-
time operating systems out of SystemC to support platform independent software …

With growing market pressures and rising system complexities, automated system-level
communication design with efficient design space exploration capabilities is becoming …

Refinement of untimed TLM models into a timed HW/SW platform is a step by step design
process which is a trade-off between timing accuracy of the used models and correct …

In an effort to understand, experience and prove the benefits of automated SoC design, this
report describes the specification modeling, design space exploration and implementation of …

Separation of HW and SW design flows represents a critical aspect in the development of
embedded systems. Co-verification becomes necessary, thus implying the development of …