Implementação de um sistema operacional compatível com a especificação ARINC 653

Detalhes bibliográficos
Autor(a) principal: Arcaro, Luís Fernando
Data de Publicação: 2015
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Repositório Institucional da UFSC
Texto Completo: https://repositorio.ufsc.br/xmlui/handle/123456789/133240
Resumo: Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Engenharia de Automação e Sistemas, Florianópolis, 2015
id UFSC_008cd06dc004b041906ffe1b156073c2
oai_identifier_str oai:repositorio.ufsc.br:123456789/133240
network_acronym_str UFSC
network_name_str Repositório Institucional da UFSC
repository_id_str 2373
spelling Implementação de um sistema operacional compatível com a especificação ARINC 653Engenharia de sistemasAutomaçãoSistemas de controle digitalSistemas operacionais (Computadores)Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Engenharia de Automação e Sistemas, Florianópolis, 2015Sistemas de Tempo Real (STRs) são sistemas computacionais que estão submetidos, alem de a requisitos lógicos, a requisitos de natureza temporal. A especificação ARINC 653 descreve a interface funcional a ser oferecida ao software de aplicação e os requisitos temporais a serem atendidos por Sistemas Operacionais (SOs) sobre os quais são executados STRs aviônicos, ou seja, aplicações relacionadas aos sistemas eletrônicos empregados em aeronaves. Uma das principais definições dessa especificação e a utilização de partições com isolamento temporal e espacial, permitindo a execução de múltiplas aplicações com diferentes objetivos e criticalidades numa mesma plataforma de hardware, e garantindo, ainda, que eventuais falhas ocorridas em uma partição não afetem a execução das demais. Este trabalho descreve a implementação de um SO compatível com a especificação ARINC 653 destinado ao treinamento de profissionais e a experimentação de novas aplicações aviônicas, não tendo por objetivo, portanto, a certificação para operação em voo, executado sobre a plataforma de hardware comercialmente conhecida como BeagleBone. Foi desenvolvido ainda um conjunto de ferramentas de configuração destinadas a validação de arquivos de configuração no padrão exigido pela ARINC 653 e a geração de modelos de aplicação para execução no SO. O atendimento as exigências da ARINC 653 pelo SO foi evidenciado através de um conjunto de casos de teste, que servem também como exemplos de utilização e auxiliam, ainda, no processo demigração do SO a outras plataformas.<br>Abstract: Real-Time Systems (RTSs) are computer systems that are subject to, in addition to logical requirements, temporal requirements. The ARINC 653 specication describes the functional interface that must be oered to the application software and the time requirements that must be met by Operating Systems (OSs) on which avionics RTSs are executed, i.e. applications related to electronic systems used on aircrafts. One of the key definitions of this specification is the use of temporally and spatially isolated partitions, allowing the execution of multiple applications with different objectives and criticality levels onthe same hardware platform, and also ensuring that any failures inone partition do not affect the execution of the others. This work describes the implementation of an ARINC 653 compatible OS aimed for professionals training and test of new avionics applications, and thus does not aim certification for in-ight operation, which is executed on the hardware platform commercially known as BeagleBone. We also developed a set of configuration tools for the validation of ARINC 653 standard configuration files and the generation of application templates to be run in the OS. The compliance of the OS with the ARINC 653 requirements is evidenced through a set of test cases, which also serve as examples of use and are useful in the process of migration of the OS to other platforms.Oliveira, Rômulo Silva deUniversidade Federal de Santa CatarinaArcaro, Luís Fernando2015-06-02T04:10:14Z2015-06-02T04:10:14Z2015info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesis351 p.| il., grafs., tabs.application/pdf333796https://repositorio.ufsc.br/xmlui/handle/123456789/133240porreponame:Repositório Institucional da UFSCinstname:Universidade Federal de Santa Catarina (UFSC)instacron:UFSCinfo:eu-repo/semantics/openAccess2015-06-02T04:10:14Zoai:repositorio.ufsc.br:123456789/133240Repositório InstitucionalPUBhttp://150.162.242.35/oai/requestopendoar:23732015-06-02T04:10:14Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)false
dc.title.none.fl_str_mv Implementação de um sistema operacional compatível com a especificação ARINC 653
title Implementação de um sistema operacional compatível com a especificação ARINC 653
spellingShingle Implementação de um sistema operacional compatível com a especificação ARINC 653
Arcaro, Luís Fernando
Engenharia de sistemas
Automação
Sistemas de controle digital
Sistemas operacionais (Computadores)
title_short Implementação de um sistema operacional compatível com a especificação ARINC 653
title_full Implementação de um sistema operacional compatível com a especificação ARINC 653
title_fullStr Implementação de um sistema operacional compatível com a especificação ARINC 653
title_full_unstemmed Implementação de um sistema operacional compatível com a especificação ARINC 653
title_sort Implementação de um sistema operacional compatível com a especificação ARINC 653
author Arcaro, Luís Fernando
author_facet Arcaro, Luís Fernando
author_role author
dc.contributor.none.fl_str_mv Oliveira, Rômulo Silva de
Universidade Federal de Santa Catarina
dc.contributor.author.fl_str_mv Arcaro, Luís Fernando
dc.subject.por.fl_str_mv Engenharia de sistemas
Automação
Sistemas de controle digital
Sistemas operacionais (Computadores)
topic Engenharia de sistemas
Automação
Sistemas de controle digital
Sistemas operacionais (Computadores)
description Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Engenharia de Automação e Sistemas, Florianópolis, 2015
publishDate 2015
dc.date.none.fl_str_mv 2015-06-02T04:10:14Z
2015-06-02T04:10:14Z
2015
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 333796
https://repositorio.ufsc.br/xmlui/handle/123456789/133240
identifier_str_mv 333796
url https://repositorio.ufsc.br/xmlui/handle/123456789/133240
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv 351 p.| il., grafs., tabs.
application/pdf
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFSC
instname:Universidade Federal de Santa Catarina (UFSC)
instacron:UFSC
instname_str Universidade Federal de Santa Catarina (UFSC)
instacron_str UFSC
institution UFSC
reponame_str Repositório Institucional da UFSC
collection Repositório Institucional da UFSC
repository.name.fl_str_mv Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)
repository.mail.fl_str_mv
_version_ 1808651893586526208

Registros relacionados