This article reviews four popular mathematical formalisms—queueing theory, network
calculus, schedulability analysis, and dataflow analysis—and how they have been applied …

Much of the work to date on dataflow models for signal processing system design has
focused on decidable dataflow models that are best suited for one-dimensional signal …

Processor Systems on Chip (MPSoCs) in order to cope with the increasing applications
demands and the tight energy budget of portable devices. The complexity of these systems …

Multi-Processor Systems-on-Chip (MPSoCs) have emerged as an evolution trend to meet
the growing complexity of embedded applications with increasing computation parallelism …

This book is concerned with the improvement of the programming experience of today's and
upcoming embedded systems in the multimedia and wireless communication domains. In …

Simulation-based techniques can be used to evaluate whether a particular NoC-based
platform configuration is able to meet the timing constraints of an application, but they can …

A key step in the design of cyclo-static real-time systems is the determination of buffer
capacities. In our multi-processor system, we apply back-pressure, which means that tasks …

Networks on chip (NoCs) are an essential component of systems on chip (SoCs) and much
research is devoted to deadlock avoidance in NoCs. Prior work focuses on the router …

This paper proposes a scheduling strategy and an automatic scheduling flow that enable the
simultaneous execution of multiple hard-real-time dataflow jobs. Each job has its own …

Most of the hard-real-time scheduling theory for multiprocessor systems assumes
independent periodic or sporadic tasks. Such a simple task model is not directly applicable …