Logotype Mälardalenn University

MRTC publications



FI4FA: A Formalism for Incompletion, Inconsistency, Interference and Impermanence Failures Analysis

Authors: Barbara Gallina, Sasikumar Punnekkat
Source: International workshop on Distributed Architecture modeling for Novel Component based Embedded systems (DANCE ) at Euromicro SEAA, p 493-500, IEEE Computer Society, Oulu, Finland
DOI: 10.1109/SEAA.2011.80
 

Abstract

To architect dependable distributed component-based, transactional systems, the failure as well as the mitigation behavior must be analyzed. Analysis helps in planning if, where and which mitigation means are needed to increase quality, by reducing the failures that threaten the system’s dependability. Fault Propagation and Transformation Calculus (FPTC) is a technique for automatically calculating the failure behavior of an entire system from the failure behavior of its components [1]. FPTC, however, considers few failure types and offers no support to analyse the mitigation behaviour. To overcome these limitations and support the mitigation’s planning, we introduce a new formalism, called FI4FA. FI4FA focuses on failures avoidable through transaction-based mitigations. FI4FA extends FPTC by enabling the analysis of I4 (incompletion, inconsistency, interference and impermanence) failures as well as the analysis of the mitigations, needed to guarantee completion, consistency, isolation and durability. We also illustrate the FI4FA’s usage on a set of examples.
 

BibTeX entry

@inproceedings{Gallina_2497:2011,
   author = {Barbara Gallina and Sasikumar Punnekkat},
   title = {FI4FA: A Formalism for Incompletion, Inconsistency, Interference and Impermanence Failures Analysis},
   booktitle = {International workshop on Distributed Architecture modeling for Novel Component based Embedded systems (DANCE ) at Euromicro SEAA},
   month = {September},
   year = {2011},
   pages = {493-500},
   publisher = {IEEE Computer Society},
   url = {http://www.mrtc.mdh.se/index.php?choice=publications&id=2497},
}

  • Mälardalen University |
  • Box 883 |
  • 721 23 Västerås/Eskilstuna |
  • 021-101300, 016-153600 |
  • webmaster |
  • Latest update: 2012.08.24