The safety of real-time embedded systems relies on both functional and timing correctness.
On the timing side, realtime constraints are set on task executions, and missing them may …

Soft errors and errors caused by intermittent faults are a major concern for modern
processors. In this paper we provide a drastically different approach for fault tolerant …

A new control flow checking scheme is presented, based on assigned-signature checking
using a watchdog processor. This scheme is suitable for a multitasking, multiprocessor …

In this paper, a software-based control flow checking technique called SWTES (software-
based error detection technique using encoded signatures) is presented and evaluated …

The focus of this work are faults and attacks in embedded systems, as well as methods to
cope with their associated overhead. This chapter gives a motivation for the topic of this …

The lack of post-deployment visibility into system operation is one of the major challenges in
ensuring reliable operation of remotely deployed embedded systems such as wireless …

Our paper introduces a runtime verification framework for concurrent monitoring of
applications specified by UML statecharts. The approach offers a considerable degree of …

The design of automotive electronic systems needs to address a variety of important
objectives, including safety, performance, fault tolerance, reliability, security, extensibility …

This paper presents a behavior-based error detection technique called Control Flow
Checking using Branch Trace Exceptions for PowerPC processors family (CFCBTE). This …

A new control flow checking scheme, based on assigned-signature checking by a watchdog
processor, is presented. This scheme is suitable for a multitasking, multiprocessor …