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 …

Modelling of real-time systems requires accurate and tight estimates of the Worst-Case
Execution Time (WCET) of each task scheduled to run. In the past two decades, two main …

We present an in-depth coverage of the comprehensive machine-checked formal verification
of seL4, a general-purpose operating system microkernel. We discuss the kernel design we …

Edge TPUs are a domain of accelerators for low-power, edge devices and are widely used
in various Google products such as Coral and Pixel devices. In this paper, we first discuss …

Memory accesses form an important source of timing unpredictability. Timing analysis of real-
time embedded software thus requires bounding the time for memory accesses …

With the advent of multicore architectures, worst-case execution time (WCET) analysis has
become an increasingly difficult problem. In this article, we propose a unified WCET analysis …

Beside the usual graphic editing and simulation facilities, the software tool Tina may build a
number of state space abstractions for Petri nets or Time Petri nets, preserving certain …

This study investigated the role of age, marital status, gender, nationality, educational
background and monthly income in drivers' comprehension of traffic signs. The populations …

Multi-core chips have been increasingly adopted by microprocessor industry. For real-time
systems to safely harness the potential of multi-core computing, designers must be able to …

Analytical hardware performance models yield swift estimation of desired hardware
performance metrics. However, develo** these analytical models for modern processors …