https://www.mdu.se/

mdu.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
FI4FA: A formalism for incompletion, inconsistency, interference and impermanence failures' analysis
Mälardalen University, School of Innovation, Design and Engineering.ORCID iD: 0000-0002-6952-1053
Mälardalen University, School of Innovation, Design and Engineering.ORCID iD: 0000-0001-5269-3900
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
Available from: 2012-12-20 Created: 2012-10-29 Last updated: 2018-08-10Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records

Gallina, BarbaraPunnekkat, Sasikumar

Search in DiVA

By author/editor
Gallina, BarbaraPunnekkat, Sasikumar
By organisation
School of Innovation, Design and Engineering
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 57 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf