Future unmanned aircraft systems are allowed to incorporate operational aspects for flight
approval due to the new EASA “specific” category. Incorporating operational aspects offer …

This paper presents an approach for rapidly adjustable embedded trace online monitoring of
multi-core systems, called RETOM. Today, most commercial multi-core SoCs provide …

Misuse of cryptographic (crypto) APIs is a noteworthy cause of security vulnerabilities. For
this reason, static analyzers were recently proposed for detecting crypto API misuses. They …

Runtime verification employs dedicated hardware or software monitors to check whether
program properties hold at runtime. However, these monitors often incur high area and …

Exhaustive verification techniques do not scale with the complexity of today's multi-tile Multi-
processor Systems-on-chip (MPSoCs). Hence, runtime verification (RV) has emerged as a …

State-of-the-art RV frameworks that implement runtime monitors in hardware synthesize
monitoring circuits from formal specifications of properties. Such frameworks resynthesize or …

While the theory and practice of runtime monitoring are overall well developed, in
embedded systems, runtime monitoring is not as common as one would expect. Especially …

Runtime verification provides a theoretical proved framework to synthesize monitors from
formal specifications. At runtime, these monitors can be used to check that the execution of …

Embedded systems have become pervasive and increasingly complex, especially in
modern applications such as self-driving vehicles, where safety requires both accurate …

Nowadays complete systems can be built on a System-on-a-Programmable-Chip that
integrates a microcontroller and a FPGA fabric into a single chip. Beside its traditional use to …