Passar para o conteúdo principal
Logo GMV

Main navigation

  • Setores
    • Icono espacio
      Espaço
    • Icono Aeronáutica
      Aeronáutica
    • Icono Defensa y Seguridad
      Defesa e segurança
    • Icono Sistemas Inteligentes de Transporte
      Sistemas inteligentes de transporte
    • Icono Automoción
      Setor Automóvel
    • Icono Ciberseguridad
      Cibersegurança
    • Icono Servicios públicos Digitales
      Serviços públicos digitais
    • Icono Sanidad
      Saúde
    • Icono Industria
      Indústria
    • Icono Financiero
      Financeiro
    • Icono Industria
      Serviços
    • Todos os setores

    Em destaque

    ¿Sueña Skynet con ovejas eléctricas?
    A SkyNet sonha com ovelhas elétricas?
  • Talento
  • Sobre a GMV
    • Conheça a empresa
    • História
    • Equipa executiva
    • Certificações
    • Responsabilidade social empresarial
  • Comunicação
    • Notícias
    • Eventos
    • Blogue
    • Revista GMV News
    • Sala de imprensa
    • Biblioteca de meios
    • Atualidade GMV

Secondary navigation

  • Produtos A-Z
  • GMV Global
    • Global (en)
    • Espanha e América Latina (es - ca - en)
    • Alemanha (de - en)
    • Portugal (pt - en)
    • Polónia (pl - en)
    • Todas as sedes e locais da GMV
  • Início

XKY

Um sistema operativo novo e robusto com partições

  • Imprimir
Informação geral

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

Características

Informação geral

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.

Características chave

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.

Documentação da certificação DO-178C/ED-12C

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].

Casos de utilização

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.

Descarregar

Contacte-nos

Alameda dos Oceanos, 115
1990-392 Lisboa, Portugal

Tel. +351 308801495
Fax. +351 213866493

Contact menu

  • Contacte-nos
  • A GMV no mundo

Blog

  • Blog

Setores

Sectors menu

  • Espaço
  • Aeronáutica
  • Defesa e Segurança
  • Sistemas Inteligentes de Transporte
  • Setor Automóvel
  • Cibersegurança
  • Serviços públicos digitais
  • Saúde
  • Indústria
  • Financeiro
  • Serviços
  • Talento
  • Sobre a GMV
  • Direto a
    • Sala de imprensa
    • Notícias
    • Eventos
    • Blogue
    • Produtos A-Z
© 2025, GMV Innovating Solutions S.L.

Footer menu

  • Contactos
  • Aviso legal
  • Política de privacidade
  • Política de cookies

Footer Info

  • Compromisso ambiental
  • Informação financeira