Dependabilidade em Sistemas Computacionais 1 Objetivo

Dependabilidade (do termo Dependability em ingls) a propriedade que e e dene a capacidade dos sistemas computacionais de prestar um servio que c se pode justicadamente conar. Entre os atributos esto: conabilidade, a segurana (safety), disponibilidade e mantenabilidade. c Atualmente essa propriedade um dos focos em praticamente todas as e a reas de Cincia da Computao. Devido ` sua importncia ao usurio e e ca a a a ao ambiente de execuo do software, o interesse em dependabilidade tem ca sido alvo de muitas pesquisas que envolvem todos os ciclos de desenvolvimento do software: desde a anlise que antecede a implementao at o teste a ca e do software. Apesar da sua abrangncia, importncia e crescente relevncia e a a na gerao de software com qualidade, poucos centros acadmicos no mundo ca e oferecem oportunidade ao aluno de Cincia da Computao de conhecer mele ca hor como entender e analisar o software sob a perspectiva de dependabilidade. Essa disciplina aborda o estado da arte dos vrios aspectos relacionados ` a a anlise quantitativa e qualitativa de dependabilidade, O enfoque da anlise de a dependabilidade em n de arquitetura do software, mtodos de previso vel e a de dependabilidade, em particular, conabilidade, segurana (no sentido de c safety) e disponibilidade para sistemas baseados em componentes. Caso haja tempo hbil, pretendemos explorar tambm aspectos de desempenho de sisa e tema seguindo o mesmo n vel de enfoque dado ` dependabilidade e seus a atributos. Isso permitir ao aluno conhecer e potencialmente contribuir com a publicaes para o enriquecimento da pesquisa nos tpicos que vamos focar co o ao longo da disciplina.

Ementa

Conceitos gerais de arquitetura de software, dependabilidade (conceitos, mtricas, e escopo, tcnicas de previso, tcnicas de tolerncia a falhas, validao, proe a e a ca jetos e novas propostas de anlise prvia de dependabilidade. a e

Programa
1. Conceitos bsicos de dependabilidade em sistemas baseados em coma ponentes 1

2. Modelos de Componentes (conceito, tipos, processo de desenvolvimento baseado em componentes, plataformas) e arquiteturas de software 3. Especicao e composio de propriedades de dependabilidade ca ca 4. Redes de Markov, redes de Petri, Fault-trees (modelos e ferramentas) 5. Estado-da-arte em mtodos de anlise de dependabilidade e a 6. Modelos de dependabilidade para a web.

Pr-Requisitos e

Conhecimentos de Sistemas Distribu dos e de Engenharia de Software so a desejveis para o acompanhamento do aluno. No entanto, iremos cobrir ao a longo do curso os tpicos relacionados a aqueles pr-requisitos. o e

Referncias e

Por envolver vrios aspectos de dependabilidade, esse curso ir dispor de uma a bibliograa relativamente extensa. O foco da disciplina em conabilidade, e segurana cr c tica, tolerncia as falhas, modelos de anlise desses atributos em a a n de arquitetura. Dividimos ento as referncias entre os livros a serem vel a e utlizados (alguns cpitulos apenas) e artigos que sero indicados para leitura a a ao longo do curso. Livros: 1. G. Heineman, W. Councel, Component-based software engineering, putting the pieces together, Addison Wesley, 2001. 2. J.Magee and J. Kramer. Concurrency: State Models and Java Programs. John Wiley, New York, 1999. 3. Nancy G. Leveson Safeware: System Safety and Computers, AddisonWesley Publishing Company, Inc. 1995. 4. M. R. Lyu. Software Fault Tolerance. John Wiley & Sons, Inc., New York, NY, USA, 1995. 5. M. R. Lyu. Handbook of Software Reliability Engineering. IEEE Computer Society Press and McGraw-Hill, 1996. 2

6. D. A. Menasc, V. A. F. Almeida and L. W. Dowdy. Capacity Plane ning and Performance Modelling. From Mainframes to Client-Server Systems Prentice Hall PTR, 1994. 7. J. D. Musa, A. Iannino, and K. Okumoto. Software reliability: measurement, prediction, application. McGraw-Hill, Inc., 1987. 8. C. Szyperski. Component Software: Beyond Object-Oriented Programming. Addison-Wesley Longman Publishing Co., Inc., 2002. 9. R. A. Sahner, K. S. Trivedi and A. Puliato - Performance and Reliability Analysis of Computer Systems: An Example-Based Approach Using the SHARPE Software Package (The Red Book). Kluwer Academic Publishers, 1996. 10. K. S. Trivedi - Probability and Statistics with Reliability, Queuing, and Computer Science Applications. Prentice-Hall, 2nd edition . Artigos: 1. Laprie, J. and Randell, B. 2004. Basic Concepts and Taxonomy of Dependable and Secure Computing. IEEE Trans. Dependable Secur. Comput. 1, 1 (Jan. 2004), 11-33. 2. R. C. Cheung. A User-Oriented Software Reliability Model. In IEEE Transactions on Software Engineering, volume 6(2), pages 118125. IEEE, March 1980. 3. V. Cortellessa, H. Singh, and B. Cukic. Early reliability assessment of uml based software models. In Proceedings of the 3rd WOSP, pages 302309. ACM Press, 2002. 4. V. Cortellessa and V. Grassi. A modeling approach to analyze the impact of error propagation on reliability of component-based systems. In Heinz Schmidt, Ivica Crnkovic, George Heineman, and Judith Staord, editors, Proceedings of the 10th International Symposium, CBSE 2007, volume 4608 of Lecture Notes in Computer Science, pages 140156. Springer, 2007. 5. W. Emmerich. Software Engineering and Middleware: A Roadmap. In A. Finkelstein, editor, The Future of Software Engineering, pages 119129. ACM Press, April 2000.

6. W. Emmerich. Distributed Component Technologies and Their Software Engineering Implications. In Proc. of the 24th ICSE, Orlando, Florida, pages 537546. ACM Press, May 2002. 7. S. Gokhale, M. Lyu, and K. Trivedi. Reliability Simulation of Component Based Software Systems. In Reliability Simulation of Component Based Sofware Systems, pages 192201. Proc. of the 9th ISSRE, 1998. 8. K. Goeva-Popstojanova, M. Hamill, and R. Perugupalli. Large ems pirical case study of architecture-based software reliability. In ISSRE 05: Proceedings of the 16th IEEE International Symposium on Software Reliability Engineering, pages 4352, Washington, DC, USA, 2005. IEEE Computer Society. 9. K. Goeva-Popstojanova, A. P. Mathur, and K. S. Trivedi. Comparison s of Architecture-Based Software Reliability Models. In Proc. of the 12th ISSRE. Elsevier Science, 2001. 10. K. Goeva-Popstojanova and K. S. Trivedi. Architecture-Based Aps proach to Reliability Assessment of Software Systems. In Proc. of the 12th I S S RE, pages 2231. IEEE Computer Society, 2001. 11. Grunske, L. 2007. Early quality prediction of component-based systems - A generic framework. J. Syst. Softw. 80, 5 (May. 2007), 678-686. 12. J. C. Knight Safety Critical Systems: Challenges and Directions In Proceedings of the 24rd International Conference on Software Engineering, 2002 pp 547- 550. IEEE Computer Society. 13. M. Kwiatkowska, G. Norman, and D. Parker. Prism 2.0: A tool for probabilistic model checking. In QEST 04: Proceedings of the The Quantitative Evaluation of Systems, First International Conference on (QEST04), pages 322323, Washington, DC, USA, 2004. IEEE Computer Society. 14. P. Kubat. Assessing reliability of modular software. Operations Research Letters, 8(1):3541, 1989. 15. -H. Lo, C-Y. Huang, I-Y. Chen, S-Y. Kuo, and M. R. Lyu. Reliability assessment and sensitivity analysis of software reliability growth modeling based on software module structure. Journal of Systems Software, 76(1):313, 2005.

16. M. R. Lyu. Software reliability engineering: A roadmap. In FOSE 07: 2007 Future of Software Engineering, pages 153170, Washington, DC, USA, 2007. IEEE Computer Society. 17. J. D. Musa. Operational proles in software-reliability engineering. IEEE Software, 10(2):1432, 1993. 18. Heimdahl, M. P. 2007. Safety and Software Intensive Systems: Challenges Old and New. In 2007 Future of Software Engineering (May 23 - 25, 2007). International Conference on Software Engineering. IEEE Computer Society, Washington, DC, 137-152. 19. G. Rodrigues, D. Rosenblum, and S. Uchitel. Using Scenarios to Predict the Reliability of Concurrent Component-Based Software Systems. In Proc. ETAPS 2005 Conference on Formal Approaches to Software Engineering, pages 111126. Springer, LNCS 3442, 2005. 20. G. Rodrigues, D. Rosenblum, and S. Uchitel. Reliability prediction in model driven development. In Proc. of ACM/IEEE 8th International Conference on Model Driven Engineering Languages and Systems, LNCS 3713, pages 339 354. Springer, October 2005. 21. J. Skene and W. Emmerich. A Model Driven Architecture Approach to Analysis of Non-Functional Properties of Software Architecture. In Proc. of the 18th ASE. Toronto, CA. IEEE Computer Society, October 2001. 22. A. Sokolova and E.P. de Vink. Probabilistic automata: system types, parallel composition and comparison. In C. Baier, B.R. Haverkort, H. Hermanns, J.-P. Katoen,nd M. Siegle, editors, Validation of Stochastic Systems: A Guide to Current Research, pages 143. LNCS 2925, 2004. 23. S. Uchitel, J. Kramer, and J. Magee. Incremental Elaboration of Scenarios-Based Specications and Behavior Models Using Implied Scenarios. In ACM Transactions on Software Engineering and Methodologies, volume 13(1), pages 3785. ACM Press, January 2004. 24. W. L. Wang, Y. Wu, and M. H. Chen. An Architecture-Based Software Reliability Model. In Proc. Pacic Rim International Symposium on Dependable Computing. Washington, DC , USA, pages 143150. IEEE Computer Society, 1999.

25. S. M. Yacoub, B. Cukic, and H. H. Ammar. Scenario-Based Reliability Analysis of Component-Based Software. In Proc. of the 10th ISSRE, Boca Raton, FL, USA. IEEE, November 1999. 26. Ivica Crnkovic Component Based Development Process and Component Life Cycle, 27th International Conference on Information Technology Interfaces, IEEE, Caretat, Croatia, 2005.

Avaliao ca

Apresentao de projeto (30%), trabalho prtico (60%) e participao (10%). ca a ca Haver dois projetos ao longo do curso, sendo um para o dia 15 de Setembro a e outro para o dia 26 de Novembro. A especicao dos projetos ser denida ca a ao longo do curso.