폐쇄망 환경을 위한 검증 도구.

제각각인 인터페이스 정의서(ICD)를 검증된 표준 스펙으로 — 로컬 LLM 추출, 결정론적 린트, 사람의 승인, 코덱 생성까지.

하드웨어 없이 제어 소프트웨어를 고정 주기로 실행 — 결정론적 MIL/SIL 루프, 자극 주입, 한계 판정.

YAML 시험 시퀀스 → 실행 → 합불 판정 → 감사 대응 HTML 리포트.

채널 정의 기반 라이브 스트립 차트, 기록과 정시 리플레이 — 시험을 있었던 그대로 다시 봅니다.

IRIG 106 Chapter 10 비행시험 기록 뷰어 — GB급 파일 스트리밍, 손상 구간 생존, 채널 추출.

Modbus·UDP·시리얼·MQTT를 잇는 무인 채널 매핑 — 스케일, 데드밴드, 재접속, 계속 동작.

반도체 장비↔호스트 프로토콜 디코더·시뮬레이터 — HSMS 세션, SECS-II 트리, 호스트/장비 역할.

신뢰도 예측, RBD 가용도, FMECA를 감사 수준의 수식 추적과 함께 — 모든 숫자가 자기 공식을 보여줍니다.

폐쇄망 C 단위시험 생성 — 로컬 LLM이 케이스를 제안하고, gcc + gcov가 판정하고, 커버리지 공백이 루프를 이끕니다.