On Architecting Software Fault Tolerance using Abstractions

de Lemos, Rogério (2009) On Architecting Software Fault Tolerance using Abstractions. Electronic Notes in Theoretical Computer Science, 236 . pp. 21-32. ISSN 1571-0661. (The full text of this publication is not available from this repository)

The full text of this publication is not available from this repository. (Contact us about this Publication)
Official URL
http://dx.doi.org/10.1016/j.entcs.2009.03.012

Abstract

In this position paper, we argue how architectural abstractions can be effective in developing fault-tolerant software systems. Depending on the fault model and the resources available, different abstractions can be employed for representing architectural issues related to fault tolerance. These architectural abstractions, and their internal views, can be instantiated into concrete components and connectors for designing fault-tolerant software architectures. Since structural and behavioural properties associated with these abstractions are formally specified, the process of verifying and validating software architectures can be automated. In this paper, we focus on two architectural abstractions: the idealised fault-tolerant architectural element (iFTE), which is based on exception handling, and the halt-on-failure architectural element (HoFE), which assumes crash failure semantics.

Item Type: Article
Uncontrolled keywords: software architectures; dependability; fault tolerance; scenarios; formal methods; testing
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming, > QA76.76 Computer software
Divisions: Faculties > Science Technology and Medical Studies > School of Computing
Depositing User: Rogerio de Lemos
Date Deposited: 04 Nov 2012 23:03
Last Modified: 31 May 2013 14:17
Resource URI: http://kar.kent.ac.uk/id/eprint/32075 (The current URI for this page, for reference purposes)
  • Depositors only (login required):