Show simple item record

dc.contributor.authorSözer, Hasan
dc.contributor.authorStoelinga, M.
dc.contributor.authorBoudali, H.
dc.contributor.authorAksit, M.
dc.date.accessioned2016-06-29T13:04:27Z
dc.date.available2016-06-29T13:04:27Z
dc.date.issued2017
dc.identifier.issn0963-9314
dc.identifier.urihttp://hdl.handle.net/10679/4075
dc.identifier.urihttp://link.springer.com/article/10.1007/s11219-016-9315-9
dc.descriptionDue to copyright restrictions, the access to the full text of this article is only available via subscription.
dc.description.abstractWe present an efficient and easy-to-use methodology to predict—at design time—the availability of systems that support local recovery. Our analysis techniques work at the architectural level, where the software designer simply inputs the software modules’ decomposition annotated with failure and repair rates. From this decomposition, we automatically generate an analytical model (a continuous-time Markov chain), from which an availability measure is then computed, in a completely automated way. A crucial step is the use of intermediate models in the input/output interactive Markov chain formalism, which makes our techniques efficient, mathematically rigorous, and easy to adapt. In particular, we use aggressive minimization techniques to keep the size of the generated state spaces small. We have applied our methodology on a realistic case study, namely the MPlayer open-source software. We have investigated four different decomposition alternatives and compared our analytical results with the measured availability on a running MPlayer. We found that our predicted results closely match the measured ones .
dc.description.sponsorshipDutch Ministry of Economic Affairs ; the Netherlands Organization for Scientific Research ; European Commission
dc.language.isoengen_US
dc.relationinfo:eu-repo/grantAgreement/EC/FP6/004527
dc.relationinfo:eu-repo/grantAgreement/EC/FP7/ICT-2007-1
dc.relation.ispartofSoftware Quality Journal
dc.rightsrestrictedAccess
dc.titleAvailability analysis of software architecture decomposition alternatives for local recoveryen_US
dc.typeArticleen_US
dc.peerreviewedyes
dc.publicationstatuspublisheden_US
dc.contributor.departmentÖzyeğin University
dc.contributor.authorID23178
dc.contributor.ozuauthorSözer, Hasan
dc.identifier.volume25
dc.identifier.issue2
dc.identifier.startpage553
dc.identifier.endpage579
dc.identifier.wosWOS:000401271700008
dc.identifier.doi10.1007/s11219-016-9315-9
dc.subject.keywordsDependability
dc.subject.keywordsAvailability
dc.subject.keywordsFault tolerance
dc.subject.keywordsLocal recovery
dc.subject.keywordsSoftware architecture evaluation
dc.identifier.scopusSCOPUS:2-s2.0-84965002724
dc.contributor.authorMale1


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record


Share this page