Banca de QUALIFICAÇÃO: FAGNER MORAIS DIAS

Uma banca de QUALIFICAÇÃO de MESTRADO foi cadastrada pelo programa.
DISCENTE : FAGNER MORAIS DIAS
DATA : 07/10/2021
HORA: 14:00
LOCAL: Remoto (Google Meet)
TÍTULO:

FormAr: Formalização da Arquitetura de Software para Aplicativos Críticos de Cidades Inteligentes


PALAVRAS-CHAVES:

Descrição de Arquitetura de Software, Verificação Formal, CSP, SysADL


PÁGINAS: 100
RESUMO:

Erros durante o desenvolvimento do software podem originar falhas no sistema que podem causar danos importantes. Uma das etapas mais importantes no processo de desenvolvimento de software é a modelagem da arquitetura do sistema, possivelmente usando linguagens de descrição de arquitetura de software~(ADLs). As ADLs atualmente adotadas pela indústria para sistemas intensivos de software são em sua maioria semiformais e essencialmente baseadas em SysML e perfis especializados. Essas ADLs permitem descrever a estrutura e o comportamento do sistema. Além disso, é possível gerar modelos executáveis ou gerar código em uma linguagem de programação alvo e simular seu comportamento. Isso, no entanto, não constitui prova de que o sistema está correto ou seguro. Este trabalho propõe uma nova abordagem para capacitar ADLs baseadas em SysML com verificação formal suportada por verificação de modelo. Ele apresenta uma semântica baseada em CSP para modelos SysADL. Além disso, este trabalho apresenta como as propriedades de correção podem ser formalmente especificadas usando CSP, e como o verificador de refinamento de modelos FDR4 pode verificar essas propriedades de correção. Finalmente, apresentamos a nova extensão do SysADL studio que permite a transformação automatizada de descrições de arquitetura SysADL para processos CSP e a verificação de propriedades importantes de correção do sistema. Toda a abordagem é ilustrada por meio de um estudo de caso, que também faz parte deste documento. Este estudo de caso demonstra a utilidade de nossa abordagem na prática.


MEMBROS DA BANCA:
Presidente - 1639701 - MARCEL VINICIUS MEDEIROS OLIVEIRA
Interno - 2114893 - CARLOS ALBERTO OLARTE VEGA
Interna - 1213777 - THAIS VASCONCELOS BATISTA
Notícia cadastrada em: 16/08/2021 10:36
SIGAA | Superintendência de Tecnologia da Informação - (84) 3342 2210 | Copyright © 2006-2024 - UFRN - sigaa01-producao.info.ufrn.br.sigaa01-producao