Skip to content
#

critical-infrastructure-software

Star

Here are 3 public repositories matching this topic...

Language: All
Filter by language
All 3 C 1 Python 1 TypeScript 1

georgiabasa / certikosApp

Star 0

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

Apo-Innovations / APO-HAL-EMS

Star 0

A universal governance layer that provides deterministic validation of control decisions generated by machine learning agents, automated scripts, and human operators prior to committing commands to physical hardware or field networks

energy ai nim telemetry energy-monitor agnostic infrastructure-management control-systems scada deterministic governance energy-consumption energy-efficiency nim-lang critical-infrastructure energy-management determinism policy-optimization energy-management-system critical-infrastructure-software
  • Updated Sep 14, 2026
  • TypeScript

Add this topic to your repo

To associate your repository with the critical-infrastructure-software topic, visit your repo's landing page and select "manage topics."

Learn more