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 …

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 …

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

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 …

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 …

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 …

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 …

The widespread use of object-oriented languages and Internet security concerns are just the
beginning. Add embedded systems, multiple memory banks, highly pipelined units …

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