Busca avançada
Ano de início
Entree

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

Processo: 19/25307-8
Modalidade de apoio:Auxílio à Pesquisa - Regular
Vigência: 01 de fevereiro de 2021 - 31 de janeiro de 2024
Área do conhecimento:Ciências Exatas e da Terra - Ciência da Computação - Metodologia e Técnicas da Computação
Convênio/Acordo: CONFAP - Conselho Nacional das Fundações Estaduais de Amparo à Pesquisa
Pesquisador responsável:Fabiano Cutigi Ferrari
Beneficiário:Fabiano Cutigi Ferrari
Instituição Sede: Centro de Ciências Exatas e de Tecnologia (CCET). Universidade Federal de São Carlos (UFSCAR). São Carlos , SP, Brasil
Pesquisadores associados:André Luiz Lins de Aquino ; Andrew Jefferson Offutt ; Auri Marcelo Rizzo Vincenzi ; Baldoino Fonseca dos Santos Neto ; Rohit Gheyi ; Valter Vieira de Camargo
Bolsa(s) vinculada(s):23/01720-9 - Integração dos mecanismos de teste de mutação e injeção de erros, BP.TT
Assunto(s):Engenharia de software  Cidades inteligentes  Teste e avaliação de software  Tolerância a falhas  Teste de mutação  Técnicas de injeção de falhas 
Palavra(s)-Chave do Pesquisador:Cidades Inteligentes | injeção de erros | Teste de Mutação | Teste de Software | Tolerância a Defeitos | Engenharia de Software

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)

Matéria(s) publicada(s) na Agência FAPESP sobre o auxílio:
Matéria(s) publicada(s) em Outras Mídias (0 total):
Mais itensMenos itens
VEICULO: TITULO (DATA)
VEICULO: TITULO (DATA)

Publicações científicas
(Referências obtidas automaticamente do Web of Science e do SciELO, por meio da informação sobre o financiamento pela FAPESP e o número do processo correspondente, incluída na publicação pelos autores)
DE SOUZA, KATHIANI ELISA; FERRARI, FABIANO CUTIGI; CASADEI, R; DINITTO, E; GEROSTATHOPOULOS, I; PIANINI, D; DUSPARIC, I; WOOD, T; NELSON, P; POURNARAS, E; et al. A Systematic Review of Fault Tolerance Techniques for Adaptive and Context-Aware Systems. 2022 IEEE INTERNATIONAL CONFERENCE ON AUTONOMIC COMPUTING AND SELF-ORGANIZING SYSTEMS (ACSOS 2022), v. N/A, p. 10-pg., . (19/25307-8)

Por favor, reporte erros na lista de publicações científicas utilizando este formulário.