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

We show the advantages of modular and hierarchical design in obtaining fault-tolerant software. Modularity enables the identification of faulty software units simplifying key operations, like software removal and replacement. We describe three approaches to repair faulty software based on replicatio...

Full description

Saved in:
Bibliographic Details
Main Author: Fernando J. Barros
Format: Article
Language:English
Published: Wiley 2015-01-01
Series:International Journal of Reconfigurable Computing
Online Access:http://dx.doi.org/10.1155/2015/321532
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1850161220481449984
author Fernando J. Barros
author_facet Fernando J. Barros
author_sort Fernando J. Barros
collection DOAJ
description We show the advantages of modular and hierarchical design in obtaining fault-tolerant software. Modularity enables the identification of faulty software units simplifying key operations, like software removal and replacement. We describe three 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 to represent these tactics is the ability to make ad hoc changes in software topologies. We consider hierarchical mobility as a useful operation to introduce new software units for replacing faulty ones. For illustration purposes, we use connecton, a hierarchical, modular, and self-modifying software specification formalism, and its implementation in the Desmos framework.
format Article
id doaj-art-fb802e1bf45145b0a8f3a92b2bc9a5a2
institution OA Journals
issn 1687-7195
1687-7209
language English
publishDate 2015-01-01
publisher Wiley
record_format Article
series International Journal of Reconfigurable Computing
spelling doaj-art-fb802e1bf45145b0a8f3a92b2bc9a5a22025-08-20T02:22:55ZengWileyInternational Journal of Reconfigurable Computing1687-71951687-72092015-01-01201510.1155/2015/321532321532Representing Tactics for Fault Recovery: A Reconfigurable, Modular, and Hierarchical ApproachFernando J. Barros0Departamento de Engenharia Informática, Universidade de Coimbra, 3030 Coimbra, PortugalWe show the advantages of modular and hierarchical design in obtaining fault-tolerant software. Modularity enables the identification of faulty software units simplifying key operations, like software removal and replacement. We describe three 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 to represent these tactics is the ability to make ad hoc changes in software topologies. We consider hierarchical mobility as a useful operation to introduce new software units for replacing faulty ones. For illustration purposes, we use connecton, a hierarchical, modular, and self-modifying software specification formalism, and its implementation in the Desmos framework.http://dx.doi.org/10.1155/2015/321532
spellingShingle Fernando J. Barros
Representing Tactics for Fault Recovery: A Reconfigurable, Modular, and Hierarchical Approach
International Journal of Reconfigurable Computing
title Representing Tactics for Fault Recovery: A Reconfigurable, Modular, and Hierarchical Approach
title_full Representing Tactics for Fault Recovery: A Reconfigurable, Modular, and Hierarchical Approach
title_fullStr Representing Tactics for Fault Recovery: A Reconfigurable, Modular, and Hierarchical Approach
title_full_unstemmed Representing Tactics for Fault Recovery: A Reconfigurable, Modular, and Hierarchical Approach
title_short Representing Tactics for Fault Recovery: A Reconfigurable, Modular, and Hierarchical Approach
title_sort representing tactics for fault recovery a reconfigurable modular and hierarchical approach
url http://dx.doi.org/10.1155/2015/321532
work_keys_str_mv AT fernandojbarros representingtacticsforfaultrecoveryareconfigurablemodularandhierarchicalapproach