This paper considers the programming of passive (cold and warm standbys) and active replicated systems in Ada 95. We show that it is relatively easy to develop ...

Programming Replicated Systems in Ada 95. A.J. Wellings and A. Burns. No ... {Programming Replicated Systems in Ada 95}, year = {1996} }. Back to Papers in ...

The active replication model can be implemented either imposing replica determinism or keeping replica consistency at critical points, by means of interactive.

In this paper, we present some of the fault tolerance management mechanisms being implemented in the Multi-µ architecture, namely its support for replica ...

In this architecture, fault tolerance is achieved by node active replication, with software based replica management and fault tolerance transparent algorithms.

The Systems Programming Annex specifies additional capabilities for low- level programming. These capabilities are also required in many real- time, embedded, ...

This approach, that is named replicAda, tries to simplify the programming of fault tolerant distributed systems by providing high level abstractions that ...

As you might expect with Ada's background in embedded and systems programming there are ways in which you can force a type into specific system repre-.

In this paper we present a project to provide fault tolerance in distributed Ada 95 applications by means of replication of partitions.

This paper presents an architecture (Multi-) being implemented to study and develop software based fault tolerant mechanisms for Real-Time Systems, ...