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

    control centers
    Cibersegurança para centros de controlo
  • Talento
  • Sobre a GMV
    • Conheça a empresa
    • Equipa
    • Responsabilidade social empresarial
    • Localização
    • Tudo sobre a GMV
  • 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
xky
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
logo xky

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
características xky

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
Certificados de xky

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
Cabina de avión

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
Beagleboard

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

Contacto

Alameda dos Oceanos, 115
1990-392 Lisboa, Portugal

Tel. +351 213829366
Fax. +351 213866493

Contact menu

  • Contacto
  • 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
  • Serviços
  • Financeiro
  • Talento
  • Sobre a GMV
  • Direto a
    • Sala de imprensa
    • Notícias
    • Eventos
    • Blogue
    • Produtos A-Z
© 2022, GMV Innovating Solutions S.L.

Footer menu

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

Footer Info

  • Compromisso ambiental
  • Informação financeira