Defesa de Qualificação de Doutorado - Álvaro Alvares de Carvalho César Sobrinho, em 04/12, às 14hs

postado em 3 de nov de 2015 12:22 por Franklin de Souza Ramalho   [ 4 de nov de 2015 02:16 atualizado‎(s)‎ ]
Candidato: Álvaro Alvares de Carvalho César Sobrinhoo
Título do trabalho: Um Método para Aumentar a Confiança no Funcionamento de Sistemas de Aquisição de Sinais Biomédicos
Orientador(es): Angelo Perkusich e Leandro Dias da Silva

Data: 04/12/2015
Horário: 14h
Local: 
Auditório do  Embedded

Banca examinadora: Angelo Perkusich (Orientador), Leandro Dias da Silva (Orientador), Hyggo Oliveira de Almeida (UFCG), Kyller Costa Gorgônio (UFCG), Antonio Marcus Nogueira Lima (UFCG), José Reinaldo Silva (USP-SP)

Resumo: Dispositivos Médicos Controlados por Software (DMCS) são frequentemente utilizados durante o diagnóstico e tratamento de pacientes. A confiança no funcionamento de DMCS deve ser avaliada antes de sua comercialização por serem sistemas críticos, para os quais defeitos podem causar danos à saúde de pacientes. Avaliações são realizadas atualmente por agências reguladoras utilizando resultados que fabricantes obtêm com padrões prescritivos e testes emprotótipos. Entretanto, o uso exclusivo de padrões prescritivos durante o ciclo de vida de desenvolvimento de DMCS não é suficiente para garantir que dispositivos são livres de defeitos.Por outro lado, a identificação de defeitos somente em protótipos pode aumentar custos de desenvolvimento e o tempo para entrada no mercado. Defeitos em DMCS são identificados frequentemente. Por exemplo, a FDA registrou 1.210 notificações de defeitos em DMCS entre 2006 e 2011. Dispositivos de classe II, tais como os utilizados para aquisição de sinais biomédicos, foram relacionados a 90.5% das notificações. Neste contexto, existem estudos recentes em que pesquisadores afirmam que o processo de certificação atual composto por padrões prescritivos deve ser alterado por padrões baseados em metas para diminuir defeitos em DMCS. Contudo, neste trabalho é proposto um método para integrar estes processos de certificação, e aumentar a confiança no funcionamento de sistemas de aquisição de sinais biomédicos. O método é composto por padrões prescritivos, padrões baseados em metas, e métodos formais. Cenários de uso são apresentados em um estudo de caso sobre sistemas de Eletrogastrografia (EGG) e Eletrocardiografia (ECG) para avaliar o método proposto. Redes de Petri Coloridas (Colored Petri Nets - CPNs) e a técnica de verificação de modelos (Model Checking) foram utilizadas durante a modelagem, verificação, e validação do processo de gerenciamento de risco baseado no padrão ISO 14971. Além disso, requisitos funcionais e não funcionais dos sistemas foram modelados, verificados, e validados utilizando CPN, o software MATLAB, verificação de modelos, e as métricas de erro quadrático médio e erro absoluto médio. Argumentos e evidências relacionadas a confiança no funcionamento dos sistemas foram representadas como casos de garantia (assurance cases) com a notação estruturada por metas (Goal Structuring Notation - GSN).
Comments