A-SW Hub / Repositories
Local Gitea · READ ONLY
← 저장소 Repositories
REPOSITORY

tymict/icu-safety-runtime Private

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

https://git.agrithing.ai/tymict/icu-safety-runtime.git
8 commits
79f7434
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
View diff →
COMMIT DETAIL

fix: remove unsafe copy and restore MCU quality gate

A-SW Quality Demo <[email protected]> · 2026. 8. 2. 오후 9:27:59
79f7434b5ef9c129cff006d45159f81b14918db1
2 changed files +17 −3 parent 851fe1c
added evidence/quality-gate-recovery.json +17−0 View file
@@ -0,0 +1,17 @@
1 + {
2 + "schemaVersion": "asw.quality-recovery/v1",
3 + "repository": "tymict/icu-safety-runtime",
4 + "scenario": "unsafe unbounded memory copy is blocked by the MCU static-analysis policy",
5 + "failedRevision": {
6 + "commitSha": "851fe1c00985bfe61303688e31b37dd93e3cb0a0",
7 + "buildId": 79,
8 + "buildNumber": 4,
9 + "outcome": "FAILURE",
10 + "gate": "gcc-warning-policy",
11 + "rule": "NATIVE-STRCPY"
12 + },
13 + "recovery": {
14 + "action": "remove unsafe copy and restore bounded safety runtime implementation",
15 + "expectedOutcome": "PASSED"
16 + }
17 + }
modified src/component.c +0−3 View file
@@ -4,6 +4,3 @@ asw_safety_result asw_evaluate_safety(int emergency_stop, int critical_fault_cou
4 4 asw_safety_result result = {unsafe ? ASW_SAFE_STOP : ASW_RUN, unsafe ? 0 : 1, unsafe ? 1 : 0};
5 5 return result;
6 6 }
7 −
8 − #include <string.h>
9 − void asw_demo_unbounded_copy(char *target, const char *source) { strcpy(target, source); }