Projects

  • Status: Mature Private Project
  • Current Version: 1.11.0
  • Public Release Target: 2.0.0
  • License: MIT
  • Platform: Linux / Python
  • Purpose: Code Generation
  • Description: Model-based code implementation and verification tool
  • Repository: Private

  • Status: Paused until dependencies (Bastard and V&V Server) are resolved
  • License: MIT
  • Platform: Platform-Agnostic C Runtime
  • Purpose: Flight Control
  • Description: An educational, platform-agnostic C Micro-Kernel for UAV flight control systems. Developed as an evolution of a university final project, focusing on clarity, modular design, and flexible hardware abstraction.
  • Repository: GitHub

  • Status: MVP
  • License: MIT
  • Platform: Intel Galileo Gen2 / Embedded Linux (Buildroot)
  • Purpose: Home Infrastucture
  • Description: A POSIX-compliant master Linux Embedded system for home automation running on legacy Intel Galileo Gen2 hardware.
  • Repository: GitHub

  • Status: Paused until dependency (Bastard) is resolved
  • License: MIT
  • Platform: STM32MP157D / Embedded Linux (Yocto)
  • Purpose: Evidence Generation
  • Description: The V&V Server is a verification infrastructure designed to transform engineering requirements into objective evidence.It provides a structured environment for automated verification campaigns, traceability management, results collection and evidence generation across multiple test levels, including:
    • Software-in-the-Loop (SIL)
    • Hardware-in-the-Loop (HIL)
    • Environmental Hardware-in-the-Loop (EHIL)
  • Repository: Private