research-article

SHARP: a scalable approach to architecture-level reliability prediction of concurrent systems

Authors:

Leana Golubchik,

Nenad MedvidovicAuthors Info & Claims

QUOVADIS '10: Proceedings of the 2010 ICSE Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems

Pages 1 - 8

https://doi.org/10.1145/1808877.1808879

Published: 03 May 2010 Publication History

Abstract

Early prediction of reliability is important in building dependable software. Existing approaches are unable to model concurrent systems in a scalable way. To address the scalability challenge, we propose a framework that is applicable at the architecture level. Our framework achieves scalability by approaching the system from the perspective of usage scenarios and by employing a hierarchical solution. Specifically, we solve lower granularity scenario-based submodels and a higher granularity system model; we then combine their results to obtain a system reliability estimate. Our evaluation indicates that (a) the proposed hierarchical framework is accurate, and (b) that it is more scalable than existing techniques.

References

[1]

S. Balsamo et al. Model-based performance prediction in software development: A survey. IEEE TSE, 30(5), 2004.

Digital Library

[2]

L. Cheung et al. Early prediction of software component reliability. In ICSE 2008.

Digital Library

[3]

R. C. Cheung. A user-oriented software reliability model. IEEE TSE, 6(2), 1980.

Digital Library

[4]

P. D'Argenio et al. On generative parallel composition. Electronic Notes in Theoretical Computer Science, 22, 2000.

[5]

R. El-Kharboutly et al. UML-based methodology for reliability analysis of concurrent software applications. I. J. Comput. Appl., 14(4):250--259, 2007.

[6]

S. Gokhale. Architecture-based software reliability analysis: Overview and limitations. IEEE TDSC, 4(1), Jan 2007.

Digital Library

[7]

S. Gokhale and K. Trivedi. Reliability prediction and sensitivity analysis based on software architecture. ISSRE'02.

Digital Library

[8]

K. Goseva-Popstojanova et al. Architectural-level risk analysis using UML. IEEE TSE, 29(3), Oct 2003.

Digital Library

[9]

K. Goseva-Popstojanova and S. Kamavaram. Software reliability estimation under uncertainty: Generalization of the method of moments. In Proc. of HASE 2004.

Digital Library

[10]

K. Goseva-Popstojanova and K. Trivedi. Architecture-based approaches to software reliability prediction. Intl. J. Comp. & Math. with Applications, 46(7), Oct 2003.

[11]

A. Immonen and E. Niemela. Survey of reliability and availability prediction methods from the viewpoint of software architecture. Software and Sys. Modeling, Jan 2007.

[12]

S. Krishnamurthy and A. Mathur. On the estimation of reliability of a software system using reliabilities of its components. In ISSRE 97.

Digital Library

[13]

S. Malek et al. Reconceptualizing a family of heterogeneous embedded systems via explicit architectural support. ICSE'07.

Digital Library

[14]

R. Reussner et al. Reliability prediction for component-based software architectures. J. of Sys. and Software, 66(3), 2003.

Digital Library

[15]

G. Rodrigues et al. Using scenarios to predict the reliability of concurrent component-based software systems. FASE'05.

Digital Library

[16]

R. Roshandel et al. A Bayesian model for predicting reliability of software systems at the architectural level. QoSA'07.

Digital Library

[17]

R. Roshandel et al. Understanding tradeoffs among different architectural modeling approaches. In WICSA 2004.

[18]

W. Stewart. Probability, Markov Chains, Queues, and Simulation. Princeton University Press, 2009.

Digital Library

[19]

H. C. Tijms. Stochastic Models. John Wiley and Sons, 1994.

[20]

W. Wang, D. Pan, and M. Chen. Architecture-based software reliability modeling. J. of Systems and Software, 79(1), 2006.

Digital Library

[21]

S. Yacoub et al. Scenario-based reliability analysis of component-based software. In Proc. 10th ISSRE, Nov 1999.

Digital Library

[22]

D. Yellin and R. Strom. Protocol specifications and component adaptors. ACM TOPLAS, 19(2):292--333, 1997.

Digital Library

Cited By

Ali ABashir MHassan AHamza RAlqhtani STawfeeg TYousif A(2022)Design-Time Reliability Prediction Model for Component-Based Software SystemsSensors10.3390/s2207281222:7(2812)Online publication date: 6-Apr-2022
https://doi.org/10.3390/s22072812
Wu XLi CWang XYang H(2019)A Creative Approach to Reducing Ambiguity In Scenario-based Software Architecture AnalysisInternational Journal of Automation and Computing10.1007/s11633-017-1102-y16:2(248-260)Online publication date: 1-Apr-2019
https://dl.acm.org/doi/10.1007/s11633-017-1102-y
Cheung LKrka IGolubchik LMedvidovic NKaeli DRolia JJohn LKrishnamurthy D(2012)Architecture-level reliability prediction of concurrent systemsProceedings of the 3rd ACM/SPEC International Conference on Performance Engineering10.1145/2188286.2188305(121-132)Online publication date: 22-Apr-2012
https://dl.acm.org/doi/10.1145/2188286.2188305

Index Terms

SHARP: a scalable approach to architecture-level reliability prediction of concurrent systems
1. General and reference
  1. Cross-computing tools and techniques
    1. Reliability
2. Software and its engineering
  1. Software organization and properties
    1. Extra-functional properties
      1. Software reliability

Recommendations

Architecture-level reliability prediction of concurrent systems
ICPE '12: Proceedings of the 3rd ACM/SPEC International Conference on Performance Engineering

Stringent requirements on modern software systems dictate evaluation of dependability qualities, such as reliability, as early as possible in a system's life cycle. A primary shortcoming of the existing design-time reliability prediction approaches is ...
Scalable transactions in cloud data stores

Cloud Computing is a successful paradigm for deploying scalable and highly available web applications at low cost. In real life scenarios, the applications are expected to be scalable and consistent. Data partitioning is a commonly used technique for ...
Scalable Feedback Aggregating (SFA) Overlay for Large-Scale P2P Trust Management

In Peer-to-Peer (P2P) trust management, feedback provides an efficient and effective way to build a reputation-based trust relationship among peers. There is no doubt that the scalability of a feedback aggregating overlay is the most fundamental ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

QUOVADIS '10: Proceedings of the 2010 ICSE Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems

May 2010

50 pages

ISBN:9781605589725

DOI:10.1145/1808877

General Chair:
Carlo Ghezzi
Politecnico di Milano, Italy
,
Program Chairs:
Lars Grunske Swinburne
University of Technology, Australia
,
Raffaela Mirandola
Politecnico di Milano, Italy

Copyright © 2010 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 03 May 2010

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Funding Sources

National Science Foundation

Conference

ICSE '10

Sponsor:

SIGSOFT

ICSE '10: 32nd International Conference on Software Engineering

May 3, 2010

Cape Town, South Africa

Upcoming Conference

ICSE 2025

2025 IEEE/ACM 46th International Conference on Software Engineering

April 26 - May 3, 2025

Ottawa , ON , Canada

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

3
Total Citations
View Citations
117
Total Downloads

Downloads (Last 12 months)3
Downloads (Last 6 weeks)0

Reflects downloads up to 05 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

Ali ABashir MHassan AHamza RAlqhtani STawfeeg TYousif A(2022)Design-Time Reliability Prediction Model for Component-Based Software SystemsSensors10.3390/s2207281222:7(2812)Online publication date: 6-Apr-2022
https://doi.org/10.3390/s22072812
Wu XLi CWang XYang H(2019)A Creative Approach to Reducing Ambiguity In Scenario-based Software Architecture AnalysisInternational Journal of Automation and Computing10.1007/s11633-017-1102-y16:2(248-260)Online publication date: 1-Apr-2019
https://dl.acm.org/doi/10.1007/s11633-017-1102-y
Cheung LKrka IGolubchik LMedvidovic NKaeli DRolia JJohn LKrishnamurthy D(2012)Architecture-level reliability prediction of concurrent systemsProceedings of the 3rd ACM/SPEC International Conference on Performance Engineering10.1145/2188286.2188305(121-132)Online publication date: 22-Apr-2012
https://dl.acm.org/doi/10.1145/2188286.2188305

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Figures

Tables

Media

View Table of Conten