XKY
Um sistema operativo novo e robusto com partições
O Hipervisor XKY
é um sistema operativo em tempo real com partições temporárias e espaciais (RTOS) compatível com a norma ARINC 653. Foi concebido em conformidade com a norma DO-178C/ED-12C, fornecendo uma plataforma de sistemas IMA para todos os níveis integrados em aeronaves, incluindo o nível DAL-A.
Desde a sua criação, o sistema operativo XKY foi desenvolvido com uma arquitetura de hipervisor em mente e com o objetivo de minimizar a base de código, garantindo sempre os requisitos de criação de partições robustas.
Combina modularidade e flexibilidade com um impacto mínimo no sistema, tornando-se uma solução eficiente para o mercado aeronáutico.
O XKY funciona em PowerPC de 32 e 64 bits com compatibilidade multi-core ARMv8-A, ARMv7-A. Além disso, graças ao seu design modular, pode facilmente adaptar-se a outros tipos de CPU através de um BSP adaptado.
Para mais informações: [email protected].
Casos de utilização: consulte a documentação técnica do produto, que contém informações detalhadas sobre XKY e um estudo de caso desenvolvido em conjunto com a Embraer.
XKY é um sistema operativo em tempo real criado de raiz que segue o paradigma mais difundido na aviónica modular integrada (IMA): partições robustas.
O seu design emula a arquitetura de hipervisor, permitindo que várias aplicações — e até diferentes sistemas operativos — coexistam em segurança no mesmo hardware. O núcleo de gestão de partições deo XKY e o BSP adaptado executam-se diretamente no hardware, controlando e gerindo aplicações e sistemas operativos convidados.
O XKY possibilita a execução de vários sistemas operativos em diferentes partições, assegurando o acesso contínuo aos recursos atribuídos durante a fase de conceção. O XKY está otimizado para garantir a compatibilidade com sistemas em tempo real, sobretudo com RTOS.
O XKY é compatível com o processamento multi-core. As partições podem ser atribuídas a qualquer número de núcleos, permitindo configurar a CPU em que cada partição é executada.
Permite uma comunicação rápida entre aplicações através de portas de amostragem, de enfileiramento e de memória partilhada.
O XKY admite a comunicação externa através de PCIe e Ethernet. Estas interfaces funcionam diretamente, sem necessidade de configurações adicionais. outros drivers de I/O podem ser integrados em partições específicas.
O XKY sproporciona compatibilidade com a norma ARINC 653 APEX, parte 1 (anexos 3 e 4) e alguns serviços da parte 2.
Atualmente, o XKY conta com um BSP pronto para usar em PowerPC de 32 e 64 bits com compatibilidade multi-core e ARMv8-A, ARMv7-A. A compatibilidade com RISC-V está prevista para um futuro próximo.
O XKY pode ser homologado como plataforma em aeronaves de conformidade com a norma DO-178C/ED-12C até ao nível DAL-A.
A GMV está a preparar documentação completa do XKY XKY para garantir a norma DO-178C/ED-12C até ao nível DAL-A. Isto permite a sua utilização como de apoio em sistemas embarcados para aeronaves civis e militares de alto nível de certificação. A documentação básica sobre o produto está disponível para consulta.
Para perguntas relacionadas com a certificabilidade, entre em contacto connosco através do endereço: [email protected].
O acrónimo DIMA significa aviónica modular integrada distribuída (Distributed Integrated Modular Avionics). A aviónica modular integrada distribuída (DIMA), às vezes chamada de IMA (Aviónica modular integrada) de 2.ª geração, é um padrão arquitetónico emergente na aviónica.
Desde 2014, a GMV colabora com a Embraer em projetos que visam implementar um protótipo de plataforma DIMA. Esta plataforma proporciona:
- Utilização flexível dos recursos informáticos e de IO
- Interoperabilidade a nível do sistema
- Reutilização dos componentes da aplicação
- Reconfiguração (plug & play)
Pode descarregar a documentação técnica com mais detalhes e o caso de utilização desenvolvido em conjunto com a Embraer.