This chapter reviews the development of the recovery block approach to software fault
tolerance and subsequent work based on this approach. It starts with an account of the …

Model-based performability evaluation is used to assess and improve the effectiveness of
fault-tolerant software. The evaluation employs a measure that combines quantifications of …

We present two software applications and develop models for them. The first application
considers a producer-consumer tasking system with an intermediate buffer task and studies …

The authors examine the problem of accurately modeling the software fault-tolerance
technique based on recovery blocks. Analysis of some systems have investigated the …

Computers are currently used in a variety of critical applications, including systems for
nuclear reactor control, flight control (both aircraft and spacecraft), and air traffic control …

In fault-tolerant software, to enhance the reliability, one of the major approaches is N-version
programming. The modeling studies provided in literature help us to understand under …

An adaptive scheme for software fault-tolerance is evaluated from the point of view of
performability, comparing it with previously published analyses of the more popular …

A comparative evaluation of recovery blocks and N-version programming (N= 3) is
accomplished by means of performability modeling. For each scheme, a corresponding …

Software fault tolerance methods have been proposed to achieve high reliability. However,
these methods suffer from the possibility of correlated failures, where the failure of multiple …

Embedded real-time systems are growing in complexity, which goes far beyond simplistic
closed-loop functionality. Current approaches for worst-case execution time (WCET) …