Reliability prediction for component-based software architectures

Journal of Systems and Software

Volumn 66, Issue 3, 2003, Pages 241-252

  Reussner, Ralf H ^a   Schmidt, Heinz W ^b   Poernomo, Iman H ^a  

^a Distributed Syst Technology Center   (Australia)

^b MONASH UNIVERSITY   (Australia)

Author keywords

Availability; Component based software; Reliability; Software architecture

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; MIDDLEWARE; RELIABILITY;

SOFTWARE ARCHITECTURE;

COMPUTER SOFTWARE;

EID: 0038182795     PISSN: 01641212     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0164-1212(02)00080-8     Document Type: Article

References (27)

1. Cheung R.C. A user-oriented software reliability model. IEEE Transactions on Software Engineering. 6(2):1980;118-125. Special collection from COMPSAC '78.
2. DeAlfaro L., Henzinger T.A. Interface automata. Gruhn V. Proceedings of the Joint 8th European Software Engineering Conference and 9th ACM SIGSOFT Symposium on the Foundation of Software Engineering (ESEC/FSE-01). vol. 26:2001;. vol. 5 of SOFTWARE ENGINEERING NOTES, New York, ACM Press, pp. 109-120.
3. de Roever, W.-R., Langmaack, H., Pnueli, A., 1998. Compositionality: the significant difference. In: International Symposium, COMPOS'97, Bad Malente, Springer-Verlag, Germany.
4. Dyer M. The cleanroom approach to quality software development. Series in Software Engineering Practice. 1992;Wiley & Sons, New York, NY, USA.
5. Freudig, J., 1998. Konformitätsprüfung jenseits von Typanalyse. Diplomarbeit, Fakultät für Informatik, Universität Karlsruhe (TH), Germany.
6. Frolund, S., Koistinen, J., 1998. Quality-of-service specification in distributed object systems. Technical Report HPL-98-159, Hewlett Packard, Software Technology Laboratory.
7. Hamlet, D., Mason, D., Woit, D., 2001. Theory of software reliability based on components. In: Proceedings of the 23rd International Conference on Software Engineering (ICSE-01), IEEE Computer Society, Los Alamitos, California, pp. 361-370.
8. Han, J., 2000. Temporal logic based specification of component interaction protocols. In: Proceedings of the 2nd Workshop of Object interoperability at ECOOP 2000, Cannes, France.
9. Hunzelmann, G., 2001. Generierung von Protokollinformation für Softwarekomponentenschnittstellen aus annotiertem Java-Code. Diplomarbeit, Fakultät für Informatik, Universität Karlsruhe (TH), Germany.
10. John D. Musa A.I., Okumoto K. Software Reliability - Measurement, Prediction, Application. 1987;McGraw-Hill, New York.
11. Krämer B. Synchronization constraints in object interfaces. Krämer B., Papazoglou M.P., Schnmidt H.W. Information Systems Interoperability. 1998;111-141 Research Studies Press, Taunton, England.
12. Laprie J.-C., Kanoun K. Software reliability and system reliability. Lyu M.R. Handbook of Software Engineering Reliability. 1996;27-69 McGraw-Hill, New York.
13. Magee, J., Dulay, N., Eisenbach, S., Krämer, J., 1995. Specifying distributed software architectures. In: Proceedings of ESEC '95 - 5th European Software Engineering Conference, volume 989 of Lecture Notes in Computer Science, Sitges, Spain. Springer-Verlag, Berlin, Germany, pp. 137-153.
14. Meyer B. Applying design by contract. IEEE Computer. 25(10):1992;40-51.
15. Mills H.D., Dyer M., Linger R. Cleanroom software engineering. IEEE Software. 4(5):1987;19-25.
16. Reussner, R.H., 1999. Dynamic types for software components. In: Companion of the Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'99), extended abstract.
17. Reussner, R.H., 2001a. Enhanced component interfaces to support dynamic adaption and extension. In: 34th Hawaiin International Conference on System Sciences, IEEE.
18. Reussner R.H. Parametrisierte Vertrüge zur Protokolladaption bei Software-Komponenten. 2001;Logos Verlag, Berlin.
19. Reussner, R.H., 2001c. The use of parameterised contracts for architecting systems with software components. In: Week, W., Bosch, J., Szyperski, C., (Eds.), Proceedings of the Sixth international Workshop on Component-Oriented Programming (WCOP'01).
20. Schmidt, H.W., 1998. Compatibility of interoperable objects. In: Krämer, B., Papazoglou, M.P., Schnmidt, H.W., (Eds.), Information Systems interoperability, Research Studies Press, Taunton, England, pp. 143-181.
21. Schmidt H.W., Poernomo I., Reussner R.H. Trust-by-contract: modelling, analysing and predicting behaviour in software architectures. Journal of Integrated Design and Process Science. 5(3):2001;25-51.
22. Schmidt, H.W., Reussner, R.H., 2002. Generating adapters for concurrent component protocol synchronisation. In: Accepted for the Proceedings of the Fifth IFIP International Conference on Formal Methods for Open Object-Bused Distributed Systems.
23. Shaw M., Garlan D. Software Architecture. 1996;Prentice Hall, Englewood Cliffs, NJ, USA.
24. Trammell C. Quantifying the reliability of software: statistical testing based on a usage model. Proceedings of the Second IEEE international Symposium on Software Engineering Standards. 1995;208.
25. Wang, W.-L., Wu, Y., Chen, M.-H., 1999. An architecture-based software reliability model. In:Proceedings of the 1999 Pacific Rim International Symposium on Dependable Computing, 16-17 December, Hong Kong, China, IEEE.
26. Whittaker J.A., Thomason M.G. A Markov chain model for statistical software testing. IEEE Transactions on Software Engineering. 20(10):1994;812-824.
27. Wydaeghe, B. Component composition based on composition patterns and usage scenarios. Dissertation, Department of Computer Science, Vrije Universitiet Brussel, Belgium.