Deos

SAFERTOS® is a pre-certified safety Real Time Operating System (RTOS) for embedded processors. It delivers superior performance and pre-certified dependability, whilst utilizing minimal resources. SAFERTOS® is tailored to your specific processor/compiler combination, and delivered with full source code and our Design Assurance Pack (DAP) . The DAP gives you complete transparency over the full Design Life Cycle, and illustrates the exceptional high quality of our RTOS product. Using our extensive Safety Critical design experience we have made certifying SAFERTOS® integrated within a product an easy and hassle-free process. SAFERTOS® has been designed specifically for the safety sector, and deterministic priority based scheduling is the primary Safety Requirement. Every effort has been made to ensure deterministic behaviour is maintained.

PikeOS offers a separation kernel-based hypervisor with multiple partitions for many other operating systems and applications. It enables you to build smart devices for the Internet-of-Things (IoT) according to the quality, Safety and Security standards of your industry. Due to its separation kernel approach, PikeOS is the first choice for systems which demand protection against Cyber-Security attacks. In addition to the broad usage within millions of IoT and edge systems, it has also been deployed within various high critical communication infrastructures. PikeOS brings together virtualization and real-time by means of unique and never seen before technologies. It allows you to migrate numerous complex embedded circuit boards in to a single hardware. It does not stop when it comes to new hardware concepts such as Big-SoCs with multiple heterogeneous processor cores. PikeOS runs on several architectures, supporting processors that come with a memory management unit (MMU).