Safety is the most important requirement for autonomous vehicles; hence, the ultimate
challenge of designing an edge computing ecosystem for autonomous vehicles is to deliver …

This paper is about better engineering of cyber-physical systems (CPSs) through better
models. Deterministic models have historically proven extremely useful and arguably form …

An introduction to the engineering principles of embedded systems, with a focus on
modeling, design, and analysis of cyber-physical systems. The most visible use of …

In this 25th year anniversary paper for the IEEE Real Time Systems Symposium, we review
the key results in real-time scheduling theory and the historical events that led to the …

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

SymTA/S is a system-level performance and timing analysis approach based on formal
scheduling analysis techniques and symbolic simulation. The tool supports heterogeneous …

New languages, programming disciplines, operating systems, and software engineering
techniques sometimes hold considerable potential for real-time software developers. A …

Managing transactions with real-time requirements presents many new problems. In this
paper we address several: How can we schedule transactions with deadlines? How do the …

Data in real-time databases has to be logically consistent as well as temporally consistent.
The latter arises from the need to preserve the temporal validity of data items that reflect the …

From its roots in job-shop scheduling, research into fixed priority pre-emptive scheduling
theory has progressed from the artificial constraints and simplistic assumptions used in early …