Português English
Contato

Dissertação de Mestrado de Antônio Augusto da Fontoura


Detalhes do Evento


DEFESA DE DISSERTAÇÃO DE MESTRADO

Aluno: Antônio Augusto da Fontoura
Orientador: Prof. Dr. Edison Pignaton de Freitas

Título: Design Automation for Avionic Reconfiguration Schemes and Schedulability Analysis
Linha de Pesquisa: Arquiteturas, Protocolos e Gerência de Redes e Serviço.

Data: 11/08/2022
Horário: 10h15min
Local: Esta banca ocorrerá excepcionalmente de forma totalmente remota. Interessados em assistir a defesa poderão acessar a sala virtual através do link: https://mconf.ufrgs.br/webconf/00138178

Banca Examinadora:

– Profa. Dra. Fernanda Gusmão de Lima Kastensmidt (UFRGS)
– Prof. Dr. Flávio Rech Wagner (UFRGS)
– Prof. Dr. Marco Aurélio Wehrmeister (UTFPR)

Presidente da Banca: Prof. Dr. Edison Pignaton de Freitas

Abstract: Reconfigurable avionics systems can tolerate faults by moving functionalities from failed components to another available system component. This work proposes a distributed reconfigurable architecture for application migration from failed modules to working ones. The feasible system reconfiguration states are determined off-line to provide the expected configuration in foreseen situations. Scheduling analysis is used to determine feasible configurations evaluating specific temporal properties. A case study is used to show the application of the presented approach as a proof of concept. Finally a design automation framework proof-of-concept is implemented and a thoroughly analysis on different algorithms is performed to demonstrate its functionality and flexibility.

Keywords: Reconfiguration. Avionic Systems. Distributed Real Time Embedded Systems. Schedulability Analysis. Model Checking. Design Automation.