Banca de QUALIFICAÇÃO: JOHNATTAN DOUGLAS FERREIRA VIANA

Uma banca de QUALIFICAÇÃO de MESTRADO foi cadastrada pelo programa.
DISCENTE: JOHNATTAN DOUGLAS FERREIRA VIANA
DATA: 03/03/2020
HORA: 09:00
LOCAL: UFERSA - Sala de Multimídia - LCC
TÍTULO:

Uma abordagem para geração automática de casos de testes para apoio à certificação de Sistemas Médicos Físico-Cibernéticos.

PALAVRAS-CHAVES:

Uma abordagem para geração automática de casos de testes para apoio à certificação de Sistemas Médicos Físico-Cibernéticos.

PÁGINAS: 42
GRANDE ÁREA: Ciências Exatas e da Terra
ÁREA: Ciência da Computação
RESUMO:

Os Sistemas Médicos Físico-Cibernéticos (SMFC) são sistemas automatizados aplicados no contexto médico que conectam a realidade física com infraestruturas de computação e comunicação. Diferentemente dos sistemas embarcados tradicionais, que são projetados como dispositivos autônomos, os SMFC estão voltados para a conexão de vários dispositivos que funcionam em conjunto, auxiliando os profissionais de saúde na tomada de decisão. No entanto, para que esses sistemas sejam considerados seguros, é necessário um rigoroso processo de Validação e Verificação (V&V) do seu comportamento, pois em caso de falha ou funcionamento inadequado, o maior prejudicado é o paciente. A utilização de Testes Baseados em Modelos é uma alternativa para a certificação desses sistemas em fase de projeto, já que por meio dessa abordagem são testados modelos do próprio SMFC, que não estão em contato direto com o paciente. Portanto, o objetivo geral deste trabalho é desenvolver um mecanismo automático para gerar descrições de casos de teste a partir dos modelos de simulação de cenários clínicos. Considerando a Revisão Sistemática de Literatura realizada percebeu-se que a utilização de uma especificação formal facilita o entendimento dos contextos clínicos e auxilia na certificação de sistemas dessa natureza. Para o desenvolvimento da solução será utilizado um modelo de bomba de infusão de insulina projetado em redes de Petri colorida para gerar descrições de casos de testes. Dessa forma, com a realização desta pesquisa espera-se auxiliar aos desenvolvedores no processo de certificação de SMFC, avaliando e discutindo a qualidade dos modelos que serão usados na fase de projeto desses sistemas.

MEMBROS DA BANCA:
Externo à Instituição - ALVARO ALVARES DE CARVALHO CESAR SOBRINHO - UFPE
Presidente - 2303300 - LENARDO CHAVES E SILVA
Interno - 1810758 - PAULO GABRIEL GADELHA QUEIROZ