With the widespread adoption of multicore architectures, multiprocessors are now a
standard deployment platform for (soft) real-time applications. This dissertation addresses …

Scheduling latency under Linux and its principal real-time variant, the PREEMPT RT patch,
are typically measured using cyclictest, a tracing tool that treats the kernel as a black box …

Global real-time schedulers have earned the reputation of scaling poorly due to the high
runtime overheads involved in global state management. In this paper, two mature …

The multicourse revolution is having limited impact on safety-critical cyber-physical systems.
The key reason is the" one out of m" problem: certifying the real-time correctness of a system …

In some systems, such as future generations of unmanned aerial vehicles (UAVs), different
software running on the same machine will require different timing guarantees. For example …

The design of systems in which timing constraints must be met (real-time systems) is being
affected by three trends in hardware and software development. First, in the past few years …

The notion of temporal correctness applicable to a hard real-time system is quite categorical:
such a system is deemed to be temporally correct if and only if no task ever misses a …

The advent of multicore technologies is a fundamental development that is impacting
software design processes across a wide range of application domains, including an …

Independence preservation, a desirable property in realtime locking protocols that isolates
tasks from delays due to unrelated critical sections, is formalized. It is shown that …

The processor is the brain of a computer system. Usually, one or more programs run on a
processor where each program is typically responsible for performing a particular task or …