SAFERTOS

Deos™, DDC-I’s safety-critical time and space partitioned real-time operating system (RTOS) that has been verified to the guidance of DO-178C/ED-12C Design Assurance Level A (DAL A) for Avionics Applications, supports ARINC 653 APEX, rate monotonic scheduling (RMS), and is targeted at the FACE Safety Base Profile. It has been field proven as a safety-critical RTOS since its first verification and audit to DAL A by Transport Canada in 1998, and it has been certified and is flying in 10’s of thousands of aircraft. Since the initial verification, it has continually evolved throughout the last two decades with new processors and features in subsequent baselines, and it has been successfully audited by the world’s various governmental certification authorities (FAA, ENAC, JAA, EASA, CAAC, and others) and airframe and Avionics Supplier Designated Engineering Representatives (DERs).

embOS is a priority-controlled RTOS (real-time operating system). It is designed to be the foundation for developing embedded applications and is continually developed since 1992. embOS is available for all popular cores, compilers and development tools and has been deployed in several billion devices in a range of application areas. Since 1992, embOS has been the preferred RTOS choice for engineers in the embedded market. It offers ease-of-use and guarantees 100% deterministic real-time operation for any embedded device. This real-time operating system is highly portable and fully source-compatible on all platforms, making it easy to port applications to different cores. Tasks can easily be created and safely communicate with each other, using communication mechanisms such as semaphores, mailboxes, and events. The real-time operating system is free for any non-commercial use like education and evaluation, without any technical limitation.