Verificação Formal em Aplicações de Reconhecimento de Ondas Eletrocardiográficas

Andre Luiz do Vale Soares

Please use this identifier to cite or link to this item: http://hdl.handle.net/1843/SLBS-5KDN85

Full metadata record

DC Field	Value	Language
dc.contributor.advisor1	Sergio Vale Aguiar Campos	pt_BR
dc.creator	Andre Luiz do Vale Soares	pt_BR
dc.date.accessioned	2019-08-12T16:52:52Z	-
dc.date.available	2019-08-12T16:52:52Z	-
dc.date.issued	2002-01-03	pt_BR
dc.identifier.uri	http://hdl.handle.net/1843/SLBS-5KDN85	-
dc.description.abstract	.	pt_BR
dc.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	pt_BR
dc.language	Português	pt_BR
dc.publisher	Universidade Federal de Minas Gerais	pt_BR
dc.publisher.initials	UFMG	pt_BR
dc.rights	Acesso Aberto	pt_BR
dc.subject	eletrocardiográficas	pt_BR
dc.subject.other	Computação	pt_BR
dc.title	Verificação Formal em Aplicações de Reconhecimento de Ondas Eletrocardiográficas	pt_BR
dc.type	Dissertação de Mestrado	pt_BR
Appears in Collections:	Dissertações de Mestrado

Files in This Item:

File	Description	Size	Format
andresoares.pdf		7.18 MB	Adobe PDF	View/Open

Show simple item record