Defesa de Tese de Doutorado N.º 42 - Lenardo Chaves e Silva, em 12/11, às 14:00hs

postado em 20 de out de 2015 17:25 por Franklin de Souza Ramalho   [ 12 de nov de 2015 08:58 atualizado‎(s)‎ ]
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.
Comments