We present an approach to the synthesis of fault-tolerant hard real-time systems for safety-
critical applications. We use checkpointing with rollback recovery and active replication for …

In this paper we present an approach to the design optimization of fault tolerant embedded
systems for safety-critical applications. Processes are statically scheduled and …

This paper presents a static mapping optimization technique for fault-tolerant mixed-
criticality MPSoCs. The uncertainties imposed by system hardening and mixed criticality …

This work addresses the issue of design optimization for fault-tolerant hard real-time
systems. In particular, our focus is on the handling of transient faults using both …

An advanced communication system, the FlexRay system, has been developed for future
automotive applications. It consists of time-triggered clusters, such as drive-by-wire in cars …

The objective of this paper is to present how to design a system that can accommodate
additional functionality with either no changes to the design or adding architectural modules …

This paper presents a novel mapping optimization technique for mixed critical multi-core
systems with different reliability requirements. For this scope, we derived a quantitative …

The constrained multiple sequence alignment problem is to align a set of sequences of
maximum length n subject to a given constrained sequence, which arises from some …

Abstract SAFETY-CRITICAL APPLICATIONS have to function correctly and deliver high level
of quality-of-service even in the presence of faults. This thesis deals with techniques for …

In this article, we propose a strategy for the synthesis of fault-tolerant schedules and for the
mapping of fault-tolerant applications. Our techniques handle transparency/performance …