verification-and-validation

Geotechnical finite element analysis, built in the open.

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.

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

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.

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

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

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.

equirements management and V&V platform: traceability from need to test evidence, baselines, ReqIF exchange and AI agents, hosted or self-hosted

Verification and validation of simulated fluid flows and analysis of cylinder-wake experiments, with MATLAB post-processing.

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

Reproducibility package for a deterministic multigroup photon-transport verification study

SMSHub Login Performance Report: testing large-scale activation flows

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

Your coding agent says it works. Make it prove it. Runs your real checks, records evidence, returns VERIFIED / FAILED / UNVERIFIED.

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.

Measuring the complexity of SysML Models

Five-day value-added course on Digital Twin with Python at Vel Tech, with interactive lecture pages, browser labs, Colab notebooks and PDF lecture notes. Builds a battery-pack twin step by step: simulation, calibration, Kalman filtering, machine learning surrogates, hybrid models, fault detection, remaining useful life and credibility assessment.

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.

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