The paper presents an overview of a major research project on dependable embedded
systems that has started in Fall 2010 and is running for a projected duration of six years. Aim …

We show in this paper that multi-layer dependability is an indispensable way to cope with
the increasing amount of technology-induced dependability problems that threaten to …

This is the fifth book in a series on Architecting Dependable Systems we started six years
ago that brings together issues related to software architectures and the dependability of …

This paper presents a system synthesis approach for dependable embedded systems. The
proposed approach significantly extends previous work by automatically inserting fault …

This paper is composed of two sections. The first provides a conceptual framework for
expressing the attributes of what constitutes dependable and reliable computing: a) the …

Arcade - A Formal, Extensible, Model-Based Dependability Evaluation Framework Page 1
Arcade - A formal, extensible, model-based dependability evaluation framework ∗ Hichem …

This paper presents a model-driven framework that provides a tool-supported design flow for
fault-tolerant embedded systems. Its system models comprise abstract descriptions of the …

As technology scales, transient faults have emerged as a key challenge for reliable
embedded system design. This paper proposes a design methodology that incorporates …

Our society is faced with an ever increasing dependence on computing systems, which lead
to questions about the limits of their dependability, and to attempt to identify avenues for …

Abstract dependability?". The question which comes next is “What are the challenges which
we are faced with, as a result of these limits, and in order to overcome them?”. Responses to …