You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Constant-complexity, deterministic, very fast memory allocator (heap) for hard real-time high-integrity embedded systems. Allocation takes ≈120 cycles @ RP2350 irrespective of heap usage. There is little activity because the project is finished and does not require further changes.
Safety-critical flight software for our high-power rocket. Features a deterministic Finite State Machine (FSM) for dual-deployment recovery, real-time Wi-Fi telemetry, and redundant fault-tolerance algorithms. Developed on ESP32/MS5611 hardware in strict compliance with NASA "Power of Ten" coding standards.
Deterministic, inspectable phase-readiness middleware for safety-critical closed-loop systems. Separates state eligibility from control logic using explicit, auditable rules. Designed for fail-safe operation, reproducibility, and regulatory-aligned engineering.
An Arduino-based Infusion Pump system with safety monitoring features. Detects occlusions using FSR, monitors fluid temperature to prevent hypothermia, and calculates real-time flow rate using a Hall Effect sensor.