Switching max-plus linear system (SMPLS) models are an apt formalism for performance
analysis of discrete-event systems. SMPLS analysis is more scalable than analysis through …

Nowadays interactive electronics products offer a huge functionality to prospective
customers, but often it is too huge and complex to be grasped and used successfully. In this …

This paper extends a state-based timing analysis for Synchronous Dataflow Applications on
an MPSoC with shared memory. The existing approach transforms a mapped and timing …

The timed synchronous dataflow graph model is a graphical model of computation that
allows concurrency between processes. This model is widely used due to its expressive …

Early validation of software running on multi-core platforms is fundamental to guarantee
functional correctness and that real-time constraints are fully met. In the domain of timing …

Much of the work to date on dataflow models for signal processing system design has
focused on decidable dataflow models. This chapter reviews more general dataflow …

The complexity of tasks of modern embedded systems changed from simple control
algorithms to image-processing or even Artificial Intelligence. During design optimization of …

Scenario-Aware Data-Flow Graphs (SADFGs) were introduced to capture the behavior of
embedded applications achieving a good trade-off between expressiveness and …

The growing complexity of Cyber-Physical Systems (CPS) increasingly challenges the
existing methods and techniques. The correctness of coordination between heterogeneous …

In all modern computer systems power consumption and thermal management is a major
concern to control battery life and ageing to guarantee system availability. In such systems, a …