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

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 de análise é perceber o que podem oferecer a quem desenvolve sistemas embebidos 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. O 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. Este projecto insere-se num dos projectos do Sistema Galileo, realizado na Skysoft, o 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 de análise é perceber o que podem oferecer a quem desenvolve sistemas embebidos 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. O 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. Este projecto insere-se num dos projectos do Sistema Galileo, realizado na Skysoft, o OSPF RTMC