Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
skip to main content
10.1145/2000259.2000275acmconferencesArticle/Chapter ViewAbstractPublication PagescomparchConference Proceedingsconference-collections
research-article

Architecture-based reliability evaluation under uncertainty

Published: 20 June 2011 Publication History

Abstract

The accuracy of architecture-based reliability evaluations depends on a number of parameters that need to be estimated, such as environmental factors or system usage. Researchers have tackled this problem by including uncertainties in architecture evaluation models and solving them analytically and with simulations. The usual assumption is that the input parameter distributions are normal, and that it is sufficient to report the attributes that describe the system in terms of the mean and variance of the attribute. In this work, we introduce a simulation-based approach that can accommodate a diverse set of parameter range distributions, self-regulate the number of architecture evaluations to the desired significance level and reports the desired percentiles of the values which ultimately characterise a specific quality attribute of the system. We include a case study which illustrates the flexibility of this approach using the evaluation of system reliability.

References

[1]
I. Assayad, A. Girault, and H. Kalla. A bi-criteria scheduling heuristic for distributed embedded systems under reliability and real-time constraints. In Dependable Systems and Networks, pages 347--356. IEEE, 2004.
[2]
J. Axelsson. Cost Models with Explicit Uncertainties for Electronic Architecture Trade-off and Risk Analysis. Current Practice, 2006.
[3]
S. Balsamo, A. Di Marco, P. Inverardi, and M. Simeoni. Model-based performance prediction in software development: A survey. Software Engineering, IEEE Transactions on, 30(5):295--310, 2004.
[4]
M. Basseur and E. Zitzler. A preliminary study on handling uncertainty in indicator-based multiobjective optimization. In Appl. of Evol. Computing, pages 727--739. Springer, 2006.
[5]
S. Becker, L. Grunske, R. Mirandola, and S. Overhage. Performance prediction of component-based systems - a survey from an engineering perspective. In Architecting Systems with Trustworthy Components, volume 3938 of LNCS, pages 169--192. Springer, 2006.
[6]
H. Beyer and B. Sendhoff. Robust optimization - A comprehensive survey. Computer Methods in Applied Mechanics and Engineering, 196(33--34):3190--3218, 2007.
[7]
A. Bhunia, L. Sahoo, and D. Roy. Reliability stochastic optimization for a series system with interval component reliability via genetic algorithm. Applied Mathematics and Computation, 216(3):929--939, 2010.
[8]
A. Birolini. Reliability engineering: theory and practice. Springer-Verlag, 2010.
[9]
R. Cheung. A user-oriented software reliability model. Software Engineering, IEEE Transactions on, 6(2):118--125, 1980.
[10]
D. Coit, T. Jin, and N. Wattanapongsakorn. System Optimization With Component Reliability Estimation Uncertainty: A Multi-Criteria Approach. IEEE Transactions on Reliability, 53(3):369--380, 2004.
[11]
D. W. Coit and A. E. Smith. Genetic algorithm to maximize a lower-bound for system time-to-failure with uncertain component Weibull parameters. Computers & Industrial Engineering, 41, 2002.
[12]
V. Cortellessa and V. Grassi. A modeling approach to analyze the impact of error propagation on reliability of component-based systems. In Component-Based Software Engineering, pages 140--156. Springer-Verlag, 2007.
[13]
L. Fiondella and S. S. Gokhale. Software reliability with architectural uncertainties. In Parallel and Distributed Processing, pages 1--5. IEEE, 2008.
[14]
M. Förster and M. Trapp. Fault Tree Analysis of Software-Controlled Component Systems Based on Second-Order Probabilities. In Int. Symp. on Software Reliability Engineering, pages 146--154. IEEE, Nov. 2009.
[15]
K. Goeva-Popstojanova and K. Trivedi. Architecture-based approach to reliability assessment of software systems. Performance Evaluation, 45(2--3):179--204, 2001.
[16]
S. Gokhale and K. Trivedi. Reliability prediction and sensitivity analysis based on software architecture. In Int. Sym. on Software Reliability Engineering, pages 64--75. IEEE, 2003.
[17]
K. Goseva-Popstojanova and M. Hamill. Architecture-based software reliability: Why only a few parameters matter? In Computer Software and Applications Conference, 2007., volume 1, pages 423--430. IEEE, 2007.
[18]
K. Goseva-Popstojanova, M. Hamill, and R. Perugupalli. Large empirical case study of architecture-based software reliability. In Int. Sym. on Software Reliability Engineering, volume 54, pages 10--52. IEEE, 2005.
[19]
K. Goseva-Popstojanova, M. Hamill, and X. Wang. Adequacy, Accuracy, Scalability, and Uncertainty of Architecture-based Software Reliability: Lessons Learned from Large Empirical Case Studies. In Int. Symp. on Software Reliability Engineering, pages 197--203. IEEE, 2006.
[20]
K. Goseva-Popstojanova and S. Kamavaram. Assessing uncertainty in reliability of component-based software systems. In ISSRE 2003., pages 307--320. IEEE, 2003.
[21]
K. Goseva-Popstojanova and S. Kamavaram. Software reliability estimation under uncertainty:generalization of the method of moments. High Assurance Systems Engineering, 2004., pages 209--218, 2004.
[22]
L. Grunske and J. Han. A Comparative Study into Architecture-Based Safety Evaluation Methodologies Using AADL's Error Annex and Failure Propagation Models. High Assurance Systems Engineering Symposium, pages 283--292, 2008.
[23]
A. Jhumka, M. Hiller, and N. Suri. Component-Based Synthesis of Dependable Embedded Software. Lecture Notes in Computer Science, 2469:111--128, 2002.
[24]
P. Kubat. Assessing reliability of modular software. Operations research letters, 8(1):35--41, 1989.
[25]
P. Limbourg. Multi-objective optimization of generalized reliability design problems using feature models - A concept for early design stages. Reliability Engineering & System Safety, 93(6):815--828, June 2008.
[26]
M. Marseguerra, E. Zio, L. Podofillini, and D. Coit. Optimal Design of Reliable Network Systems in Presence of Uncertainty. IEEE Transactions on Reliability, 54(2):243--253, 2005.
[27]
I. Meedeniya, B. Buhnova, A. Aleti, and L. Grunske. Architecture-driven reliability and energy optimization for complex embedded systems. In Quality of Software Architectures, QoSA 2010, volume 6093 of LNCS, pages 52--67. Springer, 2010.
[28]
I. Meedeniya, B. Bühnova, A. Aleti, and L. Grunske. Reliability-driven deployment optimization for embedded systems. Journal of Systems and Software, 84(5):835--846, 2011.
[29]
D. Montgomery and G. Runger. Applied statistics and probability for engineers. Wiley-India, 2007.
[30]
W. Oberkampf, J. Helton, C. Joslyn, S. Wojtkiewicz, and S. Ferson. Challenge problems: uncertainty in system response given uncertain parameters. Reliability Engineering & System Safety, 85(1--3):11--19, 2004.
[31]
R. Roshandel, S. Banerjee, L. Cheung, N. Medvidovic, and L. Golubchik. Estimating software component reliability by leveraging architectural models. In International conference on Software engineering, page 853. ACM Press, 2006.
[32]
R. Roshandel, N. Medvidovic, and L. Golubchik. A Bayesian Model for Predicting Reliability of Software Systems at the Architectural Level. LNCS, 4880:108--126, 2007.
[33]
R. Rubinstein and D. Kroese. Simulation and the Monte Carlo method. Wiley-interscience, 2008.
[34]
A. Sanchez, S. Carlos, S. Martorell, and J. Villanueva. Addressing imperfect maintenance modelling uncertainty in unavailability and cost based optimization. Reliability Engineering & System Safety, 94(1):22--32, Jan. 2009.
[35]
K. Trivedi. Probability & Statistics with Reliability, Queuing and Computer Science Applications. Wiley-India, 2009.
[36]
W. Wang, Y. Wu, and M. Chen. An architecture-based software reliability model. In Dependable Computing, 1999. Proceedings. 1999 Pacific Rim International Symposium on, pages 143--150. IEEE, 2002.
[37]
N. Wattanapongskorn and D. W. Coit. Fault-tolerant embedded system design and optimization considering reliability estimation uncertainty. Rel. Eng., 92:395--407, 2007.
[38]
L. Yin, M. Smith, and K. Trivedi. Uncertainty analysis in reliability modeling. Reliability and Maintainability Symposium, pages 229--234, 2001.

Cited By

View all
  • (2024)Taming uncertainty with MDE: an historical perspectiveSoftware and Systems Modeling10.1007/s10270-024-01227-4Online publication date: 28-Oct-2024
  • (2024)Exploring the interaction of design variability and stochastic operational uncertainties in software-intensive systems through the lens of modelingSoftware and Systems Modeling10.1007/s10270-024-01226-5Online publication date: 11-Nov-2024
  • (2024)Accurately Computing Expected Visiting Times and Stationary Distributions in Markov ChainsTools and Algorithms for the Construction and Analysis of Systems10.1007/978-3-031-57249-4_12(237-257)Online publication date: 5-Apr-2024
  • Show More Cited By

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
QoSA-ISARCS '11: Proceedings of the joint ACM SIGSOFT conference -- QoSA and ACM SIGSOFT symposium -- ISARCS on Quality of software architectures -- QoSA and architecting critical systems -- ISARCS
June 2011
206 pages
ISBN:9781450307246
DOI:10.1145/2000259
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: 20 June 2011

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. monte carlo simulation
  2. reliability
  3. software architecture evaluation
  4. uncertainty analysis

Qualifiers

  • Research-article

Conference

Comparch '11
Sponsor:

Acceptance Rates

Overall Acceptance Rate 46 of 131 submissions, 35%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)15
  • Downloads (Last 6 weeks)1
Reflects downloads up to 05 Mar 2025

Other Metrics

Citations

Cited By

View all
  • (2024)Taming uncertainty with MDE: an historical perspectiveSoftware and Systems Modeling10.1007/s10270-024-01227-4Online publication date: 28-Oct-2024
  • (2024)Exploring the interaction of design variability and stochastic operational uncertainties in software-intensive systems through the lens of modelingSoftware and Systems Modeling10.1007/s10270-024-01226-5Online publication date: 11-Nov-2024
  • (2024)Accurately Computing Expected Visiting Times and Stationary Distributions in Markov ChainsTools and Algorithms for the Construction and Analysis of Systems10.1007/978-3-031-57249-4_12(237-257)Online publication date: 5-Apr-2024
  • (2022)System architecture synthesis for performability by logic solversProceedings of the 25th International Conference on Model Driven Engineering Languages and Systems10.1145/3550355.3552448(43-54)Online publication date: 23-Oct-2022
  • (2022)Continuous and Proactive Software Architecture Evaluation: An IoT CaseACM Transactions on Software Engineering and Methodology10.1145/349276231:3(1-54)Online publication date: 15-Mar-2022
  • (2022)Quantitative verification with adaptive uncertainty reductionJournal of Systems and Software10.1016/j.jss.2022.111275188:COnline publication date: 1-Jun-2022
  • (2021)Evaluation of Software Architectures under UncertaintyACM Transactions on Software Engineering and Methodology10.1145/346430530:4(1-50)Online publication date: 3-Aug-2021
  • (2021)Stability in Software Engineering: Survey of the State-of-the-Art and Research DirectionsIEEE Transactions on Software Engineering10.1109/TSE.2019.292561647:7(1468-1510)Online publication date: 1-Jul-2021
  • (2021)Living with Uncertainty in Model-Based DevelopmentComposing Model-Based Analysis Tools10.1007/978-3-030-81915-6_8(159-185)Online publication date: 18-Jul-2021
  • (2020)HaiQProceedings of the 8th International Conference on Formal Methods in Software Engineering10.1145/3372020.3391562(22-33)Online publication date: 7-Oct-2020
  • Show More Cited By

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media