Use este identificador para citar o ir al link de este elemento:
http://hdl.handle.net/1843/SLBS-5KDN85| Tipo: | Dissertação de Mestrado |
| Título: | Verificação Formal em Aplicações de Reconhecimento de Ondas Eletrocardiográficas |
| Autor(es): | Andre Luiz do Vale Soares |
| primer Tutor: | Sergio Vale Aguiar Campos |
| Resumen: | 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: | . |
| Asunto: | Computação |
| Idioma: | Português |
| Editor: | Universidade Federal de Minas Gerais |
| Sigla da Institución: | UFMG |
| Tipo de acceso: | Acesso Aberto |
| URI: | http://hdl.handle.net/1843/SLBS-5KDN85 |
| Fecha del documento: | 3-ene-2002 |
| Aparece en las colecciones: | Dissertações de Mestrado |
archivos asociados a este elemento:
| archivo | Descripción | Tamaño | Formato | |
|---|---|---|---|---|
| andresoares.pdf | 7.18 MB | Adobe PDF | Visualizar/Abrir |
Los elementos en el repositorio están protegidos por copyright, con todos los derechos reservados, salvo cuando es indicado lo contrario.