A Fidedignidade em Engenharia de Software de Sistemas Multi-Agentes Seminários 2006 – 2º Semestre Fidedignidade

2 © LES/PUC-Rio Dependability Dependability is defined as the trustworthiness of a computer system such that reliance can justifiably be placed on the service it delivers. The service delivered by a system is its behavior as it is perceived by its user(s); a user is another system (human or physical) which interacts with the former. –Weinstock, C.B.; Goodenough, J.B.; Hudak, J.J.; Dependability Cases; CMU/SEI TN-016, Software Engineering Institute, Carnegie Mellon University; 2004 –Avizienis, A.; Laprie, J-C.; Randell, B.; Landwehr, C.; Basic Concepts and Taxonomy of Dependable and Secure Computing

3 © LES/PUC-Rio Características da fidedignidade Disponibilidade:estar pronto para prestar serviço correto sempre que solicitado. Confiabilidade:prestar continuamente serviço correto. Segurança:(safety) habilidade de evitar conseqüências catastróficas tanto aos usuários como ao ambiente. Proteção:habilidade de evitar tentativas de agressão bem sucedidas Privacidade:habilidade de proteger dados e código contra acesso indevido. Integridade:habilidade de se proteger contra corrupção de elementos. (ausência de alterações não permitidas) Robustez:habilidade de detectar falhas de modo que as conseqüências possam ser mantidas em um patamar aceitável Recuperabilidade:habilidade em ser rapidamente reposto em operação fidedigna após a ocorrência de uma falha Manutenibilidade:habilidade de ser modificado ou corrigido sem que novos problemas sejam inseridos.

4 © LES/PUC-Rio Cenário atual... Não existe sistema sem faltas. –Caso um sistema não contenha faltas não o saberemos As características de fidedignidade não podem ser adicionadas a posteriori –precisam ser especificadas, arquitetadas, projetadas etc. junto com os requisitos funcionais Características adicionais –garantia de manutenibilidade (manutenção preventiva) –testabilidade –verificabilidade, validabilidade

5 © LES/PUC-Rio Objetivo do seminário Trazer propostas de como melhorar a fidedignidade em sistemas multi-agentes Organização –Definição linhas prioritárias e contribuições que complementarão estes trabalhos

6 © LES/PUC-Rio Linhas prioritárias Facilitar a manutenibilidade de leis utilizando XMLaw Manutenibilidade: habilidade de ser modificado ou corrigido sem que novos problemas sejam inseridos. Testes em SMAs Robustez: habilidade de detectar falhas de modo que as conseqüências possam ser mantidas em um patamar aceitável Tolerância a Falhas em SMAs Disponibilidade: estar pronto para prestar serviço correto sempre que solicitado. Monitoramento de Leis em SMAs Recuperabilidade: habilidade em ser rapidamente reposto em operação fidedigna após a ocorrência de uma falha Reputação em SMAs Segurança: (safety) habilidade de evitar conseqüências catastróficas tanto aos usuários como ao ambiente. Proteção: habilidade de evitar tentativas de agressão bem sucedidas

7 © LES/PUC-Rio Exemplos Facilitar a manutenibilidade de leis utilizando XMLaw –Apoio a manutenção em tempo de projeto –Apoio a manutenção em tempo de execução –Considerar a variabilidade de leis na análise de requisitos –Como agentes podem perceber estas alterações? Manutenibilidade: habilidade de ser modificado ou corrigido sem que novos problemas sejam inseridos.

8 © LES/PUC-Rio Próximos passos Formação de grupos nas áreas prioritárias Pontos de contato (iniciais) –Testes em SMAs Roberta Coelho - –Tolerância a Falhas em SMAs Maíra Gatti – –Monitoramento de Leis em SMAs Gustavo Carvalho – Rodrigo Paes – –Reputação em SMAs José Guedes - Fernanda Duran – –Law-aware Agents José Viterbo - Carolina Felicíssimo –

9 © LES/PUC-Rio Bibliografia rio.br/index.php/Governan%C3%A7a_em_Sistemas_Multi- Agentes_Abertoshttp://wiki.les.inf.puc- rio.br/index.php/Governan%C3%A7a_em_Sistemas_Multi- Agentes_Abertos Avizienis, A.; Laprie, J-C.; Randell, B.; Landwehr, C.; Basic Concepts and Taxonomy of Dependable and Secure Computing; IEEE Transactions on Dependable and Secure Computing 1(1); Los Alamitos, CA: IEEE Computer Society; 2004; pags Eick, S.G.; Karr, A.K.; Graves, T.L.; Marron, J.S.; Mockus, A.; Does Code Decay? Assessing the Evidence from Change Management Data; IEEE Transactions on Software Engineering 27(1); Los Alamitos, CA: IEEE Computer Society; 2001; pags 1-12 Weinstock, C.B.; Goodenough, J.B.; Hudak, J.J.; Dependability Cases; CMU/SEI TN-016, Software Engineering Institute, Carnegie Mellon University; 2004 Kemerer, C.F.; Slaughter, S.A.; "Determinants of Software Maintenance Profiles: An Empirical Investigation"; Software Maintenance Research and Practice 9; New York: John Wiley & Sons; 1997; pags