No Access

Efficient Reliability Analysis of Concurrent Software Applications Considering Software Architecture

Rehab El Kharboutly

Department of Mathematics and Computer Science, Eastern Connecticut State University, Willimantic, CT 06226, USA

Search for more papers by this author

and

Swapna S. Gokhale

Department of Computer Science and Engineering, University of Connecticut, Storrs, CT 06269, USA

Search for more papers by this author

https://doi.org/10.1142/S0218194014500028Cited by:2 (Source: Crossref)

Abstract

Architecture-based reliability analysis of software applications is gaining prominence as it can provide valuable guidance to software architects during early design phases. Concurrent component execution is common among modern software applications, and hence, reliability analysis considering concurrency within the context of software architecture is essential. Our preliminary analysis approach considering concurrency suffers from state-space explosion; due to which it cannot be applied to practical software applications. This paper proposes solutions to the model specification and solution challenges arising from the state-space explosion problem. The specification challenge is alleviated using the Stochastic Reward Net (SRN) modelling paradigm which can intuitively and concisely represent concurrent software architecture at a higher level of abstraction. The computational challenge is alleviated by aggregating the original state space. Our illustrations show that aggregation introduces only a small inaccuracy into the reliability estimate, and hence, preserves the utility of the original model to produce design guidance via sensitivity analysis.

Keywords:

References

B. Cukic, IEEE Software 22(3), 50 (2005), DOI: 10.1109/MS.2005.79. Crossref, Web of Science, Google Scholar
K. Goseva-Popstojanova, M. Hamill and R. Perugupalli, Large empirical case study of architecture-based software reliability, Proc. of Intl. Symposium on Software Reliability Engineering (2005) pp. 43–52. Google Scholar
K. Goseva-Popstojanova and K. S. Trivedi, Performance Evaluation 45(3), 578 (2001). Google Scholar
S. Gokhale, Intl. Journal of Reliability, Quality and Safety Engineering 12(3), 267 (2005), DOI: 10.1142/S0218539305001768. Link, Google Scholar
S. Gokhale and K. S. Trivedi, IEEE Trans. on Reliability 578 (2006), DOI: 10.1109/TR.2006.884587. Web of Science, Google Scholar
P. Popicet al., Error propagation in the reliability analysis of component based systems, Proc. of Intl. Symposium on Software Reliability Engineering (2005) pp. 53–62. Google Scholar
R. Ammar, S. Gokhale and R. El Kharboutly, Int. Journal of Computers and Their Applications 14(4), 250 (2007). Google Scholar
S. Gokhale, R. Ammar and R. El Kharboutly, Intl. Journal of Reliability, Quality and Safety Engineering 14(5), 479 (2006). Google Scholar
B. Tuffin, K. S. Trivedi and C. Hirel, SPNP: Stochastic Petri Nets, Lecture Notes in Computer Science 1786, 2000, pp. 354–357 . Google Scholar
R. Sahner, K. S. Trivedi and A. Puliafito, IEEE Trans. on Relability 46(3), 441 (1997), DOI: 10.1109/TR.1997.664017. Crossref, Google Scholar
W. L. Heimerdinger and C. B. Weinstock, A conceptual framework for system fault tolerance, CMU/SEI-92-TR-033, Carnegie-Mellon University/Software Engineering Institute, 1992 . Google Scholar
A. Puliafito, M. Telek and K. S. Trivedi, The evolution of stochastic Petri nets, Proc. of World Congress on Systems Simulation (1997) pp. 3–15. Google Scholar
J. Muppala, K. S. Trivedi and G. Ciardo, SPNP: Stochastic Petri net package, Proc. of Intl. Workshop on Petri Nets and Perfomance Models (1989) pp. 142–151. Google Scholar
K. S. Trivedi , Probability and Statistics with Reliability, Queuing and Computer Science Applications ( John Wiley and Sons , 2001 ) . Google Scholar
W. Wang, Y. Wu and M. H. Chen, An architecture-based software reliability model, Proc. of Pacific Rim Dependability Symposium (1999) pp. 143–150. Google Scholar
R. G. Pettit IV and H. Gomaa, Improving the reliability of concurrent object-oriented software designs, Proc. of Intl. Workshop on Object-Oriented Real-Time Dependable Systems (2003) pp. 262–269. Google Scholar
S. Ramamoorthy, S. Rajagopalan and S. Sathyalakshmi, Intl. Journal on Computer Science and Engineering 2(4), 1280 (2010). Google Scholar
L. K. Singh, A. K. Tripathi and G. Vinod, Journal of Software Engineering and Applications 4, 181 (2011), DOI: 10.4236/jsea.2011.43020. Crossref, Google Scholar
D. Rosenblum, S. Uchitel and G. Rodrigues, Using scenarios to predict the reliability of concurrent component-based software systems, Proc. of Fundamental Approaches to Software Engineering (2005) pp. 111–127. Google Scholar
L. Zhu and Y. Li, Reliability analysis of component software based on stochastic Petri nets, Proc. of IEEE/ACIS International Conference on Computer and Information Science (2007) pp. 296–301. Google Scholar
L. Cheung, L. Golubchik and N. Medvidovic, SHARP: A scalable approach to architecture-level reliability prediction of concurrent systems, Proc. of ICSE Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems (2010) pp. 1–8. Google Scholar
W. Xiaoliet al., Reduction of stochastic Petri nets for reliability analysis, Proc. of Intl. Conference on Electronic Measurement and Instruments (2007) pp. 1-222–1-226. Google Scholar
J.-C. Laprie and K. Kanoun, Handbook of Software Reliability Engineering, ed. M. R. Lyu (1997) pp. 27–69. Google Scholar
J. J. Han and H. Sun, IEEE Trans. on Reliability 52(2), 238 (2003). Web of Science, Google Scholar
K. Goseva-Popstojanova, M. Hamill and R. Perugupalli, Large empirical case study of architecture-based software reliability, Proc. of Intl. Symposium on Software Reliability Engineering (2005) pp. 43–52. Google Scholar
M. Ajmone Marsan, Advances in Petri Nets 1 (1989). Google Scholar