Design automation for avionic reconfiguration schemes and schedulability analysis

Detalhes bibliográficos
Ano de defesa: 2022
Autor(a) principal: Fontoura, Antônio Augusto da
Orientador(a): Freitas, Edison Pignaton de
Banca de defesa: Não Informado pela instituição
Tipo de documento: Dissertação
Tipo de acesso: Acesso aberto
Idioma: eng
Instituição de defesa: Não Informado pela instituição
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Palavras-chave em Português:
Reconfiguracao
Sistemas embarcados
Sistemas tolerantes : Falhas
Palavras-chave em Inglês:
Reconfiguration
Avionic systems
Distributed real time embedded systems
Schedulability analysis
Model checking
Design automation
Link de acesso: http://hdl.handle.net/10183/250768
Resumo: Os sistemas aviônicos reconfiguráveis podem tolerar falhas movendo funcionalidades de componentes com falha para outro componente de sistema disponível. Este trabalho propõe uma arquitetura reconfigurável distribuída para migração de aplicativos de módulos com falha para módulos em funcionamento. Os estados viáveis de reconfiguração do sistema são determinados de forma prévia, ainda na fase de design, para fornecer a configuração necessária nas situações previstas. A análise de escalonabilidade é usada para determinar se os estados provenientes das novas configurações são viáveis avaliando pro priedades temporais específicas. Um estudo de caso é usado para mostrar a aplicação da abordagem apresentada como prova de conceito. Por fim, uma prova de conceito do fra mework de automação de design é implementada e uma análise com diferentes algoritmos é realizada para demonstrar sua funcionalidade e flexibilidade.
id URGS_7cf11a841fb6823648c6bac0169d3330
oai_identifier_str oai:www.lume.ufrgs.br:10183/250768
network_acronym_str URGS
network_name_str Biblioteca Digital de Teses e Dissertações da UFRGS
repository_id_str
spelling Fontoura, Antônio Augusto daFreitas, Edison Pignaton de2022-11-04T04:38:48Z2022http://hdl.handle.net/10183/250768001152988Os sistemas aviônicos reconfiguráveis podem tolerar falhas movendo funcionalidades de componentes com falha para outro componente de sistema disponível. Este trabalho propõe uma arquitetura reconfigurável distribuída para migração de aplicativos de módulos com falha para módulos em funcionamento. Os estados viáveis de reconfiguração do sistema são determinados de forma prévia, ainda na fase de design, para fornecer a configuração necessária nas situações previstas. A análise de escalonabilidade é usada para determinar se os estados provenientes das novas configurações são viáveis avaliando pro priedades temporais específicas. Um estudo de caso é usado para mostrar a aplicação da abordagem apresentada como prova de conceito. Por fim, uma prova de conceito do fra mework de automação de design é implementada e uma análise com diferentes algoritmos é realizada para demonstrar sua funcionalidade e flexibilidade.Reconfigurable avionics systems can tolerate faults by moving functionalities from failed components to another available system component. This work proposes a distributed re configurable 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 automa tion framework proof-of-concept is implemented and a thoroughly analysis on different algorithms is performed to demonstrate its functionality and flexibility.application/pdfengReconfiguracaoSistemas embarcadosSistemas tolerantes : FalhasReconfigurationAvionic systemsDistributed real time embedded systemsSchedulability analysisModel checkingDesign automationDesign automation for avionic reconfiguration schemes and schedulability analysisAutomação de projeto para esquemas de reconfiguração de aviônicos e análise de escalonabilidade info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisUniversidade Federal do Rio Grande do SulInstituto de InformáticaPrograma de Pós-Graduação em ComputaçãoPorto Alegre, BR-RS2022mestradoinfo:eu-repo/semantics/openAccessreponame:Biblioteca Digital de Teses e Dissertações da UFRGSinstname:Universidade Federal do Rio Grande do Sul (UFRGS)instacron:UFRGSTEXT001152988.pdf.txt001152988.pdf.txtExtracted Texttext/plain120646http://www.lume.ufrgs.br/bitstream/10183/250768/2/001152988.pdf.txt2e3515f107e28b163d735b3d036b832fMD52ORIGINAL001152988.pdfTexto completo (inglês)application/pdf1695862http://www.lume.ufrgs.br/bitstream/10183/250768/1/001152988.pdf389360aca90da689a02ed240965d2eb1MD5110183/2507682023-02-08 06:02:35.055564oai:www.lume.ufrgs.br:10183/250768Biblioteca Digital de Teses e Dissertaçõeshttps://lume.ufrgs.br/handle/10183/2PUBhttps://lume.ufrgs.br/oai/requestlume@ufrgs.br||lume@ufrgs.bropendoar:18532023-02-08T08:02:35Biblioteca Digital de Teses e Dissertações da UFRGS - Universidade Federal do Rio Grande do Sul (UFRGS)false
dc.title.pt_BR.fl_str_mv Design automation for avionic reconfiguration schemes and schedulability analysis
dc.title.alternative.pt.fl_str_mv Automação de projeto para esquemas de reconfiguração de aviônicos e análise de escalonabilidade
title Design automation for avionic reconfiguration schemes and schedulability analysis
spellingShingle Design automation for avionic reconfiguration schemes and schedulability analysis
Fontoura, Antônio Augusto da
Reconfiguracao
Sistemas embarcados
Sistemas tolerantes : Falhas
Reconfiguration
Avionic systems
Distributed real time embedded systems
Schedulability analysis
Model checking
Design automation
title_short Design automation for avionic reconfiguration schemes and schedulability analysis
title_full Design automation for avionic reconfiguration schemes and schedulability analysis
title_fullStr Design automation for avionic reconfiguration schemes and schedulability analysis
title_full_unstemmed Design automation for avionic reconfiguration schemes and schedulability analysis
title_sort Design automation for avionic reconfiguration schemes and schedulability analysis
author Fontoura, Antônio Augusto da
author_facet Fontoura, Antônio Augusto da
author_role author
dc.contributor.author.fl_str_mv Fontoura, Antônio Augusto da
dc.contributor.advisor1.fl_str_mv Freitas, Edison Pignaton de
contributor_str_mv Freitas, Edison Pignaton de
dc.subject.por.fl_str_mv Reconfiguracao
Sistemas embarcados
Sistemas tolerantes : Falhas
topic Reconfiguracao
Sistemas embarcados
Sistemas tolerantes : Falhas
Reconfiguration
Avionic systems
Distributed real time embedded systems
Schedulability analysis
Model checking
Design automation
dc.subject.eng.fl_str_mv Reconfiguration
Avionic systems
Distributed real time embedded systems
Schedulability analysis
Model checking
Design automation
description Os sistemas aviônicos reconfiguráveis podem tolerar falhas movendo funcionalidades de componentes com falha para outro componente de sistema disponível. Este trabalho propõe uma arquitetura reconfigurável distribuída para migração de aplicativos de módulos com falha para módulos em funcionamento. Os estados viáveis de reconfiguração do sistema são determinados de forma prévia, ainda na fase de design, para fornecer a configuração necessária nas situações previstas. A análise de escalonabilidade é usada para determinar se os estados provenientes das novas configurações são viáveis avaliando pro priedades temporais específicas. Um estudo de caso é usado para mostrar a aplicação da abordagem apresentada como prova de conceito. Por fim, uma prova de conceito do fra mework de automação de design é implementada e uma análise com diferentes algoritmos é realizada para demonstrar sua funcionalidade e flexibilidade.
publishDate 2022
dc.date.accessioned.fl_str_mv 2022-11-04T04:38:48Z
dc.date.issued.fl_str_mv 2022
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/10183/250768
dc.identifier.nrb.pt_BR.fl_str_mv 001152988
url http://hdl.handle.net/10183/250768
identifier_str_mv 001152988
dc.language.iso.fl_str_mv eng
language eng
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da UFRGS
instname:Universidade Federal do Rio Grande do Sul (UFRGS)
instacron:UFRGS
instname_str Universidade Federal do Rio Grande do Sul (UFRGS)
instacron_str UFRGS
institution UFRGS
reponame_str Biblioteca Digital de Teses e Dissertações da UFRGS
collection Biblioteca Digital de Teses e Dissertações da UFRGS
bitstream.url.fl_str_mv http://www.lume.ufrgs.br/bitstream/10183/250768/2/001152988.pdf.txt
http://www.lume.ufrgs.br/bitstream/10183/250768/1/001152988.pdf
bitstream.checksum.fl_str_mv 2e3515f107e28b163d735b3d036b832f
389360aca90da689a02ed240965d2eb1
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da UFRGS - Universidade Federal do Rio Grande do Sul (UFRGS)
repository.mail.fl_str_mv lume@ufrgs.br||lume@ufrgs.br
_version_ 1831316144684793856

Registros relacionados