Skip to content
#

real-time-operating-systems

Here are 17 public repositories matching this topic...

RA3 RTOS is an open-source real-time operating system designed for embedded systems, currently supporting ARM Cortex-M3 processors. It features efficient task management, preemptive priority-based scheduling, and inter-task communication mechanisms (semaphores, mutexes, event groups) optimized for memory-constrained environments.

  • Updated Nov 4, 2024
  • HTML

Implementation of a secure, low-level application designed on CertiKOS formally verified operating system kernel. Simulation of an autonomous satellite critical susystems - environmental monitoring, task scheduling and watchdog diagnostics - within a trusted computing environment. Developed as part of my diploma thesis at the University of Patras.

  • Updated Jun 23, 2025
  • C

Improve this page

Add a description, image, and links to the real-time-operating-systems topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the real-time-operating-systems topic, visit your repo's landing page and select "manage topics."

Learn more