Banca de QUALIFICAÇÃO: TÁSSIO FERNANDES COSTA

Uma banca de QUALIFICAÇÃO de MESTRADO foi cadastrada pelo programa.
DISCENTE : TÁSSIO FERNANDES COSTA
DATA : 23/03/2021
HORA: 14:00
LOCAL: Google Meets
TÍTULO:

Uma Abordagem Baseada em Modelos de Redes de Petri Coloridas para a Avaliação de Qualidade de Sistemas de Bomba de Infusão de Insulina

PALAVRAS-CHAVES:

Modelagem, Simulação, Métodos Formais, Segurança Certificação

PÁGINAS: 50
RESUMO:

Bombas de infusão de insulina são sistemas críticos seguros que requerem a aprovação de agências regulatórias governamentais, como, por exemplo, a Food and Drug Administration dos Estados Unidos, antes da comercialização, para prevenir situações de risco. Nesta dissertação de mestrado, o objetivo é auxiliar fabricantes na avaliação de atributos de qualidade, como, por exemplo, segurança, de sistemas de bomba de infusão de insulina para fins de certificação. Uma abordagem baseada em modelos de redes de Petri coloridas (Coloured Petri Nets - CPN) de sistemas de bomba de infusão de insulina é proposta com base no aprimoramento de um modelo de referência CPN existente, integrando-o com um aplicativo Web Java. É realizado um estudo empírico para avaliar a abordagem proposta considerando as especificações do sistema de bomba de infusão ACCU-CHECK Spirit. A abordagem é disponibilizada gratuitamente para que fabricantes avaliem a qualidade de sistemas de bomba de infusão de insulina em desenvolvimento ou identifiquem fontes de recalls em sistemas previamente certificados. O uso da abordagem baseada em modelos pode reduzir custos e tempo de desenvolvimento de sistemas de bomba de infusão de insulina, além de aumentar a confiança em atributos de qualidade tais como segurança e eficácia.

MEMBROS DA BANCA:
Presidente - 057.444.294-41 - ALVARO ALVARES DE CARVALHO CESAR SOBRINHO - UFRPE
Interno - 039.853.214-18 - LEONARDO MELO DE MEDEIROS - UFCG
Interno - 1645130 - LEANDRO DIAS DA SILVA
Externo à Instituição - ANGELO PERKUSICH - UFCG