FAA-Certifiable DO-178C RTOS

DDC-I (Phoenix, AZ) recently announced Deos™ Fourpeaks, a verified DO-178 baseline for the Deos real-time operating system with complete Design Assurance Level A (DAL A) certification artifacts. The new baseline supports Deos cache partitioning and slack scheduling, which reduce worst-case execution time and boost overall performance without compromising safety criticality. The new baseline also features support for the ARINC 653 Part 1 Revision 3 specification, which provides the APEX API, scheduling, and time/space partitioning per the latest published ARINC 653 Standard.

Cache partitioning reduces worst-case execution time, increases CPU utilization, and simplifies safety certification by reducing cache competition. By setting aside dedicated partitions for critical applications, developers can reduce interference from applications residing in other partitions (on the same core or multiple cores), thereby speeding cache access and minimizing cache flushes and refills.

For Free Info Click Here