z-logo
open-access-imgOpen Access
A compositional method for reliability analysis of workflows affected by multiple failure modes
Author(s) -
Salvatore Distefano,
Antonio Filieri,
Carlo Ghezzi,
Raffaela Mirandola
Publication year - 2011
Publication title -
spiral (imperial college london)
Language(s) - English
Resource type - Conference proceedings
DOI - 10.1145/2000229.2000251
Subject(s) - workflow , computer science , reliability (semiconductor) , reliability engineering , simple (philosophy) , failure mode and effects analysis , focus (optics) , syntax , software quality , software , software engineering , programming language , software development , engineering , artificial intelligence , database , philosophy , optics , power (physics) , physics , epistemology , quantum mechanics
We focus on reliability analysis for systems designed as workflow based compositions of components. Components are characterized by their failure profiles, which take into account possible multiple failure modes. A compositional calculus is provided to evaluate the failure profile of a composite system, given failure profiles of the components. The calculus is described as a syntax-driven procedure that synthesizes a workflows failure profile. The method is viewed as a design-time aid that can help software engineers reason about systems reliability in the early stage of development. A simple case study is presented to illustrate the proposed approach

The content you want is available to Zendy users.

Already have an account? Click here to sign in.
Having issues? You can contact us here
Accelerating Research

Address

John Eccles House
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom