A data chain is a sequence of periodic realtime communicating tasks that are processing the
data from sensors up to actuators. It determines an order in which the tasks propagate data …

Modern automotive embedded systems are composed of multiple real-time tasks
communicating by means of shared variables. The effect of an initial event is typically …

Real-time systems require a formal guarantee of timing-constraints, not only for individual
tasks but also for data-propagation. The timing behavior of data-propagation paths in a …

Many industrial real-time systems rely on the implicit register communication paradigm to
minimize overheads and ease distributed development. Here, tasks follow a simple input …

Automotive and avionics embedded systems are usually composed of several tasks that are
subject to complex timing constraints. In this context, the LET paradigm was introduced to …

Control-command systems must usually satisfy a set of high-level end-to-end timing
constraints to ensure their correctness. We propose a formal approach to verify these …

Mixed applications that gather real-time tasks and best effort jobs require a research effort in
order to be effectively modeled and executed. Therefore, in this study we define a general …

The inter-task communication in embedded real-time systems can be achieved using
various patterns and be subject to different timing constraints. One of the most basic …

Many industrial areas are faced with a continuous increase in system complexity, while
systems need to satisfy stringent timing requirements, which are traditionally based on the …

A majority of multi-rate real-time systems are constrained by a multitude of timing
requirements, in addition to the traditional deadlines on well-studied response times. This …