Início XKY Um sistema operativo novo e robusto com partições Imprimir Informação geral O hipervisor XKY XKY é um sistema operativo em tempo real com partições temporárias e espaciais (RTOS) compatível com o padrão ARINC 653. Está desenvolvido em conformidade com o regulamento DO-178 para oferecer todos os níveis de segurança até DAL-A. Desde a sua origem, o sistema operativo XKY foi concebido e criado com uma arquitetura de hipervisor em mente e com a ideia de minimizar a base de código, tudo isto cumprindo os requisitos de criação de partições robustas. Combina, igualmente, modularidade e flexibilidade com um mínimo impacto no sistema, o que o torna numa solução rentável para o mercado aeronáutico. XKY pode ser executado em ARM v7 e PowerPC, de 32 e 64 bits, com suporte multi-core. Além disso, graças ao seu design modular, pode adaptar-se facilmente a outros tipos de CPU. Para obter mais informação, entre em contacto connosco em [email protected]. Casos de utilização: consulte a documentação técnica do produto, que contém informação detalhada sobre XKY e um estudo de caso realizado conjuntamente com a Embraer. XKY Características Informação geral XKY é um sistema operativo em tempo real criado integralmente a partir do zero até aos sistemas de suporte, que segue o paradigma mais utilizado hoje em dia na aviónica modular integrada (IMA (Aviónica modular integrada)): as partições robustas. O seu design emula a arquitetura de hipervisor, o que permite que várias aplicações, e mesmo sistemas operativos, coexistam com segurança no mesmo hardware. O núcleo de gestão de partições de XKY executa-se diretamente no hardware para controlar e gerir os sistemas convidados. XKY permite a execução de vários sistemas operativos em várias partições, o que garante o acesso ininterrupto aos recursos configurados para estes sistemas na fase de design. XKY está otimizado para admitir sistemas em tempo real, e o convidado comum é um RTOS. Características chave XKY admite vários núcleos (multi-core). As partições podem ser programadas em qualquer número de núcleos de processamento indicando a CPU em que se deve executar a partição atual. XKY proporciona uma comunicação rápida entre as aplicações de cada partição mediante portos de amostragem e de cauda e uma memória partilhada. XKY admite a comunicação externa mediante PCIe e através de Ethernet ou AFDX. Estas interfaces funcionam diretamente, sem necessidade de ações adicionais. Também se podem integrar facilmente outros drivers IO no nível de partição. XKY proporciona compatibilidade com o padrão ARINC 653 APEX, parte 1 (suplementos 3 e 4) e serviços selecionados da parte 2. Os complementos são o sistema de registo, os pontos de acesso ao serviço e o sistema de arquivos ARINC 653 (proximamente). Atualmente, XKY está orientado para a PowerPC (32/64 bits) e ARM (Cortex-A8/A53/M4/…). BSP independente do hardware para Unix/Linux. XKY pode certificar-se até DO-178C/ED-12C DAL-A. Documentação da certificação DO-178C/ED-12C Juntamente com os nossos parceiros, estivemos a trabalhar no sentido de documentar exaustivamente a certificação em aeronáutica civil em conformidade com DO-178C/ED-12C até ao nível DAL-A. Isto significa que XKY se pode usar com as aplicações mais críticas da aeronáutica civil. Esta documentação estará disponível no último trimestre de 2020. Para perguntas relacionadas com a certificabilidade, entre em contacto connosco no endereço [email protected]. Casos de utilização O acrónimo DIMA equivale a Distributed Integrated Modular Avionics. A aviónica modular integrada distribuída (IMA (Aviónica modular integrada)), às vezes chamada IMA (Aviónica modular integrada) de 2ª geração, é um padrão arquitetónico emergente para a aviónica. Desde 2014, a GMV está a trabalhar com a Embraer numa série de projetos destinados a implementar um protótipo de plataforma DIMA. Esta plataforma proporciona: Uso flexível dos recursos informáticos e de IO Interoperabilidade no nível de sistema Reutilização dos componentes da aplicação Reconfiguração (plug & play) Se desejar, pode descarregar a documentação técnica sobre este caso de utilização. Descarregar Kit de iniciação O kit de iniciação é uma solução de baixo custo que permite avaliar, elaborar demonstrações, criar protótipos, formar-se e realizar outras atividades que não estão diretamente relacionadas com os sistemas de segurança crítica. O kit de iniciação contém XKY com um pacote de suporte para BeagleBone Black, uma placa de código aberto acessível com um processador ARM Cortex-A8 mantida pela comunidade. Também inclui uma cadeia de ferramentas de configuração baseada em Python e a cadeia de ferramentas de compilação baseada em GNU, assim como uma partição IO que proporciona UDP através de Ethernet. Além disso, conta com documentação e exemplos de aplicação. O kit de iniciação é uma solução ótima para projetos de investigação e para fins educativos, e é gratuito para as universidades e outras instituições educativas. XKY em Linux XKY em Linux é uma versão do hipervisor com um pacote de compatibilidade da placa para POSIX. Esta variante não se executa em hardware puro, mas sobre sistemas operativos compatíveis com POSIX. XKY no Linux está otimizado e provado em distribuições Linux. Pode ser usado como ferramenta de desenvolvimento para a criação de protótipos e para fins educativos. Inclui uma cadeia de ferramentas de configuração baseada em Python e a cadeia de ferramentas de compilação baseada em GNU, assim como uma partição IO que proporciona UDP através de Ethernet. Também inclui documentação e exemplos de aplicação. XKY em Linux é gratuito para universidades e outras instituições de educação.
