Publicação

Aplicação de sistemas operativos de tempo real no sistema Galileo

Ver documento

Detalhes bibliográficos
Resumo:Real-time operating systems have been vastly used in the development of embedded and/or critical systems. However, these operating systems present reliability and security problems at implementation level, providing services and functions that may compromise the application and, in some situations, the integrity of the systems themselves. This could have catastrophic consequences in the case of critical applications. Throughout this document, real-time operating systems are analyzed, with focus on important specifications such as POSIX and ARINC 653, in order to understand what can be offered to develop real-time critical/embedded systems. The document also presents a solution that was developed to protect the application layer from a real-time operating system in the presence of unprocessed errors, offering portability to the application layer w.r.t. the operatyng system. The work presented was developed the course of Project in Informatics Engineering, Masters in Informatics Engineering, Faculty of Sciences, University of Lisbon. The work was carried out in Skysoft, in the context of a Galileo System project, the OSPF RTMC.
Autores principais:Guimarães, Ivo Daniel Oliveira
Assunto:Sistema Galileo RTOS POSIX ARINC 653 Trabalhos de projecto de mestrado - 2008
Ano:2008
País:Portugal
Tipo de documento:dissertação de mestrado
Tipo de acesso:acesso aberto
Instituição associada:Universidade de Lisboa
Idioma:português
Origem:Repositório da Universidade de Lisboa
Descrição
Resumo:Real-time operating systems have been vastly used in the development of embedded and/or critical systems. However, these operating systems present reliability and security problems at implementation level, providing services and functions that may compromise the application and, in some situations, the integrity of the systems themselves. This could have catastrophic consequences in the case of critical applications. Throughout this document, real-time operating systems are analyzed, with focus on important specifications such as POSIX and ARINC 653, in order to understand what can be offered to develop real-time critical/embedded systems. The document also presents a solution that was developed to protect the application layer from a real-time operating system in the presence of unprocessed errors, offering portability to the application layer w.r.t. the operatyng system. The work presented was developed the course of Project in Informatics Engineering, Masters in Informatics Engineering, Faculty of Sciences, University of Lisbon. The work was carried out in Skysoft, in the context of a Galileo System project, the OSPF RTMC.

Atividades financiadas

Não foram encontrados projetos financiados.