Verification Instruments

Verification tools for air-gapped environments.

Nine desktop instruments. Built for rooms where the network is deliberately absent.

ICD Refinery screenshotICD RefineryIn development

Turns messy, inconsistent interface control documents into a validated canonical spec — local-LLM extraction, deterministic linting, human approval, codec generation.

SIL Runtime screenshotSIL RuntimeIn development

Fixed-step model execution for control software without hardware — deterministic MIL/SIL loops, stimulus injection, limit judgment.

Test Sequencer screenshotTest SequencerIn development

YAML test sequences → execution → pass/fail judgment → audit-ready HTML reports.

Telemetry Scope screenshotTelemetry ScopeIn development

Channel-defined live strip charts with recording and timed replay — replay a test exactly as it happened.

Ch10 Viewer screenshotCh10 ViewerIn development

IRIG 106 Chapter 10 flight-test recording viewer — stream GB-class files, survive corruption, export channels.

Protocol Bridge screenshotProtocol BridgeIn development

Unattended channel mapping across Modbus, UDP, serial and MQTT — scale, deadband, reconnect, keep running.

SECS/GEM Workbench screenshotSECS/GEM WorkbenchIn development

Semiconductor equipment↔host protocol decoder and simulator — HSMS sessions, SECS-II trees, host or equipment role.

RAM Toolkit screenshotRAM ToolkitIn development

Reliability prediction, RBD availability and FMECA with audit-grade math trails — every number shows its formula.

Local Test Copilot screenshotLocal Test CopilotIn development

Air-gapped C unit-test generation — a local LLM proposes cases, gcc + gcov judge them, coverage gaps drive the loop.