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.
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
– 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.