You are required to read and agree to the below before accessing a full-text version of an article in the IDE article repository.

The full-text document you are about to access is subject to national and international copyright laws. In most cases (but not necessarily all) the consequence is that personal use is allowed given that the copyright owner is duly acknowledged and respected. All other use (typically) require an explicit permission (often in writing) by the copyright owner.

For the reports in this repository we specifically note that

  • the use of articles under IEEE copyright is governed by the IEEE copyright policy (available at http://www.ieee.org/web/publications/rights/copyrightpolicy.html)
  • the use of articles under ACM copyright is governed by the ACM copyright policy (available at http://www.acm.org/pubs/copyright_policy/)
  • technical reports and other articles issued by M‰lardalen University is free for personal use. For other use, the explicit consent of the authors is required
  • in other cases, please contact the copyright owner for detailed information

By accepting I agree to acknowledge and respect the rights of the copyright owner of the document I am about to access.

If you are in doubt, feel free to contact webmaster@ide.mdh.se

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

Fulltext:


Publication Type:

Conference/Workshop Paper

Venue:

International workshop on Distributed Architecture modeling for Novel Component based Embedded systems

Publisher:

IEEE Computer Society

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

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