01
비트 단위로 동일한 재현 실행
SIL Runtime
하드웨어 없이 제어 소프트웨어를 고정 주기로 실행 — 결정론적 MIL/SIL 루프, 자극 주입, 한계 판정.
REFNK-02
VERBRUN
STATEIN DEVELOPMENT
검증스위트 PASS · 2026-08-29
개발 중사양
//00 NEEDS
찾아오게 되는 이유.
이 도구가 만들어진 상황들 — 그리고 각각에 대해 이 도구가 하는 일.
Need 01
하드웨어가 나오기 전에 제어 소프트웨어를 시험해야 하고, 그 결과는 리뷰에서 버텨야 합니다.
Answer
고정 스텝 가상 클록 위의 MIL/SIL 루프: 같은 시나리오는 어느 머신에서든, 몇 번을 돌려도 같은 숫자를 냅니다.
Need 02
실시간 관찰과 재현성은 보통 서로를 방해합니다.
Answer
벽시계 페이싱은 사이클이 '언제' 도는지만 정할 뿐 '무엇을' 계산하는지는 건드리지 않습니다 — 페이싱 실행과 고속 실행이 비트 단위로 일치합니다.
Need 03
시험 증거는 서술이 아니라 diff 가능한 것이어야 합니다.
Answer
CSV 로그는 바이트 단위로 재현됩니다: 같은 시나리오를 두 번 돌려 로그를 diff하는 것이 유효한 회귀 검사입니다.
RUNIN DEVELOPMENT
SCANLOCKED
//00 하는 일
02
안정적 네이티브 ABI를 통한 C 모델 로딩
03
플랜트 + 컨트롤러 폐루프 시나리오
//00 IN PRACTICE
실제로 보게 될 것.
플랜트 모델과 이를 구동하는 컴파일된 제어 코드를 같은 결정론적 클록 위에서 실행하고, 자극을 주입하고, 실시간으로 지켜보고, 기록하고, 허용 한계로 판정합니다 — 하드웨어도 클라우드도 없이. 같은 시나리오는 어느 머신에서든, 몇 번을 돌려도 같은 숫자를 냅니다.
01
시나리오 로드, 클록 0
Scenario 패널은 로드된 모델·채널·자극 바인딩·한계 밴드를 보여줍니다. Start는 연속 실행, Pause는 다음 사이클 경계에서 정지, Step은 정확히 한 사이클, Reset은 t=0 복귀.
02
밴드에 대고 도는 시나리오
Sync to wall clock은 시뮬레이션 1초를 실제 약 1초로 페이싱해 눈으로 볼 수 있게 합니다. 끄면 같은 실행이 머신이 허용하는 최고 속도로 완료됩니다 — 숫자는 동일합니다.
03
공진이 밴드를 깨다 — 판정은 FAIL로
밴드를 벗어난 채널은 붉게 변하고 OUT 태그가 붙습니다. 판정은 FAIL로 바뀌고, 이탈은 시작 시각·사이클 인덱스·피크 값·지속 샘플 수와 함께 기록됩니다.
//00 DATASHEET
NK-02 datasheet
Build
PlatformWindows 10/11 x64
DeploySingle-file exe
DeterminismSeeded, fixed-step
Reference
REFNK-02
VERBRUN
STATEIN DEVELOPMENT
파일 하나.
복사해서 실행하세요.
설치 프로그램도, 패키지 매니저도, 서비스 계정도 없습니다. 실행 파일을 폐쇄망 머신으로 옮기고 작업을 여세요.
STATEIN DEVELOPMENT
개발 중
//00 FAQ
빠른 답
SIL Runtime는 오프라인에서 동작하나요?
네. 모든 NOKTRA 도구처럼 오프라인 우선입니다: 클라우드 서비스도, 텔레메트리도 없고, AI는 전부 사용자 머신에서 로컬로 실행됩니다. 폐쇄망을 전제로 만들어졌습니다.
SIL Runtime는 어떤 플랫폼에서 실행되나요?
Windows 10/11 x64. 단일 실행 파일로 배포됩니다 — 런타임 설치가 없습니다.
SIL Runtime는 지금 내려받을 수 있나요?
아직입니다 — 현재 개발 중입니다. 실행할 수 있는 빌드가 나오기 전까지 날짜를 약속하지 않고 목록에만 올립니다.