The LynxOS-178 real-time operating system helps developers create systems that meet the FAA's requirements for DO-178B Level A certification. It's already used in several safety-critical systems that have been DO-178B certified, including the primary flight display of the Bombardier Challenger 300, a business-class plane, and several modules in the KC-135 Stratotanker, an airplane that carries fuel for other planes.
Born out of a partnership between LynuxWorks and Rockwell Collins, LynxOS-178 makes use of Rockwell Collins's Virtual Machine Operating System, which has been certified to DO-178B.
LynxOS-178 implements an ARINC 653-style time partition scheduling algorithm and it supports RTCA DO-255-compliant system partitioning, which allows multiple applications of differing criticality levels within partitions to execute in isolation from one another but on the same hardware. The system supports hard memory partitioning with a processor memory management unit and uses POSIX-based interfaces. LynxOS-178 includes a complete artifacts package for the kernel and user library including full DO-178B traceability through requirements, design, code, test and test results.
Development seats are available now costing from $18,000.
San Jos, CA