Skip to main content

Efficient Sensitivity Analysis of Reliability in Embedded Software

  • Conference paper
  • 1642 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 8955))

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

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Beyer, H.-G., Sendhoff, B.: Robust optimization - a comprehensive survey. Computer Methods in Applied Mechanics and Eng. 196(33-34), 3190–3218 (2007)

    Article  MATH  MathSciNet  Google Scholar 

  2. Cheung, R.C.: A user-oriented software reliability model. IEEE Transactions on Software Engineering 6(2), 118–125 (1980)

    Article  MATH  Google Scholar 

  3. 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)

    Article  Google Scholar 

  4. 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)

    Article  Google Scholar 

  5. 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)

    Chapter  Google Scholar 

  6. 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)

    Google Scholar 

  7. 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)

    Google Scholar 

  8. 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)

    Google Scholar 

  9. 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)

    Google Scholar 

  10. Gokhale, S.S.: Architecture-based software reliability analysis: Overview and limitations. IEEE Transactions Dependable and Secure Computing 4(1), 32–40 (2007)

    Article  Google Scholar 

  11. 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)

    Google Scholar 

  12. 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)

    Google Scholar 

  13. 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)

    Google Scholar 

  14. 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)

    Google Scholar 

  15. Goševa-Popstojanova, K., Trivedi Architecture-based, K.S.: approach to reliability assessment of software systems. Performance Evaluation 45(2-3), 179–204 (2001)

    Article  MATH  Google Scholar 

  16. 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)

    Article  Google Scholar 

  17. 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)

    Article  Google Scholar 

  18. 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)

    Google Scholar 

  19. 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)

    Google Scholar 

  20. 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)

    Google Scholar 

  21. 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)

    Article  Google Scholar 

  22. Wang, W.-L., Pan, D., Chen, M.-H.: Architecture-based software reliability modeling. Journal of Systems and Software 79(1), 132–146 (2006)

    Article  Google Scholar 

  23. 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)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics