25 nov 2021
10:00 Defesa de Mestrado Integralmente a distância
Tema
Um Framework de Injeção de Falhas para Modelos UML Executáveis
Aluno
Guilherme Wilson dos Santos Lopes
Orientador / Docente
Leonardo Montecchi
Breve resumo
Injeção de Falhas (FI - Fault Injection) é uma técnica de verificação bastante utilizada para sistemas críticos. Esses sistemas são aqueles que não podem falhar, no qual defeitos (ou faults) são introduzidos de forma artificial, para avaliar como as medidas implementadas para evitar falhas no sistema irão se comportar em condições excepcionais. O FI pode ser aplicado em diferentes níveis, incluindo físico, hardware e software.
Além disso, o FI também pode ser aplicado em nível de modelo, embora a quantidade de trabalho nessa direção seja limitada. No entanto, a importância dos modelos no desenvolvimento de sistemas complexos está crescendo, fazendo com que seja cada vez mais necessário a verificação e simulações em nível de modelo. A Foundational UML (fUML) é um subconjunto específico da UML, lançado como um padrão OMG, que possui uma semântica de execução precisa e, portanto, pode ser executado.
Nesta dissertação fizemos a aplicação de FI a modelos executáveis especificados em fUML. Primeiro fizemos a caracterização dos tipos de faults que podem ser aplicados aos modelos fUML ligando estes aos faults já bem estabelecidos na literatura e, em seguida, implementamos um mecanismo de injeção baseado na transformação automática de modelos. A metodologia foi então aplicada a um exemplo simples no domínio espacial adaptado de um sistema real de satélites (NanosatC-BR2).
Acreditamos que este seja um primeiro passo importante para para uma detecção precoce de faults de projeto e adoção de técnicas de FI nos modelos fUML,. Concluímos discutindo alguns desafios e direções para trabalhos futuros.
Banca examinadora
Titulares:
| Leonardo Montecchi | IC/UNICAMP |
| Eliane Martins | IC/UNICAMP |
| Maria de Fátima Mattiello Francisco | (CSE/ETE)/INPE |
Suplentes:
| Cecília Mary Fischer Rubira | IC/UNICAMP |
| Leandro Dias da Silva | IC/UFAL |