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
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.
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.
Python 火箭設計工具：任務 ΔV、推進、結構、熱力、GNC、V&V、不確定度、對標與氣動代理。MIT 授權。
Clean-room automotive cybersecurity analyzer for synthetic UDS traces, security-state validation, negative-path testing, and engineering evidence export.
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.
Freestanding C11 Cortex-M0+ qualification harness with traceable requirements, V&V evidence, and CI
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.
Validated NACA 0012 CFD and one-way wind-turbine FSI using ANSYS Fluent and Mechanical.
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.
Physics-based Franka writing digital twin with SVG planning, hybrid Cartesian and force control, differential IK, PyBullet, Pinocchio, MATLAB verification, Docker, and CI.
Public reference implementation for evidence-native verification, validation, and mission assurance.
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.
To associate your repository with the verification-validation topic, visit your repo's landing page and select "manage topics."