← 저장소 Repositories

REPOSITORY

tymict/icu-safety-runtime Private

[참조 MVP] ICU 안전·실시간 런타임 — 비상정지, 통신 Watchdog과 치명 고장을 단일 안전상태로 집계합니다.

https://git.agrithing.ai/tymict/icu-safety-runtime.git

fix: remove unsafe copy and restore MCU quality gate

A-SW Quality Demo · 2026-08-02

View diff →851fe1c

demo: introduce unsafe unbounded copy for gate test

A-SW Quality Demo · 2026-08-02

View diff →debf6aa

feat: adopt c MCU SDV reference implementation

A-SW Reference Factory · 2026-08-02

View diff →a2896f9

ci: add language-specific static and dynamic analysis

A-SW Reference Factory · 2026-08-02

View diff →71a0f42

docs: define component scope and interface contract

A-SW Reference Factory · 2026-08-02

View diff →01e4af2

ci: verify contract tests and evidence package

A-SW Reference Factory · 2026-08-02

View diff →ef5795a

feat: add executable reference MVP

A-SW Reference Factory · 2026-08-02

View diff →b51bddf

docs: define component scope and interface contract

A-SW Reference Factory · 2026-08-02

COMMIT DETAIL

docs: define component scope and interface contract

A-SW Reference Factory <[email protected]> · 2026. 8. 2. 오후 3:53:22

71a0f421ac0375d4d42e308894170ab1cab9086f

1 changed files +4 −2 parent 01e4af2

modified README.md +4−2 View file

@@ -27,11 +27,13 @@ CLI는 JSON 입력 하나를 받아 JSON 결과 하나를 출력합니다. 실
    - `contracts/`: 기계 판독형 인터페이스 계약
    - `tests/`: 기준 동작 시험
    - `release/manifest.json`: 소유기관·버전·호환성 선언
  − - `.gitea/workflows/verify.yml`: 계약→시험→증빙 패키지 CI
  + - `.asw/quality-profile.json`: 언어별 정적·동적 분석 정책
  + - `tools/quality_scan.py`: Python AST 정책 검사와 unittest·시나리오 동적분석
  + - `.gitea/workflows/verify.yml`: 계약→정적분석→동적분석→증빙 패키지 CI
    
    ## 완료 기준
    
    1. 예제 입력이 오류 없이 실행됩니다.
    2. 계약 JSON과 단위시험이 통과합니다.
  − 3. Gitea Actions가 증빙 패키지와 SHA-256을 생성합니다.
  + 3. Gitea Actions가 정적·동적 분석 결과, 증빙 패키지와 SHA-256을 생성합니다.
    4. 실제 기관 코드는 동일 계약을 구현한 뒤 별도 승인·MIL/HIL 검증을 거칩니다.