Lynx 
Software Technologies provides a platform architectures for builders of safety- and security-critical software systems, beginning with the LynxOS® real-time operating system (RTOS), which was one of the first operating systems to leverage hardware memory protection capabilities. Featuring a state-of-the-art, scalable real-time thread execution model, LynxOS offered a UNIX®-like user model and standard POSIX® interfaces to embedded developers.
LynxOS-178®—a 2nd Generation refinement of LynxOS—introduced kernel partitioning and ARINC API standards to the avionic development community. LynxOS-178® is developed and certified to the distinguished FAA DO-178C DAL A safety standard and received the first and only FAA Reusable Software Component certificate for an RTOS. LYNX MOSA.ic™ extends this proud history of innovation by leveraging CPU virtualization to further simplify and decentralize platform abstraction layers, providing a modular development & integration framework for rapidly building safe, secure, and reliable software systems out of independent application modules.
LynxSecure is a separation kernel hypervisor designed to satisfy real-time, high assurance computing requirements for Arm, PowerPC and x86 platforms. More
LYNX MOSA.ic is a software framework that shrinks the development cycle for the creation, certification and deployment of complex multi-core safety or security systems. More
LynxOS-178 is a native POSIX® hard real-time partitioning operating system developed and certified to FAA DO-178B/C DAL A safety standards. More
