Abstract
This paper illustrates a practicable approach to reliability evaluation for highly reliable software systems based on the analysis of their operational experience and demonstrates its applicability to the control software of a gearbox system. The investigations were carried out within a cooperation of academia and automotive industry. The article also elaborates on the possibility of assessing software reliability at system level by combination of component-specific software reliability estimates.
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
Amari, S., Misra, R.: Closed-form Expressions for Distribution of Sum of Exponential Random Variables. IEEE Transactions on Reliability 46(4) (1997)
Bhargava, R.P., Khatri, C.G.: The Distribution of Product of Independent Beta Random Variables with Application to Multivariate Analysis. Annals of the Institute of Statistical Mathematics 33, 287–296 (1981)
Butler, R., Finelli, G.: The Infeasibility of Quantifying the Reliability of Life-critical Real-time Software. Software Engineering 19(1) (1993)
Cox, D.: Renewal Theory. Methuen & Co. (1962)
Ehrenberger, W.: Software-Verifikation. Hanser (2002)
Heinhold, J., Gaede, K.: Ingenieur-Statistik. Oldenbourg (1972)
Law, A.M., Kelton, W.D.: Simulation, Modeling and Analysis. McGraw-Hill, New York (2000)
Limbourg, P., Savic, R., Petersen, J., Kochs, H.D.: Modelling Uncertainty in Fault Tree Analyses Using Evidence Theory. Journal of Risk and Reliability 222, 291–302 (2008)
Littlewood, B., Strigini, L.: Validation of Ultra-high Dependability for Software-based Systems. Communications of the ACM 36(11) (1993)
Littlewood, B., Wright, D.: Stopping Rules for Operational Testing of Safety Critical Software. In: Proc. 25th International Symposium Fault Tolerant Computing (FTCS 25). IEEE, Los Alamitos (1995)
Littlewood, B., Strigini, L.: Software Reliability and Dependability: A Roadmap. In: The Future of Software Engineering. ACM, New York (2000)
Miller, K.W., Morell, L.J., Noonan, R.E., Park, S.K., Nicol, D.M., Murrill, B.W., Voas, J.F.: Estimating the Probability of Failure When Testing Reveals No Failures. IEEE Transactions on Software Engineering 18(1) (January 1992)
Parnas, D., van Schouwen, J., Kwan, S.: Evaluation of Safety-critical Software. Communications of the ACM 33(6) (1990)
Quirk, W.J. (ed.): Verification and Validation of Real-time Software. Springer, Heidelberg (1985)
Saglietti, F.: Evaluation of Pre-developed Software for Usage in Safety Critical Systems. In: Proc. 26th EUROMICRO Conference (EUROMICRO 2000). IEEE, Los Alamitos (2000)
Saglietti, F., Pinte, F., Söhnlein, S.: Integration and Reliability Testing for Component-based Software Systems. In: Proc. 35th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA 2009). IEEE, Los Alamitos (2009)
Söhnlein, S., Saglietti, F.: Auswertung der Betriebserfahrung zum Zuverlässigkeits-nachweis sicherheitskritischer Softwaresysteme. In: Proc. Automotive 2008 - Safety & Security, Sicherheit und Zuverlässigkeit für automobile Informationstechnik, Stuttgart (2008)
Söhnlein, S., Saglietti, F., Bitzer, F., Baryschew, S.: Zuverlässigkeitsbewertung einer Getriebesteuerungs-Software durch Auswertung der Betriebserfahrung. Softwaretechnik-Trends, GI 29(3) (2009)
Störmer, H.: Mathematische Theorie der Zuverlässigkeit. Oldenbourg (1970)
Trivedi, K.: Probability & Statistics with Reliability, Queuing, and Computer Science Applications. Prentice-Hall, Englewood Cliffs (1982)
Wilks, S.: Determination of Sample Sizes for Setting Tolerance Limits. Annals of Mathematical Statistics 12, 91–96 (1941)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Söhnlein, S., Saglietti, F., Bitzer, F., Meitner, M., Baryschew, S. (2010). Software Reliability Assessment Based on the Evaluation of Operational Experience . In: Müller-Clostermann, B., Echtle, K., Rathgeb, E.P. (eds) Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance. MMB&DFT 2010. Lecture Notes in Computer Science, vol 5987. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-12104-3_5
Download citation
DOI: https://doi.org/10.1007/978-3-642-12104-3_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-12103-6
Online ISBN: 978-3-642-12104-3
eBook Packages: Computer ScienceComputer Science (R0)