A compositional method for reliability analysis of workflows affected by multiple failure modes
File(s)2011-cbse.pdf (364.68 KB)
Accepted version
Author(s)
Distefano, S
Filieri, A
Ghezzi, C
Mirandola, R
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 workflow's failure profile. The method is viewed as a design-time aid that can help software engineers reason about system's reliability in the early stage of development. A simple case study is presented to illustrate the proposed approach.
Date Issued
2011-06-20
Date Acceptance
2011-06-20
Citation
Proceedings of the 14th International ACM Sigsoft Symposium on Component Based Software Engineering, 2011, pp.149-158
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.
Source
14th International ACM Sigsoft Symposium on Component Based Software Engineering
Publication Status
Published
Start Date
2011-06-20
Finish Date
2011-06-24
Coverage Spatial
Boulder, Colorado, USA