Cache partitioning supporting RTOS for safety critical applications

DDC-I 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. ARINC 653 Part 1 Revision 3 specification, Deos cache partitioning and slack scheduling is supported in the new baseline. ARINC 653 Part 1 Revision 3 spec provides the APEX API, scheduling, and time/space partitioning per the latest published ARINC 653 Standard. “Deos was designed from the ground up to streamline the DO-178 certification process”, said Greg Rose, vice president of marketing and product management at DDC-I. “This new Deos baseline provides complete verification evidence per the guidance of DO-178 Design Assurance Level A (DAL A) and supports our latest Deos innovations, including our cache partitioning functionality.” Cache partitioning improves processor utilisation and brings down worst-case execution time, which helps in simplifying safety certification. System designers can keep separate dedicated partitions for critical applications so that interference in cache memory from different applications can be prevented. Due to the dedicated partition memory access time can be reduced helping in overall improvement in the speed. Dedicated cache reduces flushing and refilling of cache, which brings down the worst-case execution time. Due to the overall saving in time, the saved time ...