Verificação Formal em Aplicações de Reconhecimento de Ondas Eletrocardiográficas
Carregando...
Arquivos
Data
Autor(es)
Título da Revista
ISSN da Revista
Título de Volume
Editor
Universidade Federal de Minas Gerais
Descrição
Tipo
Dissertação de mestrado
Título alternativo
Primeiro orientador
Membros da banca
Resumo
Este trabalho apresenta uma metodologia de verificação formal aplicada ao projeto de uma aplicação biomédica. Esta aplicação faz o reconhecimento de dados obtidos a partir do eletrocardiograma de pacientes cardíacos, em Um sistema de acompanhamento de tempo real desses pacientes. A aplicação utiliza autômatos finitos determinísticos para identificar não somente as ondas eletrocardiográficas como também a forma como estas ondas são apresentadas durante o exame, emitindo diagnósticos e iniciando as ações necessárias quando o paciente encontrar-se em situações de risco.Neste contexto, a metodologia proposta, que envolve a verificação formal do mecanismo de reconhecimento de ondas eletrocardiográficas e sequências de ondas com a utilização da ferramenta de verificação de modelos Verus, tem apresentado resultados concretos na correção e projeto deste mecanismo de reconhecimento através da identificação e correção de falhas, tornando o sistema mais seguro e confiável. A aplicação da metodologia permitiu que outras ondas fossem reconhecidas pelo mecanismo de leitura de dados eletrocardiográficos, de forma que fosse feito o re-projeto do automato para reconhecimento de ondas, bem como fosse projetado um autômato para o reconhecimento de sequências de ondas, contribuindo de maneira concreta para o desenvolvimento
Abstract
.
Assunto
Computação
Palavras-chave
eletrocardiográficas