A compositional method for reliability analysis of workflows affected by multiple failure modes

File Description SizeFormat 
2011-cbse.pdfAccepted version364.68 kBAdobe PDFDownload
Title: A compositional method for reliability analysis of workflows affected by multiple failure modes
Author(s): Distefano, S
Filieri, A
Ghezzi, C
Mirandola, R
Item Type: Conference Paper
Abstract: 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.
Publication Date: 20-Jun-2011
Date of Acceptance: 20-Jun-2011
URI: http://hdl.handle.net/10044/1/33728
DOI: http://dx.doi.org/10.1145/2000229.2000251
ISBN: 978-1-4503-0723-9
Publisher: ACM
Start Page: 149
End Page: 158
Journal / Book Title: Proceedings of the 14th International ACM Sigsoft Symposium on Component Based Software Engineering
Copyright Statement: © ACM 2011. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in 14th International ACM Sigsoft Symposium on Component Based Software Engineering, http://dx.doi.org/10.1145/2000229.2000251.
Conference Name: 14th International ACM Sigsoft Symposium on Component Based Software Engineering
Publication Status: Published
Start Date: 2011-06-20
Finish Date: 2011-06-24
Conference Place: Boulder, Colorado, USA
Appears in Collections:Faculty of Engineering
Computing



Items in Spiral are protected by copyright, with all rights reserved, unless otherwise indicated.

Creative Commons