Synchronous Dataflow (SDF) is a powerful analysis tool for regular, cyclic, parallel task
graphs. The behaviour of SDF graphs however is static and therefore not always able to …

This paper advocates a strict compositional and hybrid approach for obtaining key
(performance) metrics of embedded systems. At its core the developed methodology …

The paper presents a model for multi-mode real-time applications and develops new
techniques for the compositional analysis of systems that contain multiple such applications …

Real-time systems are becoming increasingly complex. A modern car, for example, requires
a multitude of control tasks, such as braking, active suspension, and collision avoidance …

Closing feedback loops fast and over long distances is key to emerging cyber-physical
applications; for example, robot motion control and swarm coordination require update …

Real-time systems with multiple modes require mode-change protocols (MCPs) to ensure
safety during mode transitions. A variety of MCPs are available in the literature; however, it …

As cyber-physical systems (CPS) become increasingly autonomous, there is a growing need
for resource-efficient design techniques that can guarantee safety and timeliness during …

Real-Time Calculus (RTC) is a powerful framework to analyze real-time performance of
distributed embedded systems. However, RTC may run into serious analysis efficiency …

This paper presents a compositional and hybrid approach for the performance analysis of
distributed real-time systems. The developed methodology abstracts system components by …

This document presents some results obtained in the field of network calculus, a theory
based on the (min, plus) algebra and whose aim is to compute worst-case performance …