Please use this identifier to cite or link to this item: http://repositorio.ufersa.edu.br/handle/prefix/5981
metadata.dc.type: Trabalho de Conclusão de Curso
Title: Um modelo de referência para sistemas de bomba de infusão de insulina
metadata.dc.creator: Costa, Tássio Fernandes
metadata.dc.contributor.advisor1: César Sobrinho, Álvaro Alvares de Carvalho
metadata.dc.contributor.advisor-co1: Silva, Lenardo Chaves e
metadata.dc.contributor.referee1: Olguin, Claudio Andres Callejas
metadata.dc.contributor.referee2: Silva, Leandro Dias da
metadata.dc.contributor.referee3: Silva, Lenardo Chaves e
metadata.dc.description.resumo: Sistemas médicos críticos de segurança são sistemas cuja falha pode resultar em danos ao paciente, podendo até mesmo levá-lo ao óbito. Neste contexto, o principal requisito de qualidade neste tipo de sistema é a segurança. Um sistema de controle de bomba de infusão de insulina é um exemplo de sistema que se encaixa nessa categoria. Neste trabalho é proposto um modelo genérico de sistemas de bomba de infusão de insulina, o qual foi especificado usando Redes de Petri coloridas (Coloured Petri Nets - CPN) com o auxílio da ferramenta CPN/Tools. O modelo foi estendido em um estudo de caso sobre o equipamento ACCU-CHECK Spirit versão 2.XX, tendo sido validado via simulação e verificado formalmente com a técnica de verificação automática de modelos (Model Checking). Portanto, a principal contribuição com este trabalho é a disponibilização de um modelo genérico formal que pode ser reutilizado durante o processo de certificação de equipamentos e de um estudo de caso sobre um equipamento desenvolvido por uma empresa reconhecida na indústria.
Abstract: Critical safety medical systems are systems whose failure can result in harm to the patient, and can even lead to death. In this context, the main quality requirement in this type of system is safety. An insulin infusion pump control system is an example of a system that fits into this category. In this work a generic model of insulin infusion pump systems was proposed, which was specified using Colored Petri Nets (CPN) with the help of the CPN/Tools tool. The model was extended in a case study on ACCU-CHECK Spirit version 2.XX, having been validated via simulation and formally verified with the Model Checking technique. Therefore, the main contribution with this work is the provision of a formal generic model that can be reused during the equipment certification process and a case study on an equipment developed by a recognized company in the industry.
Keywords: Segurança
Eficácia
Verificação
Validação
Modelagem formal
Safety
Efecciency
Verification
Validation
Formal modeling
metadata.dc.subject.cnpq: Ciências Exatas e da Terra
metadata.dc.language: por
metadata.dc.publisher.country: Brasil
Publisher: Universidade Federal Rural do Semi-Árido
metadata.dc.publisher.initials: UFERSA
metadata.dc.publisher.department: Centro Multidisciplinar de Pau dos Ferros
metadata.dc.rights: Acesso Aberto
URI: http://repositorio.ufersa.edu.br/handle/prefix/5981
Issue Date: 20-Mar-2019
Appears in Collections:Tecnologia da Informação

Files in This Item:
File Description SizeFormat 
TássioFC_MONO.pdfMonografia1.14 MBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.