Abstract
Component based development, which had been successful in enterprise computing, shows promises to be a good development model for automotive systems. This is possible if several dependability concerns of the embedded systems can be properly addressed by the models, frameworks and integration platforms. SaveCCM is a component model for automotive systems developed by employing component based system design. Our ongoing research is related to estimation of software reliability for this model. In this paper, we provide a survey of the state of the art on research techniques for the estimation of system reliability based on component reliabilities and architectures. We further discuss their pros and cons with reference to our architectural model and discuss some practical considerations. Based on this we also present the basics of our approach to reliability modeling of SaveCCM architectures.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Avižienis, A., Laprie, J.-C., Randell, B.: Basic concepts and Taxonomy of dependable and secure computing. IEEE Trans on Dependable and Secure computing 1(1) (January - March 2004)
Cheung, R.C.: A user-oriented software reliability model. IEEE Transactions on Software Engineering 6(2), 118–125 (1980)
Cortellessa, V., Singh, H., Cukic, B.: Early reliability assessment of UML based software models. In: Proc. of Third International Workshop on Software and Performance (WOSP), Rome, Italy, July 24-26, pp. 302–309 (2002)
Gokhale, S., Philip, T., Marinos, P., Trivedi, K.S.: Unification of finite failure non-homogeneous Poisson process models through test coverage. In: Proc. of Seventh International Symposium on Software Reliability Engineering, pp. 299–307 (1996)
Gokhale, S., Wong, W., Horgan, J., Trivedi, K.S.: An analytical approach to architecture-based software performance and reliability prediction. Performance Evaluation 58(4), 391–412 (2004)
Goseva-Popstojanova, K., Trivedi, K.S.: Architecture Based Approach to Reliability Assessment of Software Systems. Performance Evaluation, Vol 45/2-3 (June 2001)
Hamlet, D., Mason, D., Woit, D.: Theory of Software Reliability Based on Components. In: Proc. of International Conference on Software Engineering (ICSE), Toronto, Canada, May, 2001, pp. 361–370 (2001)
Hansson, H., Åkerholm, M., Crnkovic, I., Törngren, M.: SaveCCM – A Component Model for Safety-Critical Real-time Systems. In: Proc. of Euromicro Conference, Special Session Component Models for Dependable Systems. IEEE, Rennes (2004)
Krishnamurthy, S., Mathur, A.: On the Estimation of Reliability of a Software System Using Reliability of its Components. In: Proc. of the 8th IEEE International Symposium on Software Reliability Engineering (ISSRE), November 1997, pp. 146–155 (1997)
Krämer, B., Reussner, R., Schmidt, H.-W.: Predicting Properties of Component Based Software Architectures through Parameterized Contracts. In: M. Wirsing, S. Balsamo, editors, Radical Innovations of Software and Systems Engineering in the Future, TR CS 2002-10, Universitá Cá Foscari di Venezia (2002)
Müller, P., Stich, C., Zeidler, C.: Components@Work: Component Technology for Embedded Systems. In: Proc. of 27th International Workshop on Component-Based Software Engineering, EUROMICRO (2001)
Ommering, R., Linden, F., Kramer, J.: The Koala Component Model for Consumer Electronics Software. IEEE Computer 33(3), 78–85 (2000)
Rabiner, L.: A Tutorial on Hidden Markov Models and Selected Applications in Speech Recognition. Proceedings of the IEEE 77(2), 257–286 (1989)
Roshandel, R., Medvidovic, N.: Modeling Multiple Aspects of Software Components. In: Proc. of workshop on Specification and Verification of Component-Based Systems, ESEC-FSE 2003, Helsinki, Finland (September 2003)
Roshandel, R., Medvidovic, N.: Toward Architecture-based Reliability Estimation. In: Proc. of the Workshop on Architecting Dependable Systems, Edinburgh, UK (May 2004)
Roshandel, R.: Calculating Architectural Reliability via Modelling and Analysis. In: Proc. of the Doctoral Symposium at the International Conference on Software Engineering (ICSE26), Edinburgh, UK (May 2004)
Reussner, R., Schmidt, H., Poernomo, I.: Reliability prediction, for Component-based Software Architectures. Journal of Systems and Software 66(3) (2003)
Perry, D., Wolf, A.: Foundations for the Study of Software Architecture. ACM SIGSOFT Software Engineering Notes 17(4) (1992)
SAVE Project, http://www.mrtc.mdh.se/SAVE/
Shaw, M.: Procedure calls are the assembly language of system interconnection: Connectors deserve first-class status. In: Proceedings of the Workshop on Studies of Software Design (May 1993)
Singh, H., Cortellessa, V., Cukic, B., Gunel, E., Bharadwaj, V.: A Bayesian approach to reliability prediction and assessment of component based systems. In: Proc. of 12th International Symposium on Software Reliability Engineering, ISSRE 2001 (2001)
Stafford, J., McGregor, J.: Issues in Predicting the Reliability of Composed Components. In: Proceedings of 5th workshop on component based software engineering (2002)
Wallnau, K.: A Technology for Predictable Assembly from Certifiable Components. Technical report CMU/SEI-2003-TR-009 (2003)
Wang, W., Wu, Y., Chen, M.: An Architecture-Based Software Reliability Model. In: Proc. of Pacific Rim International Symposium on Dependable Computing (1999)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dimov, A., Punnekkat, S. (2005). On the Estimation of Software Reliability of Component-Based Dependable Distributed Systems. In: Reussner, R., Mayer, J., Stafford, J.A., Overhage, S., Becker, S., Schroeder, P.J. (eds) Quality of Software Architectures and Software Quality. QoSA SOQUA 2005 2005. Lecture Notes in Computer Science, vol 3712. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11558569_13
Download citation
DOI: https://doi.org/10.1007/11558569_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-29033-9
Online ISBN: 978-3-540-32056-2
eBook Packages: Computer ScienceComputer Science (R0)