verification-validation

Text-portable Agent Skill for FEM/CAE governance: GCI mesh-independence, V&V, execution-mode gates, and headless-vs-human claim discipline across Ansys, Abaqus, Nastran, OpenFOAM, COMSOL and more.

FreeHIL is an open-source Hardware-in-the-Loop (HIL) infrastructure portable across all microcontrollers. Build a HIL simulator using tools you already have on your desk-like evaluation boards

RoadLogic — A logic-based planning and simulation framework for road scenarios. It generates high-level driving plans via Answer Set Programming and interfaces with CommonRoad and Frenetix for execution and evaluation.

Clean-room automotive cybersecurity analyzer for synthetic UDS traces, security-state validation, negative-path testing, and engineering evidence export.

Python 火箭設計工具：任務 ΔV、推進、結構、熱力、GNC、V&V、不確定度、對標與氣動代理。MIT 授權。

Mission-assurance control plane for spacecraft edge autonomy: governs when onboard AI may act, abstain, degrade, retain data, request ground review, or fall back, with signed evidence, deterministic replay & traceability from mission requirements to decisions.

Validated NACA 0012 CFD and one-way wind-turbine FSI using ANSYS Fluent and Mechanical.

Working paper and research report, TH Köln, 2026: functional equivalence in retrofitted anti-skid systems. LaTeX sources of the paper, the report and the slides, the traceability data with its checks, errata and the version of record.

Freestanding C11 Cortex-M0+ qualification harness with traceable requirements, V&V evidence, and CI

Verified spacecraft access and temporal coverage analysis from archived TLEs using SGP4, frame transformations, and ground-station geometry.

Two verified axisymmetric finite-difference solvers for a Helmholtz resonator, agreeing to 0.6 % and matching published data

IM-FIT is a tool that helps identify areas of weakness in both Python and ROS. Users can utilize IM-FIT with either a workload or code snippets, and also have the option to create custom workloads and code snippets tailored specifically to their own code.

Automotive systems engineering case study focused on requirements, system architecture, risk analysis, traceability, verification and vehicle diagnostics.

Systems-oriented technical projects emphasizing verification and validation (V&V), reliability analysis, comparative experimentation, reproducibility, and evidence-backed technical interpretation across software and data-centric systems.

Measure how well a wave basin or numerical wave model reproduces linear water-wave dispersion. Fits the wavenumber from synchronous gauge records with incident/reflected separation, compares with ω² = gk·tanh(kh), and reports δk/k with bootstrap uncertainty plus a joint depth fit. Validated with null and injection tests.

Interactive Franka writing digital twin with freehand/SVG input, hybrid Cartesian force control, differential IK, live telemetry, PyBullet, Pinocchio, Docker, CI, and quantitative V&V.