A carregar...
Publicação
Aplicação de sistemas operativos de tempo real no sistema Galileo
| Nome: | Descrição: | Tamanho: | Formato: | |
|---|---|---|---|---|
| 1.85 MB | Adobe PDF |
Autores
Orientador(es)
Resumo(s)
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.
Os sistemas operativos de tempo real têm sido imensamente utilizados no desenvolvimento de aplicações embebidas e/ou críticas. No entanto, todos apresentam problemas de fiabilidade e segurança na sua implementação ao disponibilizarem serviços e funcionalidades que ameaçam a integridade da aplicação e por vezes do próprio sistema operativo. Ao longo do documento serão analisados vários aspectos dos sistemas operativos de tempo real, passando por importantes especificações como o POSIX e ARINC 653. O objectivo da análise é perceber o que podem oferecer a quem desenvolve sistemas embebidos e/ou críticos de tempo real. Esta análise servirá de base de conhecimento à configuração de um sistema operativo de tempo real, explorando várias alternativas de configuração. Neste documento será ainda apresentada uma solução concretizada para oferecer portabilidade, segurança e fiabilidade à camada de aplicação em relação ao sistema operativo. Este trabalho foi realizado no âmbito da disciplina do Projecto em Engenharia Informática do Mestrado em Engenharia Informática da Faculdade de Ciências da Universidade de Lisboa. O projecto OSPF RTMC insere-se num dos projectos do Sistema Galileo, realizado na Skysoft.
Os sistemas operativos de tempo real têm sido imensamente utilizados no desenvolvimento de aplicações embebidas e/ou críticas. No entanto, todos apresentam problemas de fiabilidade e segurança na sua implementação ao disponibilizarem serviços e funcionalidades que ameaçam a integridade da aplicação e por vezes do próprio sistema operativo. Ao longo do documento serão analisados vários aspectos dos sistemas operativos de tempo real, passando por importantes especificações como o POSIX e ARINC 653. O objectivo da análise é perceber o que podem oferecer a quem desenvolve sistemas embebidos e/ou críticos de tempo real. Esta análise servirá de base de conhecimento à configuração de um sistema operativo de tempo real, explorando várias alternativas de configuração. Neste documento será ainda apresentada uma solução concretizada para oferecer portabilidade, segurança e fiabilidade à camada de aplicação em relação ao sistema operativo. Este trabalho foi realizado no âmbito da disciplina do Projecto em Engenharia Informática do Mestrado em Engenharia Informática da Faculdade de Ciências da Universidade de Lisboa. O projecto OSPF RTMC insere-se num dos projectos do Sistema Galileo, realizado na Skysoft.
Descrição
Trabalho de projecto de mestrado em Engenharia Informática, apresentado à Universidade de Lisboa, através da Faculdade de Ciências, 2008
Palavras-chave
Sistema Galileo RTOS POSIX ARINC 653 Trabalhos de projecto de mestrado - 2008