FI4FA: A formalism for incompletion, inconsistency, interference and impermanence failures' analysis
2011 (English)In: Proceedings - 37th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2011, 2011, p. 493-500Conference paper, Published paper (Refereed)
Abstract [en]
To architect dependable distributed component-based, transactional systems, failures as well as their mitigation behaviors 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 the 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 usage of FI4FA on a set of examples. © 2011 IEEE.
Place, publisher, year, edition, pages
2011. p. 493-500
Series
Proceedings - 37th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2011
Keywords [en]
(relaxed) ACID properties, component-based systems, dependability, failure behaviour analysis techniques, failures types, ACID properties, Component based, Component based systems, Entire system, Failure behaviors, Fault propagation and transformation calculus, Transactional systems, Quality control, Software engineering, Safety engineering
National Category
Engineering and Technology
Identifiers
URN: urn:nbn:se:mdh:diva-15977DOI: 10.1109/SEAA.2011.80ISI: 000410220100067Scopus ID: 2-s2.0-82955234048ISBN: 9780769544885 (print)OAI: oai:DiVA.org:mdh-15977DiVA, id: diva2:579813
Conference
37th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2011, 30 August 2011 through 2 September 2011, Oulu
2012-12-202012-10-292018-08-10Bibliographically approved