Real-time and embedded systems are predominantly written in C, a language that is
notoriously not memory safe. This has led to widespread memory-corruption vulnerabilities …

Multi-core platforms are becoming increasingly prevalent in cyber-physical systems such as
automobiles and robots. However, contention for shared resources makes it challenging to …

Safety-and mission-critical cyber-physical systems (CPSs) require temporal correctness to
ensure safe physical behavior. This manifests as strict timing requirements, which cannot be …

Real-time cyber physical systems play increasingly important roles in the real world,
operating in environments that are sensitive to timing and encompassing a wide range, from …

Large-scale, distributed cyber-physical systems are common in everyday life; just a few of
the critical applications include vehicles, automated factories and warehouses, the electric …