Validação de aplicações para cidades inteligentes: uma abordagem baseada em defeitos

Resumo

Aplicações para Cidades Inteligentes já são uma realidade para diversos domínios críticos como transporte e mobilidade urbana, saúde, residências, e segurança pública, dentre outros. Por exemplo, tecnologias para o controle de tráfego ajudam a reduzir o tempo no trânsito em grandes cidades; porém, falhas em tempos semafóricos, por exemplo, podem causar acidentes, trazendo sérios danos à população e elevando o nível de desconfiança em relação a essas tecnologias. Assim, essas aplicações precisam ser robustas e corretas. A despeito disso, observa-se que técnicas atuais para se implementar tais atributos de qualidade focam em partes específicas dos sistemas (por exemplo, nas redes de sensores) ou não são suficientemente refinadas para serem aplicadas em nível de código-fonte. Objetivo: Definir uma abordagem baseada em defeitos, contemplando-se técnicas de tolerância a defeitos e teste de mutação, para o desenvolvimento e a validação de aplicações para Cidades Inteligentes, com foco nos domínios de mobilidade urbana e gestão de tráfego. Método: Será construído um catálogo de tipos de defeitos, erros e falhas inerentes a esses sistemas. O catálogo embasará a definição de abordagens de tolerância a defeitos e de teste de mutação para o contexto investigado. Ferramental de apoio (injeção de erros, e teste de mutação) será desenvolvido e integrado entre si, e também integrado em um simulador de aplicações para Cidades Inteligentes. Estudos experimentais serão conduzidos para avaliar e refinar as abordagens e ferramentas propostas. Resultados Esperados: Contribuições teóricas (catálogo de tipos de defeitos, erros e falhas; e as abordagens de tolerância a defeitos e de teste de mutação), de automatização (ferramentas) e experimentais (resultados de estudos de avaliação), as quais promovem avanço no desenvolvimento de aplicações para Cidades Inteligentes e contribuem para a transferência tecnológica academia-indústria nesse importante domínio de sistemas computacionais. (AU)