Banca de QUALIFICAÇÃO: MATHEUS SOARES DE ARAÚJO

Uma banca de QUALIFICAÇÃO DE MESTRADO foi cadastrada pelo programa.

DISCENTE: MATHEUS SOARES DE ARAÚJO
DATA: 04/06/2019
HORA: 08:00
LOCAL: Sala 15
TÍTULO:

Análise de confiabilidade de sistemas de aquisição de sinais biomédicos

RESUMO:

Nos útlimos anos, o desenvolvimento e a aplicabilidade de sistemas críticos tem sido bastante comum e necessária para auxiliar ou até automatizar os processos necessários do dia a dia. Porém, muitos desses sistemas tem apresentado defeitos e falhas, sendo no ínicio ou depois de algum tempo já em utilização. Com essa problemática, a aplicabilidade de modelos formais em sistemas críticos tem sido bem aceita pelo mercado, e recebido grandes contribuições e evoluções pela academia, principalmente pelo fato de que a utilização de modelos formais, faz com que o levantamento de requisitos do projeto seja mais claro e preciso, acelerando assim o processo de desenvolvimento, e também podendo agregar maior segurança ao sistema contendo provas matemáticas e reduzindo significativamente o número de falhas. Assim, este trabalho visa a modelagem e análise de confiabilidade de sistemas de aquisição de sibais biomédicos. Especificamente, um estudo de caso para um Eletrocardiograma (ECG) é apresentado como prpva de conceitos. Além disso, esse trabalho também visa a possível aplicabilidade da ferramenta e metodologia CHESS para análise de confiabilidade de requisitos não funcionais.

PALAVRAS-CHAVE:

Confiabilidade; sistemas de aquisição de sinais biomédicos; computação aplicada a saúde.

PÁGINAS: 30
GRANDE ÁREA: Ciências Exatas e da Terra
ÁREA: Ciência da Computação
SUBÁREA: Metodologia e Técnicas da Computação
ESPECIALIDADE: Engenharia de Software

MEMBROS DA BANCA:
Presidente - 1645130 - LEANDRO DIAS DA SILVA
Interno(a) - 057.444.294-41 - ALVARO ALVARES VDE CARVALHO CESAR SOBRINHO - UFCG
Interno(a) - 2021852 - THIAGO DAMASCENO CORDEIRO
Externo(a) à Instituição - Lenardo Chaves e Silva - UFERSA