Skip to main content

Architectural-Based Validation of Fault-Tolerant Software

Brito, Patrick H.S. and de Lemos, Rogério and Martins, Eliane and Moraes, Regina and Rubira, Cecilia M.F. (2009) Architectural-Based Validation of Fault-Tolerant Software. In: 2009 Fourth Latin-American Symposium on Dependable Computing. IEEE, pp. 103-110. ISBN 978-1-4244-4678-0. (doi:10.1109/LADC.2009.22) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided. (Contact us about this Publication)
Official URL
http://dx.doi.org/10.1109/LADC.2009.22

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: Book section
DOI/Identification number: 10.1109/LADC.2009.22
Uncontrolled keywords: fault tolerance; robustness; vehicle crash testing; computer crashes; fault tolerant systems; computer architecture; software systems; formal specifications; software testing; system testing
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Faculties > Sciences > School of Computing
Depositing User: Rogerio de Lemos
Date Deposited: 05 Nov 2012 00:01 UTC
Last Modified: 19 Sep 2019 15:07 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/32079 (The current URI for this page, for reference purposes)
de Lemos, Rogério: https://orcid.org/0000-0002-0281-6308
  • Depositors only (login required):