LynxOS 178 RTOS

15 avaliações

LynxOS-178 é um sistema operacional em tempo real (RTOS) comercial pronto para uso (COTS) projetado para atender aos rigorosos requisitos de sistemas críticos de segurança, particularmente em aviônica. Ele suporta plataformas x86, Arm e PowerPC e é construído com base em padrões abertos, garantindo compatibilidade e flexibilidade para desenvolvedores. LynxOS-178 oferece segurança e proteção através de isolamento rigoroso, imposto por hardware, entre processos em tempo real, aplicativos e os serviços e drivers do kernel do RTOS. Principais Características e Funcionalidades: - Certificação de Segurança: LynxOS-178 foi certificado várias vezes para o Nível de Garantia de Design DO-178C A (DAL A), o mais alto nível de certificação de segurança para sistemas embarcados. - Conformidade com Padrões: O RTOS é totalmente compatível com os padrões ARINC 653, POSIX e o Ambiente de Capacidade Aérea Futura (FACE), facilitando a portabilidade e reutilização de software em diferentes plataformas. - Componente de Software Reutilizável (RSC): LynxOS-178 é o primeiro e único RTOS particionado em tempo e espaço a ter obtido um prêmio RSC da Administração Federal de Aviação (FAA), permitindo que os desenvolvedores reutilizem componentes de software previamente certificados, reduzindo assim os custos e o tempo de certificação. - Suporte de Hardware: Ele suporta processadores multicore nas arquiteturas x86, Arm e PowerPC, proporcionando flexibilidade na seleção de hardware. - Particionamento: O RTOS oferece particionamento de tempo, espaço e recursos, garantindo que falhas ou sobrecargas em uma partição não afetem outras, aumentando assim a confiabilidade e segurança do sistema. Valor Principal e Resolução de Problemas: LynxOS-178 aborda a necessidade crítica de um RTOS confiável e certificável em aplicações críticas de segurança, particularmente nas indústrias aeroespacial e de defesa. Ao aderir a padrões abertos e alcançar certificações de segurança de alto nível, ele permite que os desenvolvedores criem sistemas que são seguros e interoperáveis. A certificação RSC reduz significativamente o tempo e o custo associados ao processo de certificação, permitindo ciclos de desenvolvimento mais rápidos e utilização mais eficiente de recursos. Além disso, seu suporte para múltiplas arquiteturas de hardware e conformidade com padrões da indústria garantem que LynxOS-178 possa ser integrado de forma transparente em uma ampla gama de sistemas, proporcionando uma base robusta para aplicações críticas de missão.

LynxOS®-178 RTOS

11 avaliações

A indústria de software está preocupada com a segurança e enfrenta grandes desafios para tornar o processo de certificação (para qualquer padrão) mais repetível, mais eficiente e mais econômico. A indústria de software em geral tem trabalhado na reutilização de software e na modularidade por muitos anos, mas esses conceitos apenas tocaram a superfície da indústria DO-178B.

LynxSecure Separation Kernel Hypervisor

0 avaliações

LynxSecure é embalado com ferramentas de desenvolvimento e configuração que oferecem controle em tempo real e granular sobre os recursos da plataforma de hardware para gerenciar a alocação de recursos do sistema operacional convidado, agendamento de execução e intercomunicação.

LynxOS RTOS

0 avaliações

LynxOS é um sistema operacional de tempo real determinístico e rígido que fornece APIs conformes com POSIX em um kernel embarcado de pequeno porte. LynxOS oferece suporte a multiprocessamento simétrico para aproveitar totalmente os processadores multi-core/multi-threaded. LynxOS 7.0 inclui novas cadeias de ferramentas, depuradores e suporte a hosts de desenvolvimento cruzado.