Representing Tactics for Fault Recovery: A Reconfigurable, Modular, and Hierarchical Approach

Abstract EN

We show the advantages of modular and hierarchicaldesign in obtaining fault-tolerant software.

Modularity enablesthe identification of faulty software units simplifying keyoperations, like software removal and replacement.

We describethree approaches to repair faulty software based on replication,namely, Passive Replication, N-Version Replication, and Active Replication,based on modular components.

We show that the key construct torepresent these tactics is the ability to make ad hocchanges in software topologies.

We consider hierarchical mobilityas a useful operation to introduce new software units forreplacing faulty ones.

For illustration purposes, we useconnecton, a hierarchical, modular, and self-modifying softwarespecification formalism, and its implementation in the Desmosframework.