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 …

Real-time and embedded systems are essential to our lives, from controlling car engines
and regulating traffic lights to monitoring plane takeoffs and landings to providing up-to-the …

Embedded systems are an integral part of almost every electronic product today. From
consumer electronics to industrial components in SCADA systems, their possible fields of …

Verified compilers guarantee the preservation of semantic properties and thus enable formal
verification of programs at the source level. However, important quantitative properties such …

The interest of industries in model checking software for microcontrollers is increasing.
However, there are currently no appropriate tools that can be applied by embedded systems …

Interrupt-driven embedded software is hard to thoroughly test since it usually contains a very
large number of executable paths. Developers can test more of these paths using random …

An important correctness criterion for software running on embedded microcontrollers is
stack safety: a guarantee that the call stack does not overflow. Our first contribution is a …

Over the last several years, large-scale wireless mote networks have made possible the
exploration of a new class of highly-concurrent and highly-distributed applications. As the …

Future smart grids will consist of legacy systems and new ICT components, which are used
to support increased monitoring and control capabilities in the low-and medium-voltage …

In this paper we analyze the traditional model of interrupt management and its incapacity to
incorporate reliability and the temporal predictability demanded on real-time systems. As a …