Engineering case studies

Architecture, evidence, and the next verification gate.

These notes focus on what each system is intended to do, what has been implemented in the public repository, what evidence exists, and what remains before a stronger validation claim is justified.

FPGA systems

Instrumentation-led RTL development

Each design separates data production, cross-domain publication, rendering or control policy, and evidence collection so failures remain localizable.

Active development

Basys 3 · Artix-7 · Verilog · VGA

CaelumFusion Flight Control System

Open repository

CaelumFusion is an FPGA-side avionics instrumentation environment rather than a claim of flight-ready autonomy. Its core concern is the trustworthy movement of evidence: from physical or synthetic producers, through typed snapshot contracts and domain crossings, into diagnostic visualization, logging, and policy observability.

System architecture

  • caelumfusion_top_vga owns the Basys 3 board interface and integration boundary.
  • I²C, SPI, GPIO, and UART producers publish payload, timestamp, sequence, validity, status, age, and source provenance.
  • SYS-domain visualization state crosses into the pixel domain through coherent toggle/snapshot CDC before frame-stable VGA rendering.
  • Extension evidence includes range, dual-magnetometer comparison, power, fault injection, guarded navigation/wind fields, and a versioned black-box stream.

Estimator and authority work

  • A fixed-point altitude/vertical-speed Kalman core and focused testbench are present.
  • Apogee-authority policy RTL is integrated into the visualization model as deterministic policy evidence.
  • Phase and safety-gate observability are separated from the final command owner.
  • The present policy remains an engineering model, not a calibrated aerodynamic controller.

Evidence currently present

  • Hand-authored RTL, XDC, Vivado project metadata, focused testbenches, Tcl flows, host decoders, and release checklists.
  • Targeted benches cover sensor-suite behavior, MAG1, PMON1, extension metadata, fault injection, render selection, science-page pixels, and UART bridge handling.
  • Generated runs and bitstreams are intentionally excluded from source control.

Next verification gate

  • Normalize the Vivado-version boundary around the project metadata.
  • Run fresh-library simulations and archive commit-specific PASS evidence.
  • Complete synthesis, implementation, DRC, CDC review, and timing closure in the selected tool version.
  • Finish external-UART and board-level sensor/display capture evidence before flight-style signoff.
Canonical V3 / V4 surface

MATLAB · Firmware contracts · Replay

Offline Flight Analysis Dashboard

Open repository

The dashboard closes the loop between embedded telemetry and engineering review. It imports SD or serial logs, normalizes changing firmware schemas, reconstructs estimator behavior, and exposes uncertainty, freshness, causality, provenance, policy, and mission context without collapsing them into a single polished trajectory.

Data contract

  • Strict and recovery-oriented import paths for SD CSV and firmware HDR/TLM serial captures.
  • Schema checks retain field order and separate firmware control targets from the IREC mission target.
  • Representative fixtures remain tracked; regenerated exports and local captures remain ignored.

Engineering analysis

  • Vertical replay surfaces innovation, covariance, bias, beta, and gate decisions.
  • Optional attitude, gravity-provenance, 3D/GPS EKF, wind, causality, and Monte Carlo views support deeper review.
  • Integrated dashboards cover flight state, sensor health, trajectory, policy, phase, uncertainty, and summary evidence.

Release gate

validate_caelum_release runs firmware/dashboard alignment, vertical-replay, IREC mission-profile, and live-telemetry-import checks, reporting an overall pass and throwing on a required-gate failure.

Phase 4 integration

Nexys Video · Pcam 5C · Sonar · HDMI

AquaFusion Sonar Vision System

Open repository

AquaFusion combines camera, sonar, occupancy-map, telemetry, and debug surfaces across SYS, VID, and TMDS domains. The current Phase 4 work concentrates on reliable composition and observability: a visible panel should establish which portion of the path is alive even when upstream data is absent.

SYS producersCamera control, sonar UART/PWM, status
Snapshot CDCStable multi-bit publication into VID
Frame commitUser-visible state changes at boundaries
CompositionGeometry-qualified camera, map, radar, UART, debug

Recent integration progress

  • Replaced black-pixel transparency with explicit region ownership.
  • Added a bounded camera HUD viewport while retaining full-screen camera diagnostics.
  • Added an isolated sonar-map debug view and visible fallback panel shell.
  • Corrected dual-port map-memory read latency and low-occupancy color handling.
  • Corrected post-reset publication of the auxiliary view selector.

Sonar and display path

  • Sonar 1 can publish raw or filtered range evidence with watchdog, age, status, and rich telemetry.
  • The occupancy painter writes a dual-clock map consumed by a VID-domain renderer and region-qualified compositor.
  • Camera and sonar state are independently visible through diagnostic modes, lowering bring-up ambiguity.
  • OLED telemetry remains a separate SYS-domain output rather than an HDMI dependency.

Implemented boundary

Repository source establishes the top-level integration, subsystem modules, view controls, CDC structure, map path, and staged bring-up sequence.

Known limits / next gate

Sonar 2 remains disabled; live bearing validity is not yet supplied; the HUD viewport does not scale; CLS is commented out. Elaboration, simulation, implementation/timing, and bench evidence must remain separately reported.

Nexys A7 FPGA Signal Control System setup and display
Integrated system

Nexys A7-100T · 100 MHz · No soft CPU

FPGA Signal Control System

A hardware-only spatial mapping and temperature-control lab built as a single-clock design. Clock enables pace slow functions while sensing, control, graphics, and telemetry remain synchronous to the 100 MHz board clock.

Sensing

ISL29501 ToF over I²C, XADC temperature in Q1.15, PIR conditioning, and rotary surveyor input.

Control

Temperature, occupancy, and manual fan contributions feed an FSM and PWM drive with hysteresis and visible source flags.

Visualization

640×480 VGA range plotting and HUD output, a double-buffered RGB444 viewport, and CRC-framed UART telemetry at 2 Mbit/s for MATLAB decoding.

Software and simulation

Reusable tools and algorithmic experiments

These projects move from interactive scientific visualization toward reusable interface, data, and spatial-computing infrastructure.

Quadtree Barnes-Hut N-body simulation with spatial subdivision
Directed-study sequence

C++ · openFrameworks · Spatial decomposition

Barnes–Hut N-Body Simulators

The two repositories expose successive spatial representations for approximate gravitational force evaluation: a working pointer-based 2D quadtree and a 3D hashed-octree research prototype based on Morton ordering.

Generic quadtree

The simulation logic is complete and interactive. Current work is architectural: separating simulation entities, force approximation, visualization, and UI management so the project can serve as a clearer educational and reusable codebase.

Open quadtree repository

Hashed octree

The 3D variant explores hashed nodes and Morton keys to improve locality and form a cleaner basis for later parallel construction, dynamic load distribution, and interaction evaluation. The public repository remains a development-stage research artifact.

Open octree repository
OpenFrameworks scientific interface components
Usable / still hardening

C++17 · Header-first · openFrameworks

OpenFrameworks User Interface Library

A lightweight collection of programmatic widgets extracted from simulation work: direct-input controls, validated numeric text fields, sliders, tables, table managers, tooltips, and drag-selection surfaces.

Design

Controls own drawing and interaction state, expose callbacks, and can be composed through table and manager hierarchies without XML layouts or external GUI add-ons.

Current boundary

The library is usable for internal tools and prototypes. Auto-layout edge cases, a theme/skin layer, automated tests, and CI remain roadmap items.

Data and application tooling

C · MATLAB · Programmatic UI

Analysis and scientific application tools

Automated CSV Data Analysis

A C pipeline for parsing heterogeneous delimited data, inferring field types, normalizing date/time and unit-bearing values, extracting numeric columns, computing descriptive statistics and Anderson–Darling diagnostics, and generating structured MATLAB modeling inputs.

Open repository

MATLAB Scientific Calculator

A fully programmatic, modular calculator interface with class-separated controls, custom expression validation, editable input, live mirroring, result history, and source-controlled layout.

Open repository

Fourier Geometric Visualization

An interactive discrete-Fourier-transform visualization that reconstructs arbitrary drawn paths through harmonic-circle composition, connecting complex coefficients to visible geometry.

Open repository

Continue the review

Source, reports, and implementation notes are linked throughout.

For discussion of a specific architecture, verification boundary, or engineering opportunity, email is the most direct route.