In general computing systems, a job (process/task) may suspend itself whilst it is waiting for
some activity to complete, eg, an accelerator to return data. In real-time systems, such self …

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

In safety-critical cyber-physical systems, the usage of multicore platforms has been
hampered by problems due to interactions across cores through shared hardware. The …

Motivated by the widespread use of spin locks in embedded multiprocessor real-time
systems, the worst-case blocking in spin locks is analyzed using mixed-integer linear …

Mixed-criticality scheduling algorithms, which attempt to reclaim system capacity lost to worst-
case execution time pessimism, seem to hold great promise for multi core real-time systems …

Lock-based resource sharing protocols for single processor systems are well understood
and supported in programming languages and in Real-Time Operating Systems. In contrast …

Abstract Validation and Verification (V&V) of autonomous robotic system software is
becoming a critical issue. Among the V&V techniques at our disposal, formal approaches …

Graphics processing units, GPUs, are powerful processors that can offer significant
performance advantages over traditional CPUs. The last decade has seen rapid …

This paper presents the first real-time multiprocessor locking protocol that supports fine-
grained nested resource requests. This locking protocol relies on a novel technique for …

We systematically survey the literature on analytically sound multiprocessor real-time
locking protocols from 1988 until the end of 2017, covering the following topics: Progress …