Uso de modelos formais em sistemas pervasivos de cuidados de saúde: um estudo de caso em auxílio à prática de exercícios físicos.

• Ano de defesa: 2015
• Autor(a) principal: OLIVEIRA, Elthon Allex da Silva.
• Tipo de documento: Tese
• Tipo de acesso: Acesso aberto
• Idioma: por
• Instituição de defesa: Universidade Federal de Campina Grande; Brasil; Centro de Engenharia Elétrica e Informática - CEEI; PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO; UFCG
• Palavras-chave em Português: Computação pervasiva; Modelos formais - computação; Manutenção de conformidade; Saúde e computação; Monitoramento de praticantes de exercício físico; Exercício físico e computação; Atividade física e tecnologia; Acompanhamento de exercícios físicos - software; Modelo autômato finito; Ciência da Computação; Saúde
• Link de acesso: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/589

Diversas soluções de software têm sido desenvolvidas para a área de cuidados de saúde. Nesta área, destacam-se as pesquisas em exercícios físicos, que tem recebido grande atenção da Organização Mundial de Saúde por ajudar a diminuir os riscos de diversas doenças e a aumentar a qualidade de vida das pessoas acometidas por alguma delas. Contudo, há três problemas principais nas soluções existentes desenvolvidas para o acompanhamento de exercícios físicos: i) levam em consideração apenas variáveis fisiológicas, ii) necessitam da atenção do profissional de saúde durante a prática do exercício e iii) não fornecem recomendações customizadas. Neste trabalho, é apresentado um método para proporcionar a manutenção de conformidade entre as ações dos indivíduos e as recomendações do profissional de saúde, durante a prática de exercícios, sem a presença do mesmo in loco. Tal método possibilita a construção de um modelo na forma de autômato finito. Este autômato, chamado de modelo de referência, é capaz de descrever como o indivíduo deve se comportar a fim de se manter em conformidade com as recomendações do profissional de saúde. Por ser gerado a partir da composição de modelos menores, a evolução do modelo pode ser obtida e as propriedades garantidas por construção. Além disso, propriedades de vivacidade e segurança são verificadas no modelo construído por meio da técnica de verificação de modelos, fornecendo confiabilidade ao sistema. Algumas tarefas foram executadas no processo de avaliação do método apresentado e demonstraram que: o processo de construção do modelo de referência está de acordo com o processo clínico; o modelo gerado é capaz de representar o conhecimento do especialista, fornecendo recomendações adequadas ao indivíduo; e a solução apresentada é tecnicamente viável de se implementada e executada; e,por fim,este método pode ser usado em cenários reais,desde que os indivíduos não estejam sob condições de estresse.