Architecture-centric fault tolerance with exception handling

  • Authors:

  • Patrick H. S. Brito;Rogério De Lemos;Eliane Martins;Cecília M. F. Rubira

  • Affiliations:

  • Institute of Computing, State University of Campinas, Campinas, SP, Brazil;Computing Laboratory, University of Kent, Canterbury, UK;Institute of Computing, State University of Campinas, Campinas, SP, Brazil;Institute of Computing, State University of Campinas, Campinas, SP, Brazil

  • Venue:
  • LADC'07 Proceedings of the Third Latin-American conference on Dependable Computing
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

When building dependable systems by integrating untrusted software components that were not originally designed to interact with each other, it is inevitable the occurrence of architectural mismatches related to assumptions in the failure behaviours. These mismatches if not prevented during system design have to be tolerated during run-time. This paper presents an architectural abstraction based on exception handling for structuring fault-tolerant software systems. This abstraction comprises several components and connectors that transform an existing untrusted software element into an idealised fault-tolerant architectural element. The proposed rigorous approach relies on a formal representation for analysing exception propagation, and verifying important dependability properties. Beyond this, the formal models are also used for generating unit and integration test cases that would be used for validating the final software product. The feasibility of the proposed approach was evaluated on an embedded critical case study.