Custom RTOS with RMS and Mutexes (IPCP)
Rate-monotonic scheduling RTOS with priority-ceiling mutexes, running a PID-controlled car.
- Supports up to 16 threads and 32 mutexes, with IPCP to minimize context switches.
- Proved correctness of the scheduling algorithm using invariants and assumptions from IPCP, ensuring no deadlocks.
- Wrote a bootloader and interrupt-based UART drivers, integrated with a custom PCB to control a car with PID.