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 …

We propose a new class of mathematical structures called (m, n)‐semirings (which
generalize the usual semirings) and describe their basic properties. We define partial …

AADL is an architecture description language intended for model-based engineering of high-
integrity distributed systems. The AADL Behavior Annex (AADL-BA) is an extension allowing …

This paper deals with the development of Safe Heterogeneous Embedded Control Systems
following different component-based technologies used today in industry to reduce their time …

Exposing the runtime behavior of long running, resource-burning scientific applications on
HPC platforms is a must if the platforms are going to be used efficiently and wisely. This …

Technology shrinking and sensitization have led to more and more transient faults in
embedded systems. Transient faults are intermittent and non-predictable faults caused by …

Modern Commercial-Off-The-Shelf (COTS) System on-Chip (SoC) devices like multi-core
computers have a variety of built-in features like Direct Memory Access (DMA) engines or …

We present an approach for optimization of assertion placement in time-constrained HW/SW
modules for detection of errors due to transient and intermittent faults. During the design …

Requisitos são um dos principais artefatos no desenvolvimento de um sistema. Para
sistemas críticos, os requisitos são artefatos obrigatórios para satisfazer critérios de …