Abstract
The reliability of software architectures is an important quality attribute in safety-critical systems. Researchers have developed a number of models that can estimate the reliability of software systems at design time. These models use matrix operations of considerable complexity. During the design process of an embedded system as used by the automotive industry, the reliability of a system has to be evaluated after each change. Safety-critical systems are often subjected to sensitivity analysis, where a single parameter is changed numerous times, with a subsequent re-evaluation of the system’s reliability. In this paper, we introduce an efficient sensitivity analysis, which computes the change in reliability of the part of the system architecture which was affected by a change. Results from experiments based on a real case-study from the automotive industry indicate a significant improvement in time of the proposed approach compared to traditional sensitivity analysis methods.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Beyer, H.-G., Sendhoff, B.: Robust optimization - a comprehensive survey. Computer Methods in Applied Mechanics and Eng. 196(33-34), 3190–3218 (2007)
Cheung, R.C.: A user-oriented software reliability model. IEEE Transactions on Software Engineering 6(2), 118–125 (1980)
Coit, D.W., Jin, T., Wattanapongsakorn, N.: System optimization with component reliability estimation uncertainty: a multi-criteria approach. IEEE Transactions on Reliability 53(3), 369–380 (2004)
Coit, D.W., Smith, A.E.: Genetic algorithm to maximize a lower-bound for system time-to-failure with uncertain component weibull parameters. Computers & Industrial Engineering 41(4), 423–440 (2002)
Cortellessa, V., Grassi, V.: A modeling approach to analyze the impact of error propagation on reliability of component-based systems. In: Schmidt, H.W., Crnković, I., Heineman, G.T., Stafford, J.A. (eds.) CBSE 2007. LNCS, vol. 4608, pp. 140–156. Springer, Heidelberg (2007)
Filieri, A., Ghezzi, C., Tamburrelli, G.: Run-time efficient probabilistic model checking. In: Proceedings of the 33rd International Conference on Software Engineering, ICSE 2011, May 21-28, pp. 341–350. ACM, Waikiki (2011)
Fiondella, L., Gokhale, S.S.: Software reliability with architectural uncertainties. In: IEEE International Symposium on Parallel and Distributed Processing, pp. 1–5. IEEE Computer Society (2008)
Förster, M., Trapp, M.: Fault tree analysis of software-controlled component systems based on second-order probabilities. In: IEEE International Symposium on Software Reliability Engineering (ISSRE 2009), pp. 146–154. IEEE Computer Society (2009)
Fredriksson, J., Nolte, T., Nolin, M., Schmidt, H.: Contract-based reusable worst-case execution time estimate. In: The International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), pp. 39–46 (2007)
Gokhale, S.S.: Architecture-based software reliability analysis: Overview and limitations. IEEE Transactions Dependable and Secure Computing 4(1), 32–40 (2007)
Gokhale, S.S., Trivedi, K.S.: Reliability prediction and sensitivity analysis based on software architecture. In: International Symposium of Software Reliability Engineering (ISSRE 2002), pp. 64–78. IEEE Computer Society (2002)
Goševa-Popstojanova, K., Hamill, M., Wang, X.: Adequacy, accuracy, scalability, and uncertainty of architecture-based software reliability: Lessons learned from large empirical case studies. In: International Symposium of Software Reliability Engineering (ISSRE 2006), pp. 197–203. IEEE Computer Society (2006)
Goševa-Popstojanova, K., Kamavaram Assessing, S.: uncertainty in reliability of component-based software systems. In: IEEE International Symposium on Software Reliability Engineering (ISSRE 2003), pp. 307–320. IEEE Computer Society (2003)
Goševa-Popstojanova, K., Kamavaram, S.: Software reliability estimation under uncertainty: Generalization of the method of moments. In: High-Assurance Systems Engineering (HASE 2004), pp. 209–218. IEEE Computer Society (2004)
Goševa-Popstojanova, K., Trivedi Architecture-based, K.S.: approach to reliability assessment of software systems. Performance Evaluation 45(2-3), 179–204 (2001)
Kwiatkowska, M.Z., Norman, G., Parker, D.: Probabilistic model checking in practice: case studies with prism. SIGMETRICS Performance Evaluation Review 32(4), 16–21 (2005)
Marseguerra, M., Zio, E., Podofillini, L.: Multiobjective spare part allocation by means of genetic algorithms and monte carlo simulation. Reliability Engineering & System Safety 87(3), 325–335 (2005)
Meedeniya, I., Aleti, A., Avazpour, I., Amin, A.: Robust archeopterix: Architecture optimization of embedded systems under uncertainty. In: 2012 2nd International Workshop on Software Engineering for Embedded Systems (SEES), pp. 23–29 (June 2012)
Meedeniya, I.: An incremental methodology for quantitative software architecture evaluation with probabilistic models. In: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, ICSE 2010, May 1-8, vol. 2, pp. 339–340. ACM, Cape Town (2010)
Meedeniya, I., Grunske, L.: An Efficient Method for Architecture-Based Reliability Evaluation for Evolving Systems with Changing Parameters. In: IEEE International Symposium on Software Reliability Engineering (ISSRE 2010), pp. 229–238. IEEE (2010)
Shatz, S.M., Wang, J.-P., Goto, M.: Task allocation for maximizing reliability of distributed computer systems. IEEE Trans. Computers 41(9), 1156–1168 (1992)
Wang, W.-L., Pan, D., Chen, M.-H.: Architecture-based software reliability modeling. Journal of Systems and Software 79(1), 132–146 (2006)
Wattanapongskorn, N., Coit, D.W.: Fault-tolerant embedded system design and optimization considering reliability estimation uncertainty. Reliability Engineering & System Safety 92(4), 395–407 (2007)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Meedeniya, I., Aleti, A., Moser, I. (2015). Efficient Sensitivity Analysis of Reliability in Embedded Software. In: Chalup, S.K., Blair, A.D., Randall, M. (eds) Artificial Life and Computational Intelligence. ACALCI 2015. Lecture Notes in Computer Science(), vol 8955. Springer, Cham. https://doi.org/10.1007/978-3-319-14803-8_31
Download citation
DOI: https://doi.org/10.1007/978-3-319-14803-8_31
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-14802-1
Online ISBN: 978-3-319-14803-8
eBook Packages: Computer ScienceComputer Science (R0)