OCEOS (single core) & OCEOSmp (multicore) RTOS

OCEOS (single core) and OCEOSmp (multicore) are real-time operating systems designed for space applications. OCEOSmp is a new design ready for tomorrow’s embedded systems with many cores. It allows tasks to be restricted to specific cores, enables cores to be taken out of use without disrupting scheduling, and is distributed and robust against individual core failures. It supports concurrent execution of the same tasks on different cores for comparison and provides performance records for policing system behavior and detecting faults. OCEOSmp schedules fixed priority tasks pre-emptively, ensuring deterministic behavior and supporting schedulability analysis. Its design prevents problems like unbounded priority inversion and chained blocking, guarantees freedom from deadlocks, and maximizes performance by distributing tasks evenly. It is compact, using a single system stack per core, minimizing fast memory needs and facilitating memory protection. OCEOSmp provides mutual exclusion semaphores, read-write semaphores, counting semaphores, and data queues, allowing timed data outputs and task start requests. OCEOS is a multicore real-time pre-emptive fixed priority operating system suitable for applications requiring European Space Agency ECSS Category B or ISO 26262 standards. It has a small memory footprint, requiring only one system stack per CPU, and supports precisely timed data outputs. OCEOS runs on RISC-V, ARM, and SPARC based hardware, and can run in parallel with other operating systems in a multicore environment. Support for AI processing using OpenVX and OpenCL is on the roadmap. Both systems feature fixed priority pre-emptive scheduling based on Stack Resource Policy, preventing priority inversion and chained blocking, and ensuring deadlock impossibility on single core systems.