Candidato: Lenardo Chaves e Silva Título do trabalho: Uma Abordagem Baseada em Modelos para Suporte a Validação de Sistemas Médicos Físico-Cibernéticos Orientador(es): Hyggo Almeida e Angelo Perkusich Data: 12/11/2015 Horário: 14h Local: Auditório do Embedded Banca examinadora: Augusto José Venâncio Neto (UFRN), Saulo Dornelas Luiz (DEE/UFCG), Kyller Costa Gorgônio (UFCG), Evandro de Barros Costa (UFCG). Resumo: Sistemas Médicos Físico-Cibernéticos (SMFC) são sistemas críticos cientes de contexto e de vida crítica com a segurança do paciente como a principal preocupação, demandando processos rigorosos de validação para garantir a conformidade com os requisitos do usuário e a corretude orientada à especificação. Neste trabalho é proposta uma arquitetura baseada em modelos para validação de SMFC, focando em promover o reúso e a produtividade. Tal abordagem permite que desenvolvedores de sistemas construam modelos formais de SMFC baseados em uma biblioteca de modelos de pacientes e dispositivos médicos, bem como simular o SMFC para identificar comportamentos indesejados em tempo de projeto. A abordagem proposta foi aplicada a três diferentes cenários clínicos para avaliar seu potencial de reusabilidade para diferentes contextos. A abordagem foi também validada por meio de uma avaliação empírica com desenvolvedores para avaliar a reusabilidade e a produtividade. Finalmente, os modelos foram formalmente verificados considerando os requisitos funcionais e de segurança, além da cobertura dos modelos. |