Because of our present inability to produce error-free software, software fault tolerance is
and will continue to be an important consideration in software systems. The root cause of …

The injection of faults has been widely used to evaluate fault tolerance mechanisms and to
assess the impact of faults in computer systems. However, the injection of software faults is …

Software's increasing role creates both requirements for being able to trust it more than
before, and for more people to know how much they can trust their software. A sound …

The commercial offer concerning microkernel technology constitutes an attractive alternative
for developing operating systems to suit a wide range of application domains. However, the …

Fault injection is traditionally divided into simulation-based and physical techniques
depending on whether faults are injected into hardware models, or into an actual physical …

Because of our present inability to produce error-free software, software fault tolerance is
and will continue to be an important consideration in software systems. The root cause of …

We present a novel approach for analysing the propagation of data errors in software. The
concept of error permeability is introduced as a basic measure upon which we define a set …

In order to produce reliable software, it is important to have knowledge on how faults and
errors may affect the software. In particular, designing efficient error detection mechanisms …

MAFALDA is a generic experimental environment that is intended to support, for several
microkernel candidates, both objectives of characterization of the failure modes in the …

Android has become the most popular mobile OS, as it enables device manufacturers to
introduce customizations to compete with value-added services. However, customizations …