LynxOS 178 RTOS

15 reseñas

LynxOS-178 es un sistema operativo en tiempo real (RTOS) comercial listo para usar (COTS) diseñado para cumplir con los estrictos requisitos de los sistemas críticos de seguridad, particularmente en la aviación. Soporta plataformas x86, Arm y PowerPC y está construido sobre estándares abiertos, asegurando compatibilidad y flexibilidad para los desarrolladores. LynxOS-178 proporciona seguridad y protección a través de un aislamiento estricto, reforzado por hardware, entre los procesos en tiempo real, las aplicaciones y los servicios y controladores del núcleo del RTOS. Características y Funcionalidad Clave: - Certificación de Seguridad: LynxOS-178 ha sido certificado múltiples veces al Nivel de Garantía de Diseño A (DAL A) de DO-178C, el nivel más alto de certificación de seguridad para sistemas aéreos. - Cumplimiento de Estándares: El RTOS es totalmente compatible con los estándares ARINC 653, POSIX y el Entorno de Capacidad Aérea Futura (FACE), facilitando la portabilidad y reutilización del software en diferentes plataformas. - Componente de Software Reutilizable (RSC): LynxOS-178 es el primer y único RTOS particionado en tiempo y espacio que ha obtenido un premio RSC de la Administración Federal de Aviación (FAA), permitiendo a los desarrolladores reutilizar componentes de software previamente certificados, reduciendo así los costos y el tiempo de certificación. - Soporte de Hardware: Soporta procesadores multinúcleo en arquitecturas x86, Arm y PowerPC, proporcionando flexibilidad en la selección de hardware. - Particionamiento: El RTOS ofrece particionamiento de tiempo, espacio y recursos, asegurando que fallos o sobrecargas en una partición no afecten a otras, mejorando así la fiabilidad y seguridad del sistema. Valor Principal y Resolución de Problemas: LynxOS-178 aborda la necesidad crítica de un RTOS confiable y certificable en aplicaciones críticas de seguridad, particularmente en las industrias aeroespacial y de defensa. Al adherirse a estándares abiertos y lograr certificaciones de seguridad de alto nivel, permite a los desarrolladores crear sistemas que son tanto seguros como interoperables. La certificación RSC reduce significativamente el tiempo y costo asociados con el proceso de certificación, permitiendo ciclos de desarrollo más rápidos y una utilización de recursos más eficiente. Además, su soporte para múltiples arquitecturas de hardware y cumplimiento con estándares de la industria aseguran que LynxOS-178 pueda integrarse sin problemas en una amplia gama de sistemas, proporcionando una base robusta para aplicaciones críticas para la misión.

LynxOS®-178 RTOS

11 reseñas

La industria del software está preocupada por la seguridad y enfrenta grandes desafíos para hacer que el proceso de certificación (a cualquier estándar) sea más repetible, más eficiente y más rentable. La industria general del software ha estado trabajando en la reutilización de software y la modularidad durante muchos años, pero estos conceptos solo han tocado la superficie de la industria DO-178B.

LynxSecure Separation Kernel Hypervisor

0 reseñas

LynxSecure se empaqueta con herramientas de desarrollo y configuración que ofrecen control en tiempo real y granular sobre los recursos de la plataforma de hardware para gestionar la asignación de recursos del sistema operativo invitado, la programación de ejecución y la intercomunicación.

LynxOS RTOS

0 reseñas

LynxOS es un sistema operativo determinista de tiempo real estricto que proporciona APIs conformes a POSIX en un núcleo embebido de pequeño tamaño. LynxOS ofrece soporte de multiprocesamiento simétrico para aprovechar completamente los procesadores multinúcleo/multihilo. LynxOS 7.0 incluye nuevas cadenas de herramientas, depuradores y soporte de desarrollo cruzado en host.