LynxOS 178 RTOS

14 recensioni

LynxOS-178 è un sistema operativo in tempo reale (RTOS) commerciale pronto all'uso (COTS) progettato per soddisfare i rigorosi requisiti dei sistemi critici per la sicurezza, in particolare nell'avionica. Supporta piattaforme x86, Arm e PowerPC ed è costruito su standard aperti, garantendo compatibilità e flessibilità per gli sviluppatori. LynxOS-178 fornisce sicurezza e protezione attraverso un'isolamento rigoroso, imposto dall'hardware, tra processi in tempo reale, applicazioni e i servizi e driver del kernel RTOS. Caratteristiche e Funzionalità Chiave: - Certificazione di Sicurezza: LynxOS-178 è stato certificato più volte al livello di garanzia del progetto DO-178C Design Assurance Level A (DAL A), il livello più alto di certificazione di sicurezza per sistemi aeronautici. - Conformità agli Standard: L'RTOS è pienamente conforme agli standard ARINC 653, POSIX e Future Airborne Capability Environment (FACE), facilitando la portabilità e il riutilizzo del software su diverse piattaforme. - Componente Software Riutilizzabile (RSC): LynxOS-178 è il primo e unico RTOS partizionato nel tempo e nello spazio ad aver ottenuto un premio RSC dalla Federal Aviation Administration (FAA), permettendo agli sviluppatori di riutilizzare componenti software precedentemente certificati, riducendo così i costi e i tempi di certificazione. - Supporto Hardware: Supporta processori multicore su architetture x86, Arm e PowerPC, fornendo flessibilità nella selezione dell'hardware. - Partizionamento: L'RTOS offre partizionamento di tempo, spazio e risorse, garantendo che guasti o sovraccarichi in una partizione non influenzino le altre, migliorando così l'affidabilità e la sicurezza del sistema. Valore Primario e Risoluzione dei Problemi: LynxOS-178 affronta la necessità critica di un RTOS affidabile e certificabile in applicazioni critiche per la sicurezza, in particolare nei settori aerospaziale e della difesa. Aderendo agli standard aperti e ottenendo certificazioni di sicurezza di alto livello, consente agli sviluppatori di creare sistemi che sono sia sicuri che interoperabili. La certificazione RSC riduce significativamente il tempo e il costo associati al processo di certificazione, permettendo cicli di sviluppo più rapidi e un utilizzo più efficiente delle risorse. Inoltre, il suo supporto per più architetture hardware e la conformità agli standard industriali assicurano che LynxOS-178 possa essere integrato senza problemi in una vasta gamma di sistemi, fornendo una solida base per applicazioni mission-critical.

LynxOS®-178 RTOS

11 recensioni

L'industria del software è preoccupata per la sicurezza e sta affrontando grandi sfide per rendere il processo di certificazione (a qualsiasi standard) più ripetibile, più efficiente e più conveniente. L'industria generale del software ha lavorato sul riutilizzo del software e sulla modularità per molti anni, ma questi concetti hanno solo sfiorato la superficie dell'industria DO-178B.

LynxSecure Separation Kernel Hypervisor

0 recensioni

LynxSecure è fornito con strumenti di sviluppo e configurazione che offrono un controllo in tempo reale e granulare sulle risorse della piattaforma hardware per gestire l'allocazione delle risorse del sistema operativo ospite, la pianificazione dell'esecuzione e l'intercomunicazione.

LynxOS RTOS

0 recensioni

LynxOS è un sistema operativo deterministico e in tempo reale rigido che fornisce API conformi a POSIX in un kernel embedded a basso ingombro. LynxOS offre supporto per il multi-processing simmetrico per sfruttare appieno i processori multi-core/multi-thread. LynxOS 7.0 include nuove catene di strumenti, debugger e supporto per lo sviluppo incrociato su host.