We advocate rigorous system design as a coherent and accountable model-based process
leading from requirements to implementations. We present the state of the art in system …

Electronic design automation (EDA) has enabled the integrated circuit industry to sustain
exponentially increasing product complexity growth until today, while maintaining consistent …

Constraint programming solvers, such as Satisfiability Modulo Theory (SMT) solvers, are
capable tools in finding preferable configurations for embedded systems from large design …

Rigorous system design requires the use of a single powerful component framework
allowing the representation of the designed system at different levels of detail, from …

Embedded systems and Systems on Chips (SoC) are widely used in many applications. The
tasks are to be executed in a time-bound manner for critical applications. The latency and …

Temperature plays an increasingly important role in the overall performance and reliability of
a computing system. Multi-and many-core systems provide an opportunity to manage the …

We present a component-based software design flow for building parallel applications
running on top of manycore platforms. The flow is based on the BIP-Behaviour, Interaction …

Mixed-criticality systems are promoted in industry due to their potential to reduce size,
weight, power, and cost. Nonetheless, deploying mixed-criticality applications on …

Reducing the energy consumption of controllers in vehicles requires sophisticated
regulation mechanisms. Better power management can be enabled by allowing the …

Correct distributed implementation of real-time systems has always been a challenging task.
The coordination of components executing on a distributed platform has to be ensured by …