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.
process-isolation diagnostics task-scheduler watchdog environmental-monitoring trusted-computing coq-proof-assistant embedded-security real-time-operating-systems mcertikos certikos formally-verified-systems autonomous-satellite-software high-assurance-systems secure-application-design critical-infrastructure-software verified-microkernel
-
Updated
Jun 23, 2025 - C