This paper describes an Ada framework called Cheddar which provides tools to check if a
real time application meets its temporal constraints. The framework is based on the real time …

Modern multiprocessor embedded systems execute a large number of tasks on shared
processors and handle their complex communications on shared communication networks …

In this paper, we present SimSo, a simulator designed for the comparison and the
understanding of real-time scheduling policies. This tool is designed to facilitate the …

Real-Time Internet of Things (RT-IoT) is a newer technology paradigm envisioned as a
global inter-networking of devices and physical things enabling real-time communication …

The timing behavior of current and future embedded and distributed systems becomes
increasingly complex. At the same time, many application fields such as safety-critical …

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

Considered a standard industry resource, the Embedded Systems Handbook provided
researchers and technicians with the authoritative information needed to launch a wealth of …

The increasing complexity of the hardware multiprocessor architectures as well as of the real-
time applications they support makes very difficult even impossible to apply the theoretical …

Numerous component models have been proposed in the literature, a testimony of a subject
domain rich with technical and scientific challenges, and considerable potential …

The development of Industrial Internet of Things systems (IIoT) requires tools robust enough
to cope with the complexity and heterogeneity of such systems, which are supposed to work …