Verificação Formal em Aplicações de Reconhecimento de Ondas Eletrocardiográficas
| dc.creator | Andre Luiz do Vale Soares | |
| dc.date.accessioned | 2019-08-12T16:52:52Z | |
| dc.date.accessioned | 2025-09-09T01:31:32Z | |
| dc.date.available | 2019-08-12T16:52:52Z | |
| dc.date.issued | 2002-01-03 | |
| dc.description.abstract | . | |
| dc.identifier.uri | https://hdl.handle.net/1843/SLBS-5KDN85 | |
| dc.language | Português | |
| dc.publisher | Universidade Federal de Minas Gerais | |
| dc.rights | Acesso Aberto | |
| dc.subject | Computação | |
| dc.subject.other | eletrocardiográficas | |
| dc.title | Verificação Formal em Aplicações de Reconhecimento de Ondas Eletrocardiográficas | |
| dc.type | Dissertação de mestrado | |
| local.contributor.advisor1 | Sergio Vale Aguiar Campos | |
| local.description.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 | |
| local.publisher.initials | UFMG |
Arquivos
Pacote original
1 - 1 de 1