verification-and-validation

Geotechnical finite element analysis, built in the open.

ASME V&V 40-style in-silico trial for a repurposed closed-loop hemodynamic device -- Windkessel virtual population, verified against analytical steady state, validated against real blood-pressure data

Adaptive structural-survivability and SHM research platform for aerospace systems: damage localization, remaining-control-authority analysis, bounded multi-action recovery, resource/uncertainty constraints, executed-command-consistent held-out verification, deterministic replay, HIL campaigns, and a P1 physical-validation path.

This a Capella Viewpoint for V&V activities developed with Capella Studio.

OpenSTREAM companion repository providing datasets, applications, validation cases, and workflows.

Validated 2D/3D compressible SIMPLE/LTNE CFD solver for TPMS (Diamond/Gyroid) heat exchangers — Darcy–Forchheimer surrogate, dual air/water Nusselt closures, qNEHVI optimization, ASME V&V 20 (MMS/GCI). Shanghai 16-case: air-side Q 1.71%, grid-converged 3D Δp ≈12% / Q ≈3% (gamma_df). PySide6 GUI.

POC Vehicle Management Unit (VMU) for a power-split hybrid powertrain. This supervisory ECU coordinates the ICE and electric motor, selecting EV, ICE, hybrid, and regenerative modes based on driver demand, vehicle speed, battery SOC, and system limits, while applying basic protections for smooth, efficient operation.

SecureFabric is a secure, low-latency messaging fabric designed for verified senders and end-to-end confidentiality.

SOTIF-style validation of a learned SAE Level 2 ACC in simulation: acceptance criteria fixed before testing, exposure-weighted estimation, and LLM-agent failure discovery benchmarked against random and grid search.

Reproducibility package for a deterministic multigroup photon-transport verification study

5SIM Login Review 2026: activation speed, pricing, and stability tests

Release Gates for Physical AI — a unified framework for functional, adversarial, cyber and hardware verification of learned robot systems (preprint + evidence schema)

SMSHub Login Performance Report: testing large-scale activation flows

A 101-item ground test readiness review checklist for aerospace test programs. Covers test stand readiness, instrumentation and DAQ, safety, procedures, and GSE. Free to use and adapt under CC BY 4.0.

Physics-informed surrogates with calibrated error bounds for nonlinear transient conjugate heat transfer. Sole-authored preprint: JAX, seed-replicated ablations, split-conformal safety bound, 104/104 claims machine-audited, reproduces in under two core-hours.

IX-Style is an assured-autonomy reference architecture for aerospace systems: runtime assurance, FDIR, trust-aware degraded modes, recovery gating, operator decision support, and tamper-evident evidence for why safety-critical decisions were made.

Field-trial statistics for test and evaluation: success-run sample sizes, Wilson intervals, rule of three, Pd/Pfa/PPV with base rates, CEP50/R95, TRL evidence gates. Tested Python, standard library.

System-level V&V portfolio project for a simplified flight control system

Two independent finite-difference solvers for an open Helmholtz resonator, verified by manufactured solutions and grid convergence, validated against published measurements (0.9–2.2%).