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
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom