CAEHV: um mÃtodo para verificaÃÃo de modelos do tratamento de exceÃÃo sensÃvel ao contexto em sistemas ubÃquos

• Autor(a) principal: Lincoln Souza Rocha
• Data de Publicação: 2013
• Tipo de documento: Tese
• Idioma: por
• Título da fonte: Biblioteca Digital de Teses e Dissertações da UFC
• Texto Completo: http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=10846
• topic: Tratamento de exceÃÃo sensÃvel ao contexto; VericaÃÃo de modelos; CIENCIA DA COMPUTACAO

Os sistemas de software adaptativos sensÃveis ao contexto, tambÃm conhecidos como auto-adaptativos, representam uma classe particular de sistemas de software complexos. Esse tipo de sistema de software tem como requisito bÃsico observar o ambiente (fÃsico e lÃgico) em que executa e reagir de forma apropriada Ãs mudanÃas, quer seja adaptando sua estrutura e comportamento ou executando tarefas de forma automÃtica. Nos ambientes ubÃquos, o software adaptativo sensÃvel ao contexto assume um papel fundamental, sendo projetado para interagir com o ambiente fÃsico com intuito de auxiliar as pessoas, de forma transparente, na execuÃÃo das suas atividades cotidianas, tornando a interaÃÃo humano-computador mais natural. Devido ao seu amplo domÃnio de aplicaÃÃo (e.g., casas inteligentes, guias mÃveis de visitaÃÃo, jogos, saÃde e missÃes de resgate), os sistemas de software adaptativo sensÃvel ao contexto precisam ser confiÃveis, para cumprir com a sua funÃÃo e lidar com situaÃÃes anormais, evitando eventuais falhas. Nesse sentido, o tratamento de exceÃÃo sensÃvel ao contexto vem sendo empregado na melhoria dos nÃveis de robustez e confiabilidade desse tipo de sistema de software. Entretanto, o projeto e implementaÃÃo do tratamento de exceÃÃo sensÃvel ao contexto exige dos projetistas insights e expertise de domÃnio, sendo uma atividade complexa e propensa a erros. Desse modo, para que o tratamento de exceÃÃo sensÃvel ao contexto atinja os objetivos esperados, à necessÃrio que ele seja projetado de forma rigorosa, buscando eliminar ao mÃximo o nÃmero de faltas de projeto (design faults). Nesse cenÃrio, esta tese de doutorado propÃe um mÃtodo para verificaÃÃo de modelos do tratamento de exceÃÃo sensÃvel ao contexto, denominado CAEHV (Context-Aware Exception Handling Verification). O CAEHV provà um conjunto de abstraÃÃes que permitem aos projetistas modelarem o comportamento excepcional sensÃvel contexto e mapeÃ-lo para uma estrutura de Kripke. AlÃm disso, um conjunto de propriedades comportamentais à estabelecido com o intuito de auxiliar os projetistas no processo de identificaÃÃo de determinados tipos de faltas de projeto. Por fim, com o objetivo de avaliar a viabilidade do mÃtodo, uma ferramenta para a modelagem e verificaÃÃo do comportamento excepcional sensÃvel ao contexto foi desenvolvida e cenÃrios de injeÃÃo de faltas (fault injection) foram modelados para analisar a sua efetividade na identificaÃÃo de faltas de projeto no modelo.