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

This survey covers research into mixed criticality systems that has been published since
Vestal's seminal paper in 2007, up until the end of 2016. The survey is organised along the …

This review covers research on the topic of mixed criticality systems that has been published
since Vestal's 2007 paper. It covers the period up to end of 2021. The review is organised …

Real-time systems need time-predictable platforms to allow static analysis of the worst-case
execution time (WCET). Standard multi-core processors are optimized for the average case …

Programmable logic controllers (PLCs) are an established platform, widely used throughout
industrial automation but poorly understood among researchers. This article gives an …

Multi-core devices are envisioned to support the development of next-generation safety-
critical systems, enabling the on-chip integration of functions of different criticality. This …

This paper describes a component-based concurrent model of computation for reactive
systems. The components in this model, featuring ports and hierarchy, are called reactors …

In this work, we present Vicuna, a timing-predictable vector coprocessor. A vector processor
can be scaled to satisfy the performance requirements of massively parallel computation …

Current processors provide high average-case performance, as they are optimized for
general purpose computing. However, those optimizations often lead to a high worst-case …

We discuss a novel approach for constructing deterministic reactive systems that revolves
around a temporal model that incorporates a multiplicity of timelines. This model is central to …