Architectural-Based Validation of Fault-Tolerant Software

Brito, P.H.S. and de Lemos, R. and Martins, E. and Moraes, R. and Rubira, C.M.F. (2009) Architectural-Based Validation of Fault-Tolerant Software. In: Fourth Latin-American Symposium on Dependable Computing (LADC 09)., 1st - 4th September, 2009, Joao Pessoa, PB, Brazil. (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.1109/LADC.2009.34

Abstract

Many architecture-centred approaches have been proposed for constructing dependable component-based systems. However, few of them provide an integrated solution for their development that combines fault prevention, fault removal, and fault tolerance techniques. This paper proposes a rigorous development approach based on an architectural abstraction, which combines formal methods and robustness testing. The architectural abstraction assumes a crash failure semantics, and when it is instantiated as an architectural element provides the basis for architecting fault tolerant systems. The architecture is formally specified using the B-method and CSP. Assurances that the software system is indeed dependable are obtained by combining formal specification for removing ambiguities from the architectural representation, and robustness testing for validating the source code against its software architecture. The feasibility of the proposed approach is illustrated in the context of a financial critical system.

Item Type: Conference or workshop item (Paper)
Uncontrolled keywords: rigorous software development , robustness software testing , software architecture , software formal specification
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Faculties > Science Technology and Medical Studies > School of Computing
Depositing User: Rogerio de Lemos
Date Deposited: 05 Nov 2012 00:01
Last Modified: 21 Mar 2013 15:10
Resource URI: http://kar.kent.ac.uk/id/eprint/32079 (The current URI for this page, for reference purposes)
  • Depositors only (login required):