Using scenarios to predict the reliability of concurrent component-based software systems

Lecture Notes in Computer Science

Volumn 3442, Issue , 2005, Pages 111-126

  Rodrigues, Genaína ^a   Rosenblum, David ^a   Uchitel, Sebastian ^b  

^a UNIVERSITY COLLEGE LONDON   (United Kingdom)

^b IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE; LIFE CYCLE; MATHEMATICAL MODELS; RELIABILITY THEORY; SPECIFICATIONS; USER INTERFACES;

CONCURRENT COMPONENT-BASED SOFTWARE SYSTEM; SCENARIO SPECIFICATION; SCENARIOS; USER-ORIENTED RELIABILITY MODEL;

CONCURRENT ENGINEERING;

EID: 24644494857     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-31984-9_9     Document Type: Conference Paper

References (27)

1. nd ICSE, pages 304-313. ACM Press, 2000.
2. T. Ayles, A. Field, J. Magee, and A. Bennett. Adding performance evaluation to the LTSA tool (tool demonstration). In Proc. 13th Performance Tools, September 2003.
3. R. C. Cheung. A User-Oriented Software Reliability Model. In IEEE Transactions on Software Engineering, volume 6(2), pages 118-125. IEEE, Mar. 1980.
4. rd WOSP, pages 302-309. ACM Press, 2002.
5. P. R. D'Argenio, H. Hermanns, and J.-P. Katoen. On generative parallel composition. In C. Baier, M. Huth, M. Kwiatkowska, and M. Ryan, editors, Electronic Notes in Theoretical Computer Science, volume 22. Elsevier, 2000.
6. P. Frankl, R. Hamlet, B. Littlewood, and L. Strigini. Evaluating testing methods by delivered reliability. IEEE Transactions on Software Engineering, 24(8):586-601, 1998.
7. th ISSRE, 1998.
8. K. Goševa-Popstojanova and K. S. Trivedi. Architecture-Based Approach to Reliability Assessment of Software Systems. In Performance Evaluation Journal. Elsevier Science, 2001.
9. ITU. ITU-T Recommendation Z.120 Message Sequence Charts (MSC'99). Technical report, ITU Telecommunication Standardization Sector, Geneva, 1996.
10. M. R. Lyu. Software Reliability Modeling. World Scientific Publishing Company, 1991.
11. M. R. Lyu. Handbook of Software Reliability Engineering. IEEE Computer Society Press and McGraw-Hill, 1996.
12. th EDCC, Toulouse), pages 121-139. Springer-Verlag, 2002.
13. I. Majzik, A. Pataricza, and A. Bondavalli. Stochastic Dependability Analysis of System Architecture Based on UML Models. In R. de Lemos, C. Gacek, and A. Romanovsky, editors, Architecting Dependable Systems, LNCS-2667, pages 219-244. Springer Verlag, 2003.
14. J. D. Musa. Operational profiles in software-reliability engineering. IEEE Softw., 10(2):14-32, 1993.
15. J. D. Musa, A. Iannino, and K. Okumoto. Software reliability: measurement, prediction, application. McGraw-Hill, Inc., 1987.
16. Object Management Group. Unified Modeling Language Specification version 2.0:Superstructure. Technical report, http://www.omg.org/docs/ptc/03-08-02.pdf, 2003.
17. th ICSE, May 2004 - Edinburgh, Scotland. IEEE Computer Society, May 2004.
18. G. Rodrigues, G. Roberts, and W. Emmerich. Reliability Support for the Model Driven Architecture. In R. de Lemos, C. Gacek, and A. Romanovsky, editors, To Appear in: Architecting Dependable Systems II -LNCS. Springer Verlag, 2004.
19. R. Roshandel and N. Medvidovic. Toward Archtitecture-Based Reliability Estimation. In ICSE/WADS 2004, Edinburgh, UK., pages 2-6. IEEE Computer Society, May 2003.
20. nd ICSE, pages 268-280, 1976.
21. th IEEE ISSRE, pages 12-21. IEEE, 2001.
22. th ASE. Toronto, CA. IEEE Computer Society, Oct. 2001.
23. th TACAS, Warsaw, Apr. 2003.
24. S. Uchitel, J. Kramer, and J.Magee. Synthesis on Behavioral Models from Scenarios. In IEEE Transactions on Software Engineering, volume 29(2), pages 99-115. IEEE, Feb. 2003.
25. S. Uchitel, J. Kramer, and J.Magee. Incremental Elaboration of Scenarios-Based Specifications and Behavior Models Using Implied Scenarios. In ACM Transactions on Software Engineering and Methodologies, volume 13(1), pages 37-85. ACM Press, Jan. 2004.
26. W. L. Wang, Y. Wu, and M. H. Chen. An Architecture-Based Software Reliability Model. In Proc. Pacific Rim International Symposium on Dependable Computing. Washington, DC, USA, pages 143-150. IEEE Computer Society, 1999.
27. th ISSRE, Boca Raton, FL, USA. IEEE, Nov. 1999.