research-article

Probabilistic automata for architecture-based reliability assessment

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 17 - 24

https://doi.org/10.1145/1808877.1808881

Published: 03 May 2010 Publication History

Abstract

Non-functional properties, such as reliability and performance, should be assessed as early as possible in a system's life cycle for cost effectiveness reasons. Hence, several software architecture-based reliability assessment techniques have been proposed. These techniques quantitatively analyze a system's or a component's behavior, which is typically represented using probabilistic generative automata. However, we demonstrate that generative automata do not appropriately capture information available in an operational profile. Furthermore, we overview other existing probabilistic automata formalisms; we identify their features and shortcomings when capturing an operational profile. As a way to circumvent the identified deficiencies, we introduce probabilistic component interface protocols, a new probabilistic automata formalism that supports intuitive and direct mapping of an operational profile. Finally, we discuss how to derive the analysis-oriented generative models from the probabilistic component interface protocols.

References

[1]

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

Digital Library

[2]

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

Digital Library

[3]

P. D'Argenio et al. On generative parallel composition. Electron. Notes Theor. Comp. Sci., 22, 1999.

[4]

L. De Alfaro and T. Henzinger. Interface automata. In Proc. of ESEC/FSE, 2001.

Digital Library

[5]

G. Edwards et al. Scenario-Driven Dynamic Analysis of Distributed Architectures. In Proc. of FASE, 2007.

Digital Library

[6]

S. Gokhale. Architecture-based software reliability analysis: Overview and limitations. IEEE Trans. on Dependable and Secure Comp., 4(1), 2007.

Digital Library

[7]

A. Hinton et al. PRISM: A tool for automatic verification of probabilistic systems. In Proc. of TACAS, 2006.

Digital Library

[8]

A. Immonen and E. Niemelä. Survey of reliability and availability prediction methods from the viewpoint of software architecture. Soft. and Sys. Modeling, 7(1), 2008.

[9]

H. Koziolek and F. Brosch. Parameter dependencies for component reliability specifications. Electron. Notes Theor. Comput. Sci., 253(1), 2009.

Digital Library

[10]

I. Krka et al. A comprehensive exploration of challenges in Architecture-Based reliability estimation. In Arch. Dependable Sys. VI. 2009.

Digital Library

[11]

K. Larsen and A. Skou. Bisimulation through probabilistic testing. Information and Computation, 94, 1991.

Digital Library

[12]

J. D. Musa. Operational profiles in software-reliability engineering. IEEE Software, 10(2), 1993.

Digital Library

[13]

E. Pavese et al. Probabilistic environments in the quantitative analysis of (non-probabilistic) behaviour models. In Proc. of ESEC/FSE, 2009.

Digital Library

[14]

L. Rabiner. A tutorial on hidden Markov models and selected applications in speech recognition. Readings in speech recognition, 53(3), 1990.

Digital Library

[15]

R. Reussner et al. Reliability prediction for component-based software architectures. JSS, 66(3), 2003.

Digital Library

[16]

G. Rodrigues et al. Using scenarios to predict the reliability of concurreny component-based software systems. In Proc. of FASE, 2005.

Digital Library

[17]

A. Sokolova and E. De Vink. Probabilistic automata: system types, parallel composition and comparison. In Validation of Stochastic Systems, 2004.

[18]

W. Stewart. Numerical solution of Markov chains. CRC, 1991.

[19]

S. Wu et al. Composition and behaviors of probabilistic I/O automata. Theor. Comp. Sci., 176(1--2), 1997.

Digital Library

Cited By

Alasmari NCalinescu RPaterson CMirandola R(2022)Quantitative verification with adaptive uncertainty reductionJournal of Systems and Software10.1016/j.jss.2022.111275188:COnline publication date: 1-Jun-2022
https://dl.acm.org/doi/10.1016/j.jss.2022.111275
Rodrigues PLupu EKramer JGray JChechik MKulkarni VPaige R(2015)Compositional reliability analysis for probabilistic component automataProceedings of the Seventh International Workshop on Modeling in Software Engineering10.5555/2820489.2820494(19-24)Online publication date: 16-May-2015
https://dl.acm.org/doi/10.5555/2820489.2820494
Rodrigues PLupu EKramer J(2015)Compositional Reliability Analysis for Probabilistic Component AutomataProceedings of the 2015 IEEE/ACM 7th International Workshop on Modeling in Software Engineering10.1109/MiSE.2015.11(19-24)Online publication date: 16-May-2015
https://dl.acm.org/doi/10.1109/MiSE.2015.11
Show More Cited By

Index Terms

Probabilistic automata for architecture-based reliability assessment

Recommendations

Algorithms for Probabilistic and Stochastic Subsequential Failure Transducers
Implementation and Application of Automata
Abstract
This paper introduces a framework for building probabilistic models with subsequential failure transducers. We first show how various types of subsequential transducers commonly used in natural language processing are represented by probabilistic ...
Reliability assessment through probabilistic refinement

The paper presents an approach to reasoning about probabilistic systems that are to be implemented in a parallel or distributed manner. The approach allows us to obtain a quantitative assessment of the reliability of a system under construction. We base ...
Probabilistic ω-automata

Probabilistic ω-automata are variants of nondeterministic automata over infinite words where all choices are resolved by probabilistic distributions. Acceptance of a run for an infinite input word can be defined using traditional acceptance criteria for ...

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

4
Total Citations
View Citations
160
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

Alasmari NCalinescu RPaterson CMirandola R(2022)Quantitative verification with adaptive uncertainty reductionJournal of Systems and Software10.1016/j.jss.2022.111275188:COnline publication date: 1-Jun-2022
https://dl.acm.org/doi/10.1016/j.jss.2022.111275
Rodrigues PLupu EKramer JGray JChechik MKulkarni VPaige R(2015)Compositional reliability analysis for probabilistic component automataProceedings of the Seventh International Workshop on Modeling in Software Engineering10.5555/2820489.2820494(19-24)Online publication date: 16-May-2015
https://dl.acm.org/doi/10.5555/2820489.2820494
Rodrigues PLupu EKramer J(2015)Compositional Reliability Analysis for Probabilistic Component AutomataProceedings of the 2015 IEEE/ACM 7th International Workshop on Modeling in Software Engineering10.1109/MiSE.2015.11(19-24)Online publication date: 16-May-2015
https://dl.acm.org/doi/10.1109/MiSE.2015.11
Rodrigues PKramer JLupu E(2015)On re-assembling self-managed components2015 IFIP/IEEE International Symposium on Integrated Network Management (IM)10.1109/INM.2015.7140362(727-733)Online publication date: May-2015
https://doi.org/10.1109/INM.2015.7140362

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