{ "communication_sites": [], "source_alarms": [], "instruction_uses": [], "input_coverage": { "artifact_counts": { "parsed": 1 }, "engineering_versions": [], "languages": [ "SCL" ], "issues": [], "profile_counts": { "siemens-scl-subset/1": 1 }, "complete_program_export": "unverified" }, "alarm_inventory": [ { "id": "I4e10985a19044c23602d", "entity_id": "e_7f9a0f1b023cd2765b8ec6b00a747bb2", "target": "FB_DemoAlarms.Alarm_DriveNotReady", "scope": "e_5adc85573ff3ee3586fd78f0d9a33852", "path": [ "Alarm_DriveNotReady" ], "datatype": "BOOL", "role": "alarm_signal", "role_basis": [ "customer_selection", "boolean_datatype", "alarm_name_or_comment_candidate" ], "source_description": "", "included": true, "selection": "customer", "evidence_ids": [ "E54078e0dc582766d" ] }, { "id": "I12cad5351de199aac2d9", "entity_id": "e_cc73a3500598225473faa1fcacfe4c5d", "target": "FB_DemoAlarms.Alarm_HighPressure", "scope": "e_5adc85573ff3ee3586fd78f0d9a33852", "path": [ "Alarm_HighPressure" ], "datatype": "BOOL", "role": "alarm_signal", "role_basis": [ "customer_selection", "boolean_datatype", "alarm_name_or_comment_candidate" ], "source_description": "", "included": true, "selection": "customer", "evidence_ids": [ "Ee356ce790e4f91e6" ] }, { "id": "Idb67d67843fa76499c99", "entity_id": "e_f29f3fb979d0a30d8777fb831e56ca72", "target": "FB_DemoAlarms.Alarm_SensorFault", "scope": "e_5adc85573ff3ee3586fd78f0d9a33852", "path": [ "Alarm_SensorFault" ], "datatype": "BOOL", "role": "alarm_signal", "role_basis": [ "customer_selection", "boolean_datatype", "alarm_name_or_comment_candidate" ], "source_description": "", "included": true, "selection": "customer", "evidence_ids": [ "E1539a1628ca2bf7a" ] } ], "schema_version": "plc-report/1", "analyzer_version": "0.4.26", "project_key": "plc-insight-demo", "controller_key": "unknown", "snapshot_hash": "371b1ed86b5709c88f88bec03e659605c10051e18beca35d23f371f0730353e9", "archive_hash": "2a056d970d2b2b3dab323280cdc7b752b5fd747c7df3a271733023bfec74ebc4", "analysis_hash": "935765a03ab4fa8be13ac59d0343341e713362cedcf397e3dbb127e554c84ea1", "options_hash": "e6de49f2d600544f18b19d49082468497a9af60a3e663b25ef9668d819a77248", "analysis_status": "complete", "status": "partial", "language": "ko", "interpretation_mode": "facts", "overview": [ { "label": "블록 수", "value": "1", "evidence_ids": [] }, { "label": "네트워크 수", "value": "1", "evidence_ids": [] }, { "label": "호출 위치 수", "value": "0", "evidence_ids": [] }, { "label": "연결한 호출 수", "value": "0", "evidence_ids": [] }, { "label": "알려진 시스템 호출 수", "value": "0", "evidence_ids": [] }, { "label": "미연결 호출 수", "value": "0", "evidence_ids": [] }, { "label": "읽은 파일 수", "value": "1", "evidence_ids": [] }, { "label": "실패 파일 수", "value": "0", "evidence_ids": [] }, { "label": "지원 밖 파일 수", "value": "0", "evidence_ids": [] }, { "label": "추출한 쓰기 규칙", "value": "6", "evidence_ids": [] }, { "label": "지원 구문 규칙", "value": "2", "evidence_ids": [] }, { "label": "일부 조건·상태 미확인 규칙", "value": "4", "evidence_ids": [] }, { "label": "호출 인자로 연결한 쓰기 조건", "value": "0", "evidence_ids": [] } ], "sections": [ { "id": "structure", "title": "프로그램 구조", "status": "complete", "items": [ { "entity_id": "e_5adc85573ff3ee3586fd78f0d9a33852", "title": "FB_DemoAlarms", "summary": "프로그램에 선언된 블록입니다.", "facts": [ { "label": "블록 종류", "value": "FB", "evidence_ids": [ "E44745a97ddfa504d" ] }, { "label": "정의 확보 상태", "value": "내보낸 정의 있음", "evidence_ids": [ "E44745a97ddfa504d" ] }, { "label": "언어", "value": "SCL", "evidence_ids": [ "E44745a97ddfa504d" ] }, { "label": "네트워크 수", "value": "1", "evidence_ids": [ "E44745a97ddfa504d" ] }, { "label": "정적 호출 위치 수", "value": "0", "evidence_ids": [ "E44745a97ddfa504d" ] } ], "notes": [], "interpretation": null, "group": "", "inspection": null, "alarm_cause_id": null, "branch_interpretations": [] } ], "notes": [], "interpretation": null }, { "id": "conditions", "title": "기능별 동작 조건", "status": "complete", "items": [ { "entity_id": "e_110434ade1e0d53edc47a334bef58957", "title": "#Alarm_DriveNotReady", "summary": "실제 태그와 원본 호출 조건에 연결한 쓰기 규칙입니다.", "facts": [ { "label": "대상", "value": "#Alarm_DriveNotReady", "evidence_ids": [ "E41b1e922e1f5422d", "E54078e0dc582766d" ] }, { "label": "동작", "value": "assign", "evidence_ids": [ "E41b1e922e1f5422d", "E54078e0dc582766d" ] }, { "label": "실행 조건", "value": "(#DriveStart AND NOT (#DriveReady))", "evidence_ids": [ "E41b1e922e1f5422d", "E54078e0dc582766d" ] }, { "label": "기록할 값", "value": "TRUE", "evidence_ids": [ "E41b1e922e1f5422d", "E54078e0dc582766d" ] }, { "label": "호출 경로", "value": "FB_DemoAlarms", "evidence_ids": [ "E41b1e922e1f5422d", "E54078e0dc582766d" ] }, { "label": "조건 분석 상태", "value": "supported", "evidence_ids": [ "E41b1e922e1f5422d", "E54078e0dc582766d" ] }, { "label": "조건 확인 상태", "value": "supported", "evidence_ids": [ "E41b1e922e1f5422d", "E54078e0dc582766d" ] }, { "label": "기록 값 확인 상태", "value": "supported", "evidence_ids": [ "E41b1e922e1f5422d", "E54078e0dc582766d" ] } ], "notes": [ "Value/transfer analysis: primitive_transfer_types_verified" ], "interpretation": null, "group": "FB_DemoAlarms", "inspection": null, "alarm_cause_id": null, "branch_interpretations": [] }, { "entity_id": "e_0e3d3377e625e61a5fb8cf4d997d0792", "title": "#Alarm_DriveNotReady", "summary": "실제 태그와 원본 호출 조건에 연결한 쓰기 규칙입니다.", "facts": [ { "label": "대상", "value": "#Alarm_DriveNotReady", "evidence_ids": [ "E54078e0dc582766d", "Ec40f0e4a0c3b8daa" ] }, { "label": "동작", "value": "assign", "evidence_ids": [ "E54078e0dc582766d", "Ec40f0e4a0c3b8daa" ] }, { "label": "실행 조건", "value": "(NOT ((#DriveStart AND NOT (#DriveReady))) AND #DriveReady)", "evidence_ids": [ "E54078e0dc582766d", "Ec40f0e4a0c3b8daa" ] }, { "label": "기록할 값", "value": "FALSE", "evidence_ids": [ "E54078e0dc582766d", "Ec40f0e4a0c3b8daa" ] }, { "label": "호출 경로", "value": "FB_DemoAlarms", "evidence_ids": [ "E54078e0dc582766d", "Ec40f0e4a0c3b8daa" ] }, { "label": "조건 분석 상태", "value": "supported", "evidence_ids": [ "E54078e0dc582766d", "Ec40f0e4a0c3b8daa" ] }, { "label": "조건 확인 상태", "value": "supported", "evidence_ids": [ "E54078e0dc582766d", "Ec40f0e4a0c3b8daa" ] }, { "label": "기록 값 확인 상태", "value": "supported", "evidence_ids": [ "E54078e0dc582766d", "Ec40f0e4a0c3b8daa" ] } ], "notes": [ "Value/transfer analysis: primitive_transfer_types_verified" ], "interpretation": null, "group": "FB_DemoAlarms", "inspection": null, "alarm_cause_id": null, "branch_interpretations": [] }, { "entity_id": "e_b55d4779fa7a59cc0305185f9b77ab06", "title": "#Alarm_HighPressure", "summary": "실제 태그와 원본 호출 조건에 연결한 쓰기 규칙입니다.", "facts": [ { "label": "대상", "value": "#Alarm_HighPressure", "evidence_ids": [ "E5f7129164a796305", "Ee356ce790e4f91e6" ] }, { "label": "동작", "value": "assign", "evidence_ids": [ "E5f7129164a796305", "Ee356ce790e4f91e6" ] }, { "label": "실행 조건", "value": "(#PumpRunning AND (#PressureBar >= REAL#8.5))", "evidence_ids": [ "E5f7129164a796305", "Ee356ce790e4f91e6" ] }, { "label": "기록할 값", "value": "TRUE", "evidence_ids": [ "E5f7129164a796305", "Ee356ce790e4f91e6" ] }, { "label": "호출 경로", "value": "FB_DemoAlarms", "evidence_ids": [ "E5f7129164a796305", "Ee356ce790e4f91e6" ] }, { "label": "조건 분석 상태", "value": "supported", "evidence_ids": [ "E5f7129164a796305", "Ee356ce790e4f91e6" ] }, { "label": "조건 확인 상태", "value": "supported", "evidence_ids": [ "E5f7129164a796305", "Ee356ce790e4f91e6" ] }, { "label": "기록 값 확인 상태", "value": "supported", "evidence_ids": [ "E5f7129164a796305", "Ee356ce790e4f91e6" ] } ], "notes": [ "Complex control flow or function evaluation is not verified", "Value/transfer analysis: primitive_transfer_types_verified" ], "interpretation": null, "group": "FB_DemoAlarms", "inspection": null, "alarm_cause_id": null, "branch_interpretations": [] }, { "entity_id": "e_89d4253e8bb96d4420cf816e9b4d9d93", "title": "#Alarm_HighPressure", "summary": "실제 태그와 원본 호출 조건에 연결한 쓰기 규칙입니다.", "facts": [ { "label": "대상", "value": "#Alarm_HighPressure", "evidence_ids": [ "E1061a7ff3378f6cb", "Ee356ce790e4f91e6" ] }, { "label": "동작", "value": "assign", "evidence_ids": [ "E1061a7ff3378f6cb", "Ee356ce790e4f91e6" ] }, { "label": "실행 조건", "value": "(NOT ((#PumpRunning AND (#PressureBar >= REAL#8.5))) AND (#Reset AND (#PressureBar < REAL#7.5)))", "evidence_ids": [ "E1061a7ff3378f6cb", "Ee356ce790e4f91e6" ] }, { "label": "기록할 값", "value": "FALSE", "evidence_ids": [ "E1061a7ff3378f6cb", "Ee356ce790e4f91e6" ] }, { "label": "호출 경로", "value": "FB_DemoAlarms", "evidence_ids": [ "E1061a7ff3378f6cb", "Ee356ce790e4f91e6" ] }, { "label": "조건 분석 상태", "value": "supported", "evidence_ids": [ "E1061a7ff3378f6cb", "Ee356ce790e4f91e6" ] }, { "label": "조건 확인 상태", "value": "supported", "evidence_ids": [ "E1061a7ff3378f6cb", "Ee356ce790e4f91e6" ] }, { "label": "기록 값 확인 상태", "value": "supported", "evidence_ids": [ "E1061a7ff3378f6cb", "Ee356ce790e4f91e6" ] } ], "notes": [ "Complex control flow or function evaluation is not verified", "Value/transfer analysis: primitive_transfer_types_verified" ], "interpretation": null, "group": "FB_DemoAlarms", "inspection": null, "alarm_cause_id": null, "branch_interpretations": [] }, { "entity_id": "e_5f14ca9e406515831d73184d5cce48d7", "title": "#Alarm_SensorFault", "summary": "실제 태그와 원본 호출 조건에 연결한 쓰기 규칙입니다.", "facts": [ { "label": "대상", "value": "#Alarm_SensorFault", "evidence_ids": [ "E1539a1628ca2bf7a", "Ebfbd0dde45a4ab58" ] }, { "label": "동작", "value": "assign", "evidence_ids": [ "E1539a1628ca2bf7a", "Ebfbd0dde45a4ab58" ] }, { "label": "실행 조건", "value": "(#SensorStatus <> WORD#0)", "evidence_ids": [ "E1539a1628ca2bf7a", "Ebfbd0dde45a4ab58" ] }, { "label": "기록할 값", "value": "TRUE", "evidence_ids": [ "E1539a1628ca2bf7a", "Ebfbd0dde45a4ab58" ] }, { "label": "호출 경로", "value": "FB_DemoAlarms", "evidence_ids": [ "E1539a1628ca2bf7a", "Ebfbd0dde45a4ab58" ] }, { "label": "조건 분석 상태", "value": "supported", "evidence_ids": [ "E1539a1628ca2bf7a", "Ebfbd0dde45a4ab58" ] }, { "label": "조건 확인 상태", "value": "supported", "evidence_ids": [ "E1539a1628ca2bf7a", "Ebfbd0dde45a4ab58" ] }, { "label": "기록 값 확인 상태", "value": "supported", "evidence_ids": [ "E1539a1628ca2bf7a", "Ebfbd0dde45a4ab58" ] } ], "notes": [ "Complex control flow or function evaluation is not verified", "Value/transfer analysis: primitive_transfer_types_verified" ], "interpretation": null, "group": "FB_DemoAlarms", "inspection": null, "alarm_cause_id": null, "branch_interpretations": [] }, { "entity_id": "e_7ef61349a7e6eec7af70bc2721a62786", "title": "#Alarm_SensorFault", "summary": "실제 태그와 원본 호출 조건에 연결한 쓰기 규칙입니다.", "facts": [ { "label": "대상", "value": "#Alarm_SensorFault", "evidence_ids": [ "E1539a1628ca2bf7a", "E3d3fae6c35a3e08d" ] }, { "label": "동작", "value": "assign", "evidence_ids": [ "E1539a1628ca2bf7a", "E3d3fae6c35a3e08d" ] }, { "label": "실행 조건", "value": "(NOT ((#SensorStatus <> WORD#0)) AND (#Reset AND (#SensorStatus = WORD#0)))", "evidence_ids": [ "E1539a1628ca2bf7a", "E3d3fae6c35a3e08d" ] }, { "label": "기록할 값", "value": "FALSE", "evidence_ids": [ "E1539a1628ca2bf7a", "E3d3fae6c35a3e08d" ] }, { "label": "호출 경로", "value": "FB_DemoAlarms", "evidence_ids": [ "E1539a1628ca2bf7a", "E3d3fae6c35a3e08d" ] }, { "label": "조건 분석 상태", "value": "supported", "evidence_ids": [ "E1539a1628ca2bf7a", "E3d3fae6c35a3e08d" ] }, { "label": "조건 확인 상태", "value": "supported", "evidence_ids": [ "E1539a1628ca2bf7a", "E3d3fae6c35a3e08d" ] }, { "label": "기록 값 확인 상태", "value": "supported", "evidence_ids": [ "E1539a1628ca2bf7a", "E3d3fae6c35a3e08d" ] } ], "notes": [ "Complex control flow or function evaluation is not verified", "Value/transfer analysis: primitive_transfer_types_verified" ], "interpretation": null, "group": "FB_DemoAlarms", "inspection": null, "alarm_cause_id": null, "branch_interpretations": [] } ], "notes": [ "직접 대입·코일과 실제 호출 대상의 조건을 이 장에서 제공합니다. 확인한 상위 호출 조건과 중간 값의 출처를 연결하며, 시간·이전 상태·연결하지 못한 조건은 별도로 표시합니다." ], "interpretation": null }, { "id": "review", "title": "검토 사항", "status": "complete", "items": [ { "entity_id": null, "title": "조건을 완전히 추적하지 못한 로직", "summary": "분석 범위 또는 내보낸 자료에서 확인할 항목입니다. PLC 코드 결함 판정은 아닙니다.", "facts": [ { "label": "건수", "value": "4", "evidence_ids": [] }, { "label": "원본 위치·분석 결과", "value": "src/FB_DemoAlarms.scl: Complex control flow or function evaluation is not verified", "evidence_ids": [ "Ebfbd0dde45a4ab58" ] }, { "label": "원본 위치·분석 결과", "value": "src/FB_DemoAlarms.scl: Complex control flow or function evaluation is not verified", "evidence_ids": [ "E3d3fae6c35a3e08d" ] }, { "label": "원본 위치·분석 결과", "value": "src/FB_DemoAlarms.scl: Complex control flow or function evaluation is not verified", "evidence_ids": [ "E1061a7ff3378f6cb" ] }, { "label": "원본 위치·분석 결과", "value": "src/FB_DemoAlarms.scl: Complex control flow or function evaluation is not verified", "evidence_ids": [ "E5f7129164a796305" ] } ], "notes": [ "분석 범위: rule_semantics_partial" ], "interpretation": null, "group": "", "inspection": null, "alarm_cause_id": null, "branch_interpretations": [] }, { "entity_id": null, "title": "scl_semantics_subset", "summary": "분석 범위 또는 내보낸 자료에서 확인할 항목입니다. PLC 코드 결함 판정은 아닙니다.", "facts": [ { "label": "건수", "value": "1", "evidence_ids": [] }, { "label": "원본 위치·분석 결과", "value": "src/FB_DemoAlarms.scl: SCL extraction covers declarations, calls, references, assignments and conditions; control flow and indirect effects are not verified", "evidence_ids": [ "E183936e25271c158" ] } ], "notes": [ "분석 범위: scl_semantics_subset" ], "interpretation": null, "group": "", "inspection": null, "alarm_cause_id": null, "branch_interpretations": [] }, { "entity_id": "e_7f9a0f1b023cd2765b8ec6b00a747bb2", "title": "FB_DemoAlarms.Alarm_DriveNotReady", "summary": "복수의 정적 쓰기 위치가 있습니다. 호출 조건과 실행 순서를 검토하세요.", "facts": [ { "label": "쓰기 위치", "value": "Alarm_DriveNotReady", "evidence_ids": [ "Ec617418ed7a1d56f" ] }, { "label": "쓰기 위치", "value": "Alarm_DriveNotReady", "evidence_ids": [ "E89237512db0649ce" ] }, { "label": "대상", "value": "#Alarm_DriveNotReady", "evidence_ids": [ "Ec40f0e4a0c3b8daa" ] }, { "label": "동작", "value": "대입", "evidence_ids": [ "Ec40f0e4a0c3b8daa" ] }, { "label": "실행 조건", "value": "((NOT ((# DriveStart AND NOT # DriveReady))) AND (# DriveReady))", "evidence_ids": [ "Ec40f0e4a0c3b8daa" ] }, { "label": "기록할 값", "value": "FALSE", "evidence_ids": [ "Ec40f0e4a0c3b8daa" ] }, { "label": "내보내기 내 위치", "value": "4", "evidence_ids": [ "Ec40f0e4a0c3b8daa" ] }, { "label": "조건 분석 상태", "value": "supported", "evidence_ids": [ "Ec40f0e4a0c3b8daa" ] }, { "label": "대상", "value": "#Alarm_DriveNotReady", "evidence_ids": [ "E41b1e922e1f5422d" ] }, { "label": "동작", "value": "대입", "evidence_ids": [ "E41b1e922e1f5422d" ] }, { "label": "실행 조건", "value": "((# DriveStart AND NOT # DriveReady))", "evidence_ids": [ "E41b1e922e1f5422d" ] }, { "label": "기록할 값", "value": "TRUE", "evidence_ids": [ "E41b1e922e1f5422d" ] }, { "label": "내보내기 내 위치", "value": "3", "evidence_ids": [ "E41b1e922e1f5422d" ] }, { "label": "조건 분석 상태", "value": "supported", "evidence_ids": [ "E41b1e922e1f5422d" ] } ], "notes": [], "interpretation": null, "group": "", "inspection": null, "alarm_cause_id": null, "branch_interpretations": [] }, { "entity_id": "e_cc73a3500598225473faa1fcacfe4c5d", "title": "FB_DemoAlarms.Alarm_HighPressure", "summary": "복수의 정적 쓰기 위치가 있습니다. 호출 조건과 실행 순서를 검토하세요.", "facts": [ { "label": "쓰기 위치", "value": "Alarm_HighPressure", "evidence_ids": [ "Ee7e27a69ab63cfd8" ] }, { "label": "쓰기 위치", "value": "Alarm_HighPressure", "evidence_ids": [ "E78a4774ada1ce110" ] }, { "label": "대상", "value": "#Alarm_HighPressure", "evidence_ids": [ "E1061a7ff3378f6cb" ] }, { "label": "동작", "value": "대입", "evidence_ids": [ "E1061a7ff3378f6cb" ] }, { "label": "실행 조건", "value": "((NOT ((# PumpRunning AND ( # PressureBar >= REAL # 8.5 )))) AND (# Reset AND ( # PressureBar < REAL # 7.5 )))", "evidence_ids": [ "E1061a7ff3378f6cb" ] }, { "label": "기록할 값", "value": "FALSE", "evidence_ids": [ "E1061a7ff3378f6cb" ] }, { "label": "내보내기 내 위치", "value": "2", "evidence_ids": [ "E1061a7ff3378f6cb" ] }, { "label": "조건 분석 상태", "value": "partial", "evidence_ids": [ "E1061a7ff3378f6cb" ] }, { "label": "대상", "value": "#Alarm_HighPressure", "evidence_ids": [ "E5f7129164a796305" ] }, { "label": "동작", "value": "대입", "evidence_ids": [ "E5f7129164a796305" ] }, { "label": "실행 조건", "value": "((# PumpRunning AND ( # PressureBar >= REAL # 8.5 )))", "evidence_ids": [ "E5f7129164a796305" ] }, { "label": "기록할 값", "value": "TRUE", "evidence_ids": [ "E5f7129164a796305" ] }, { "label": "내보내기 내 위치", "value": "1", "evidence_ids": [ "E5f7129164a796305" ] }, { "label": "조건 분석 상태", "value": "partial", "evidence_ids": [ "E5f7129164a796305" ] } ], "notes": [], "interpretation": null, "group": "", "inspection": null, "alarm_cause_id": null, "branch_interpretations": [] }, { "entity_id": "e_f29f3fb979d0a30d8777fb831e56ca72", "title": "FB_DemoAlarms.Alarm_SensorFault", "summary": "복수의 정적 쓰기 위치가 있습니다. 호출 조건과 실행 순서를 검토하세요.", "facts": [ { "label": "쓰기 위치", "value": "Alarm_SensorFault", "evidence_ids": [ "E2352d309a5df22a8" ] }, { "label": "쓰기 위치", "value": "Alarm_SensorFault", "evidence_ids": [ "E21e4adca90f68e01" ] }, { "label": "대상", "value": "#Alarm_SensorFault", "evidence_ids": [ "Ebfbd0dde45a4ab58" ] }, { "label": "동작", "value": "대입", "evidence_ids": [ "Ebfbd0dde45a4ab58" ] }, { "label": "실행 조건", "value": "((# SensorStatus <> WORD # 0))", "evidence_ids": [ "Ebfbd0dde45a4ab58" ] }, { "label": "기록할 값", "value": "TRUE", "evidence_ids": [ "Ebfbd0dde45a4ab58" ] }, { "label": "내보내기 내 위치", "value": "5", "evidence_ids": [ "Ebfbd0dde45a4ab58" ] }, { "label": "조건 분석 상태", "value": "partial", "evidence_ids": [ "Ebfbd0dde45a4ab58" ] }, { "label": "대상", "value": "#Alarm_SensorFault", "evidence_ids": [ "E3d3fae6c35a3e08d" ] }, { "label": "동작", "value": "대입", "evidence_ids": [ "E3d3fae6c35a3e08d" ] }, { "label": "실행 조건", "value": "((NOT ((# SensorStatus <> WORD # 0))) AND (# Reset AND ( # SensorStatus = WORD # 0 )))", "evidence_ids": [ "E3d3fae6c35a3e08d" ] }, { "label": "기록할 값", "value": "FALSE", "evidence_ids": [ "E3d3fae6c35a3e08d" ] }, { "label": "내보내기 내 위치", "value": "6", "evidence_ids": [ "E3d3fae6c35a3e08d" ] }, { "label": "조건 분석 상태", "value": "partial", "evidence_ids": [ "E3d3fae6c35a3e08d" ] } ], "notes": [], "interpretation": null, "group": "", "inspection": null, "alarm_cause_id": null, "branch_interpretations": [] } ], "notes": [], "interpretation": null }, { "id": "alarm_checks", "title": "알람·해제 검사", "status": "complete", "items": [ { "entity_id": "e_7f9a0f1b023cd2765b8ec6b00a747bb2", "title": "FB_DemoAlarms.Alarm_DriveNotReady", "summary": "확인한 규칙에 발생 값과 해제 값을 기록할 수 있는 경로가 있습니다. 실제 알람 상태와 호출 순서는 운전 자료로 확인해야 합니다.", "facts": [ { "label": "검사 판정", "value": "확인된 코드 사실", "evidence_ids": [ "E3f8bca8d84b82686", "E41b1e922e1f5422d", "E54078e0dc582766d", "Ec40f0e4a0c3b8daa", "Efbc4ed4efc81ee4c" ] }, { "label": "분류 근거", "value": "사용자가 지정한 태그", "evidence_ids": [ "E54078e0dc582766d" ] }, { "label": "경로 집계", "value": "assertion: 1; clearing: 1; source TRUE: 0; source FALSE: 0; unverified: 0; unconditional clear: 0", "evidence_ids": [ "E3f8bca8d84b82686", "E41b1e922e1f5422d", "E54078e0dc582766d", "Ec40f0e4a0c3b8daa", "Efbc4ed4efc81ee4c" ] }, { "label": "알람 값 관례", "value": "고객 제공 대응표", "evidence_ids": [ "E3f8bca8d84b82686", "E41b1e922e1f5422d", "E54078e0dc582766d", "Ec40f0e4a0c3b8daa", "Efbc4ed4efc81ee4c" ] }, { "label": "쓰기 위치", "value": "Wd28508dfc9bdcbb287bd: FB_DemoAlarms", "evidence_ids": [ "E41b1e922e1f5422d", "E54078e0dc582766d" ] }, { "label": "원본 블록", "value": "FB_DemoAlarms", "evidence_ids": [ "E41b1e922e1f5422d", "E54078e0dc582766d" ] }, { "label": "실행 프레임", "value": "FB_DemoAlarms", "evidence_ids": [ "E41b1e922e1f5422d", "E54078e0dc582766d" ] }, { "label": "대상", "value": "#Alarm_DriveNotReady", "evidence_ids": [ "E41b1e922e1f5422d", "E54078e0dc582766d" ] }, { "label": "동작", "value": "assign", "evidence_ids": [ "E41b1e922e1f5422d", "E54078e0dc582766d" ] }, { "label": "실행 조건", "value": "(#DriveStart AND NOT (#DriveReady))", "evidence_ids": [ "E41b1e922e1f5422d", "E54078e0dc582766d" ] }, { "label": "기록할 값", "value": "TRUE", "evidence_ids": [ "E41b1e922e1f5422d", "E54078e0dc582766d" ] }, { "label": "조건 분석 상태", "value": "supported", "evidence_ids": [ "E41b1e922e1f5422d", "E54078e0dc582766d" ] }, { "label": "조건 확인 상태", "value": "supported", "evidence_ids": [ "E41b1e922e1f5422d", "E54078e0dc582766d" ] }, { "label": "기록 값 확인 상태", "value": "supported", "evidence_ids": [ "E41b1e922e1f5422d", "E54078e0dc582766d" ] }, { "label": "명령 효과 확인 상태", "value": "supported", "evidence_ids": [ "E41b1e922e1f5422d", "E54078e0dc582766d" ] }, { "label": "분석 한계", "value": "Value/transfer analysis: primitive_transfer_types_verified", "evidence_ids": [ "E41b1e922e1f5422d", "E54078e0dc582766d" ] }, { "label": "쓰기 위치", "value": "Wf31788448f8ca318e72b: FB_DemoAlarms", "evidence_ids": [ "E54078e0dc582766d", "Ec40f0e4a0c3b8daa" ] }, { "label": "원본 블록", "value": "FB_DemoAlarms", "evidence_ids": [ "E54078e0dc582766d", "Ec40f0e4a0c3b8daa" ] }, { "label": "실행 프레임", "value": "FB_DemoAlarms", "evidence_ids": [ "E54078e0dc582766d", "Ec40f0e4a0c3b8daa" ] }, { "label": "대상", "value": "#Alarm_DriveNotReady", "evidence_ids": [ "E54078e0dc582766d", "Ec40f0e4a0c3b8daa" ] }, { "label": "동작", "value": "assign", "evidence_ids": [ "E54078e0dc582766d", "Ec40f0e4a0c3b8daa" ] }, { "label": "실행 조건", "value": "(NOT ((#DriveStart AND NOT (#DriveReady))) AND #DriveReady)", "evidence_ids": [ "E54078e0dc582766d", "Ec40f0e4a0c3b8daa" ] }, { "label": "기록할 값", "value": "FALSE", "evidence_ids": [ "E54078e0dc582766d", "Ec40f0e4a0c3b8daa" ] }, { "label": "조건 분석 상태", "value": "supported", "evidence_ids": [ "E54078e0dc582766d", "Ec40f0e4a0c3b8daa" ] }, { "label": "조건 확인 상태", "value": "supported", "evidence_ids": [ "E54078e0dc582766d", "Ec40f0e4a0c3b8daa" ] }, { "label": "기록 값 확인 상태", "value": "supported", "evidence_ids": [ "E54078e0dc582766d", "Ec40f0e4a0c3b8daa" ] }, { "label": "명령 효과 확인 상태", "value": "supported", "evidence_ids": [ "E54078e0dc582766d", "Ec40f0e4a0c3b8daa" ] }, { "label": "분석 한계", "value": "Value/transfer analysis: primitive_transfer_types_verified", "evidence_ids": [ "E54078e0dc582766d", "Ec40f0e4a0c3b8daa" ] }, { "label": "알람 코드·값 의미", "value": "TRUE: 준비 미완료 알람 발생; state=asserted; basis=customer_convention; source_paths=1; unverified_paths=0", "evidence_ids": [ "E3f8bca8d84b82686", "E41b1e922e1f5422d", "E54078e0dc582766d", "Efbc4ed4efc81ee4c" ] }, { "label": "알람 코드·값 의미", "value": "FALSE: 준비 미완료 알람 해제; state=cleared; basis=customer_convention; source_paths=1; unverified_paths=0", "evidence_ids": [ "E3f8bca8d84b82686", "E54078e0dc582766d", "Ec40f0e4a0c3b8daa", "Efbc4ed4efc81ee4c" ] } ], "notes": [], "interpretation": null, "group": "", "inspection": { "id": "K35fd0fd4eeb6f1fb376a", "check": "alarm_checks", "code": "alarm_assert_and_clear_paths", "outcome": "observed", "target": "FB_DemoAlarms.Alarm_DriveNotReady", "evidence_ids": [ "E3f8bca8d84b82686", "E41b1e922e1f5422d", "E54078e0dc582766d", "Ec40f0e4a0c3b8daa", "Efbc4ed4efc81ee4c" ], "counts": { "write_sites": 2, "assertion_paths": 1, "clearing_paths": 1, "source_true_paths": 0, "source_false_paths": 0, "unverified_paths": 0, "unconditional_clears": 0, "unconditional_false_writes": 0, "guard_feasibility_unverified": 0 }, "write_sites": [ { "id": "Wd28508dfc9bdcbb287bd", "entity_id": "e_110434ade1e0d53edc47a334bef58957", "rule_id": "e_110434ade1e0d53edc47a334bef58957", "owner_id": "e_5adc85573ff3ee3586fd78f0d9a33852", "owner_name": "FB_DemoAlarms", "authored_block": "FB_DemoAlarms", "target_entity_id": "e_7f9a0f1b023cd2765b8ec6b00a747bb2", "target_scope": "e_5adc85573ff3ee3586fd78f0d9a33852", "target_path": [ "Alarm_DriveNotReady" ], "target": "#Alarm_DriveNotReady", "datatype": "BOOL", "operation": "assign", "condition": "(#DriveStart AND NOT (#DriveReady))", "expression": "TRUE", "semantic_status": "supported", "guard_status": "supported", "value_status": "supported", "effect_status": "supported", "order": [ 0, 46 ], "order_kind": "scl_source", "call_ids": [], "evidence_ids": [ "E41b1e922e1f5422d", "E54078e0dc582766d" ], "notes": [ "Value/transfer analysis: primitive_transfer_types_verified" ], "state_dependencies": [], "condition_tree": { "op": "AND", "value": "", "children": [ { "op": "reference", "value": "#DriveStart", "children": [], "names": [], "datatype": "" }, { "op": "NOT", "value": "", "children": [ { "op": "reference", "value": "#DriveReady", "children": [], "names": [], "datatype": "" } ], "names": [], "datatype": "" } ], "names": [], "datatype": "" }, "expression_tree": { "op": "literal", "value": "TRUE", "children": [], "names": [], "datatype": "" }, "native_output_binding": null, "local_references": [], "scalar_conversions": [] }, { "id": "Wf31788448f8ca318e72b", "entity_id": "e_0e3d3377e625e61a5fb8cf4d997d0792", "rule_id": "e_0e3d3377e625e61a5fb8cf4d997d0792", "owner_id": "e_5adc85573ff3ee3586fd78f0d9a33852", "owner_name": "FB_DemoAlarms", "authored_block": "FB_DemoAlarms", "target_entity_id": "e_7f9a0f1b023cd2765b8ec6b00a747bb2", "target_scope": "e_5adc85573ff3ee3586fd78f0d9a33852", "target_path": [ "Alarm_DriveNotReady" ], "target": "#Alarm_DriveNotReady", "datatype": "BOOL", "operation": "assign", "condition": "(NOT ((#DriveStart AND NOT (#DriveReady))) AND #DriveReady)", "expression": "FALSE", "semantic_status": "supported", "guard_status": "supported", "value_status": "supported", "effect_status": "supported", "order": [ 0, 55 ], "order_kind": "scl_source", "call_ids": [], "evidence_ids": [ "E54078e0dc582766d", "Ec40f0e4a0c3b8daa" ], "notes": [ "Value/transfer analysis: primitive_transfer_types_verified" ], "state_dependencies": [], "condition_tree": { "op": "AND", "value": "", "children": [ { "op": "NOT", "value": "", "children": [ { "op": "AND", "value": "", "children": [ { "op": "reference", "value": "#DriveStart", "children": [], "names": [], "datatype": "" }, { "op": "NOT", "value": "", "children": [ { "op": "reference", "value": "#DriveReady", "children": [], "names": [], "datatype": "" } ], "names": [], "datatype": "" } ], "names": [], "datatype": "" } ], "names": [], "datatype": "" }, { "op": "reference", "value": "#DriveReady", "children": [], "names": [], "datatype": "" } ], "names": [], "datatype": "" }, "expression_tree": { "op": "literal", "value": "FALSE", "children": [], "names": [], "datatype": "" }, "native_output_binding": null, "local_references": [], "scalar_conversions": [] } ], "comparisons": [], "interactions": [], "values": [], "alarm_values": [ { "value": "TRUE", "meaning": "준비 미완료 알람 발생", "state": "asserted", "basis": "customer_convention", "write_site_ids": [ "Wd28508dfc9bdcbb287bd" ], "unverified_site_ids": [], "evidence_ids": [ "E3f8bca8d84b82686", "E41b1e922e1f5422d", "E54078e0dc582766d", "Efbc4ed4efc81ee4c" ], "source_meanings": [] }, { "value": "FALSE", "meaning": "준비 미완료 알람 해제", "state": "cleared", "basis": "customer_convention", "write_site_ids": [ "Wf31788448f8ca318e72b" ], "unverified_site_ids": [], "evidence_ids": [ "E3f8bca8d84b82686", "E54078e0dc582766d", "Ec40f0e4a0c3b8daa", "Efbc4ed4efc81ee4c" ], "source_meanings": [] } ], "alarm_roles": [] }, "alarm_cause_id": null, "branch_interpretations": [] }, { "entity_id": "e_cc73a3500598225473faa1fcacfe4c5d", "title": "FB_DemoAlarms.Alarm_HighPressure", "summary": "확인한 규칙에 발생 값과 해제 값을 기록할 수 있는 경로가 있습니다. 실제 알람 상태와 호출 순서는 운전 자료로 확인해야 합니다.", "facts": [ { "label": "검사 판정", "value": "확인된 코드 사실", "evidence_ids": [ "E1061a7ff3378f6cb", "E1feb15da7111dcb0", "E32acdbf9f960833b", "E5f7129164a796305", "Ed0ece16707ea82c9", "Ee356ce790e4f91e6" ] }, { "label": "분류 근거", "value": "사용자가 지정한 태그", "evidence_ids": [ "Ee356ce790e4f91e6" ] }, { "label": "경로 집계", "value": "assertion: 1; clearing: 1; source TRUE: 0; source FALSE: 0; unverified: 0; unconditional clear: 0", "evidence_ids": [ "E1061a7ff3378f6cb", "E1feb15da7111dcb0", "E32acdbf9f960833b", "E5f7129164a796305", "Ed0ece16707ea82c9", "Ee356ce790e4f91e6" ] }, { "label": "알람 값 관례", "value": "고객 제공 대응표", "evidence_ids": [ "E1061a7ff3378f6cb", "E1feb15da7111dcb0", "E32acdbf9f960833b", "E5f7129164a796305", "Ed0ece16707ea82c9", "Ee356ce790e4f91e6" ] }, { "label": "쓰기 위치", "value": "W3b68b315dc8ce8b62ae6: FB_DemoAlarms", "evidence_ids": [ "E5f7129164a796305", "Ee356ce790e4f91e6" ] }, { "label": "원본 블록", "value": "FB_DemoAlarms", "evidence_ids": [ "E5f7129164a796305", "Ee356ce790e4f91e6" ] }, { "label": "실행 프레임", "value": "FB_DemoAlarms", "evidence_ids": [ "E5f7129164a796305", "Ee356ce790e4f91e6" ] }, { "label": "대상", "value": "#Alarm_HighPressure", "evidence_ids": [ "E5f7129164a796305", "Ee356ce790e4f91e6" ] }, { "label": "동작", "value": "assign", "evidence_ids": [ "E5f7129164a796305", "Ee356ce790e4f91e6" ] }, { "label": "실행 조건", "value": "(#PumpRunning AND (#PressureBar >= REAL#8.5))", "evidence_ids": [ "E5f7129164a796305", "Ee356ce790e4f91e6" ] }, { "label": "기록할 값", "value": "TRUE", "evidence_ids": [ "E5f7129164a796305", "Ee356ce790e4f91e6" ] }, { "label": "조건 분석 상태", "value": "supported", "evidence_ids": [ "E5f7129164a796305", "Ee356ce790e4f91e6" ] }, { "label": "조건 확인 상태", "value": "supported", "evidence_ids": [ "E5f7129164a796305", "Ee356ce790e4f91e6" ] }, { "label": "기록 값 확인 상태", "value": "supported", "evidence_ids": [ "E5f7129164a796305", "Ee356ce790e4f91e6" ] }, { "label": "명령 효과 확인 상태", "value": "supported", "evidence_ids": [ "E5f7129164a796305", "Ee356ce790e4f91e6" ] }, { "label": "분석 한계", "value": "Complex control flow or function evaluation is not verified", "evidence_ids": [ "E5f7129164a796305", "Ee356ce790e4f91e6" ] }, { "label": "분석 한계", "value": "Value/transfer analysis: primitive_transfer_types_verified", "evidence_ids": [ "E5f7129164a796305", "Ee356ce790e4f91e6" ] }, { "label": "쓰기 위치", "value": "Wb2cc0217cdf884ce0dfb: FB_DemoAlarms", "evidence_ids": [ "E1061a7ff3378f6cb", "Ee356ce790e4f91e6" ] }, { "label": "원본 블록", "value": "FB_DemoAlarms", "evidence_ids": [ "E1061a7ff3378f6cb", "Ee356ce790e4f91e6" ] }, { "label": "실행 프레임", "value": "FB_DemoAlarms", "evidence_ids": [ "E1061a7ff3378f6cb", "Ee356ce790e4f91e6" ] }, { "label": "대상", "value": "#Alarm_HighPressure", "evidence_ids": [ "E1061a7ff3378f6cb", "Ee356ce790e4f91e6" ] }, { "label": "동작", "value": "assign", "evidence_ids": [ "E1061a7ff3378f6cb", "Ee356ce790e4f91e6" ] }, { "label": "실행 조건", "value": "(NOT ((#PumpRunning AND (#PressureBar >= REAL#8.5))) AND (#Reset AND (#PressureBar < REAL#7.5)))", "evidence_ids": [ "E1061a7ff3378f6cb", "Ee356ce790e4f91e6" ] }, { "label": "기록할 값", "value": "FALSE", "evidence_ids": [ "E1061a7ff3378f6cb", "Ee356ce790e4f91e6" ] }, { "label": "조건 분석 상태", "value": "supported", "evidence_ids": [ "E1061a7ff3378f6cb", "Ee356ce790e4f91e6" ] }, { "label": "조건 확인 상태", "value": "supported", "evidence_ids": [ "E1061a7ff3378f6cb", "Ee356ce790e4f91e6" ] }, { "label": "기록 값 확인 상태", "value": "supported", "evidence_ids": [ "E1061a7ff3378f6cb", "Ee356ce790e4f91e6" ] }, { "label": "명령 효과 확인 상태", "value": "supported", "evidence_ids": [ "E1061a7ff3378f6cb", "Ee356ce790e4f91e6" ] }, { "label": "분석 한계", "value": "Complex control flow or function evaluation is not verified", "evidence_ids": [ "E1061a7ff3378f6cb", "Ee356ce790e4f91e6" ] }, { "label": "분석 한계", "value": "Value/transfer analysis: primitive_transfer_types_verified", "evidence_ids": [ "E1061a7ff3378f6cb", "Ee356ce790e4f91e6" ] }, { "label": "알람 코드·값 의미", "value": "TRUE: 고압 알람 발생; state=asserted; basis=customer_convention; source_paths=1; unverified_paths=0", "evidence_ids": [ "E1feb15da7111dcb0", "E32acdbf9f960833b", "E5f7129164a796305", "Ed0ece16707ea82c9", "Ee356ce790e4f91e6" ] }, { "label": "알람 코드·값 의미", "value": "FALSE: 고압 알람 해제; state=cleared; basis=customer_convention; source_paths=1; unverified_paths=0", "evidence_ids": [ "E1061a7ff3378f6cb", "E1feb15da7111dcb0", "E32acdbf9f960833b", "Ed0ece16707ea82c9", "Ee356ce790e4f91e6" ] }, { "label": "리셋·확인 참조 경로", "value": "FB_DemoAlarms.Reset: reset; Wb2cc0217cdf884ce0dfb; guard=True; value=False; customer_role_source_dependency", "evidence_ids": [ "E1061a7ff3378f6cb", "Ed0ece16707ea82c9", "Ee356ce790e4f91e6" ] } ], "notes": [], "interpretation": null, "group": "", "inspection": { "id": "Kef5cd52e7fea44dfda9f", "check": "alarm_checks", "code": "alarm_assert_and_clear_paths", "outcome": "observed", "target": "FB_DemoAlarms.Alarm_HighPressure", "evidence_ids": [ "E1061a7ff3378f6cb", "E1feb15da7111dcb0", "E32acdbf9f960833b", "E5f7129164a796305", "Ed0ece16707ea82c9", "Ee356ce790e4f91e6" ], "counts": { "write_sites": 2, "assertion_paths": 1, "clearing_paths": 1, "source_true_paths": 0, "source_false_paths": 0, "unverified_paths": 0, "unconditional_clears": 0, "unconditional_false_writes": 0, "guard_feasibility_unverified": 0 }, "write_sites": [ { "id": "W3b68b315dc8ce8b62ae6", "entity_id": "e_b55d4779fa7a59cc0305185f9b77ab06", "rule_id": "e_b55d4779fa7a59cc0305185f9b77ab06", "owner_id": "e_5adc85573ff3ee3586fd78f0d9a33852", "owner_name": "FB_DemoAlarms", "authored_block": "FB_DemoAlarms", "target_entity_id": "e_cc73a3500598225473faa1fcacfe4c5d", "target_scope": "e_5adc85573ff3ee3586fd78f0d9a33852", "target_path": [ "Alarm_HighPressure" ], "target": "#Alarm_HighPressure", "datatype": "BOOL", "operation": "assign", "condition": "(#PumpRunning AND (#PressureBar >= REAL#8.5))", "expression": "TRUE", "semantic_status": "supported", "guard_status": "supported", "value_status": "supported", "effect_status": "supported", "order": [ 0, 13 ], "order_kind": "scl_source", "call_ids": [], "evidence_ids": [ "E5f7129164a796305", "Ee356ce790e4f91e6" ], "notes": [ "Complex control flow or function evaluation is not verified", "Value/transfer analysis: primitive_transfer_types_verified" ], "state_dependencies": [], "condition_tree": { "op": "AND", "value": "", "children": [ { "op": "reference", "value": "#PumpRunning", "children": [], "names": [], "datatype": "" }, { "op": ">=", "value": "", "children": [ { "op": "reference", "value": "#PressureBar", "children": [], "names": [], "datatype": "" }, { "op": "literal", "value": "REAL#8.5", "children": [], "names": [], "datatype": "" } ], "names": [], "datatype": "" } ], "names": [], "datatype": "" }, "expression_tree": { "op": "literal", "value": "TRUE", "children": [], "names": [], "datatype": "" }, "native_output_binding": null, "local_references": [], "scalar_conversions": [] }, { "id": "Wb2cc0217cdf884ce0dfb", "entity_id": "e_89d4253e8bb96d4420cf816e9b4d9d93", "rule_id": "e_89d4253e8bb96d4420cf816e9b4d9d93", "owner_id": "e_5adc85573ff3ee3586fd78f0d9a33852", "owner_name": "FB_DemoAlarms", "authored_block": "FB_DemoAlarms", "target_entity_id": "e_cc73a3500598225473faa1fcacfe4c5d", "target_scope": "e_5adc85573ff3ee3586fd78f0d9a33852", "target_path": [ "Alarm_HighPressure" ], "target": "#Alarm_HighPressure", "datatype": "BOOL", "operation": "assign", "condition": "(NOT ((#PumpRunning AND (#PressureBar >= REAL#8.5))) AND (#Reset AND (#PressureBar < REAL#7.5)))", "expression": "FALSE", "semantic_status": "supported", "guard_status": "supported", "value_status": "supported", "effect_status": "supported", "order": [ 0, 31 ], "order_kind": "scl_source", "call_ids": [], "evidence_ids": [ "E1061a7ff3378f6cb", "Ee356ce790e4f91e6" ], "notes": [ "Complex control flow or function evaluation is not verified", "Value/transfer analysis: primitive_transfer_types_verified" ], "state_dependencies": [], "condition_tree": { "op": "AND", "value": "", "children": [ { "op": "NOT", "value": "", "children": [ { "op": "AND", "value": "", "children": [ { "op": "reference", "value": "#PumpRunning", "children": [], "names": [], "datatype": "" }, { "op": ">=", "value": "", "children": [ { "op": "reference", "value": "#PressureBar", "children": [], "names": [], "datatype": "" }, { "op": "literal", "value": "REAL#8.5", "children": [], "names": [], "datatype": "" } ], "names": [], "datatype": "" } ], "names": [], "datatype": "" } ], "names": [], "datatype": "" }, { "op": "AND", "value": "", "children": [ { "op": "reference", "value": "#Reset", "children": [], "names": [], "datatype": "" }, { "op": "<", "value": "", "children": [ { "op": "reference", "value": "#PressureBar", "children": [], "names": [], "datatype": "" }, { "op": "literal", "value": "REAL#7.5", "children": [], "names": [], "datatype": "" } ], "names": [], "datatype": "" } ], "names": [], "datatype": "" } ], "names": [], "datatype": "" }, "expression_tree": { "op": "literal", "value": "FALSE", "children": [], "names": [], "datatype": "" }, "native_output_binding": null, "local_references": [], "scalar_conversions": [] } ], "comparisons": [], "interactions": [], "values": [], "alarm_values": [ { "value": "TRUE", "meaning": "고압 알람 발생", "state": "asserted", "basis": "customer_convention", "write_site_ids": [ "W3b68b315dc8ce8b62ae6" ], "unverified_site_ids": [], "evidence_ids": [ "E1feb15da7111dcb0", "E32acdbf9f960833b", "E5f7129164a796305", "Ed0ece16707ea82c9", "Ee356ce790e4f91e6" ], "source_meanings": [] }, { "value": "FALSE", "meaning": "고압 알람 해제", "state": "cleared", "basis": "customer_convention", "write_site_ids": [ "Wb2cc0217cdf884ce0dfb" ], "unverified_site_ids": [], "evidence_ids": [ "E1061a7ff3378f6cb", "E1feb15da7111dcb0", "E32acdbf9f960833b", "Ed0ece16707ea82c9", "Ee356ce790e4f91e6" ], "source_meanings": [] } ], "alarm_roles": [ { "role": "reset", "tag": "FB_DemoAlarms.Reset", "write_site_id": "Wb2cc0217cdf884ce0dfb", "in_guard": true, "in_value": false, "classification": "customer_role_source_dependency", "evidence_ids": [ "E1061a7ff3378f6cb", "Ed0ece16707ea82c9", "Ee356ce790e4f91e6" ] } ] }, "alarm_cause_id": null, "branch_interpretations": [] }, { "entity_id": "e_f29f3fb979d0a30d8777fb831e56ca72", "title": "FB_DemoAlarms.Alarm_SensorFault", "summary": "확인한 규칙에 발생 값과 해제 값을 기록할 수 있는 경로가 있습니다. 실제 알람 상태와 호출 순서는 운전 자료로 확인해야 합니다.", "facts": [ { "label": "검사 판정", "value": "확인된 코드 사실", "evidence_ids": [ "E1539a1628ca2bf7a", "E3d3fae6c35a3e08d", "Ebfbd0dde45a4ab58", "Ed0ece16707ea82c9", "Ee23fe8b403ced5c8" ] }, { "label": "분류 근거", "value": "사용자가 지정한 태그", "evidence_ids": [ "E1539a1628ca2bf7a" ] }, { "label": "경로 집계", "value": "assertion: 1; clearing: 1; source TRUE: 0; source FALSE: 0; unverified: 0; unconditional clear: 0", "evidence_ids": [ "E1539a1628ca2bf7a", "E3d3fae6c35a3e08d", "Ebfbd0dde45a4ab58", "Ed0ece16707ea82c9", "Ee23fe8b403ced5c8" ] }, { "label": "알람 값 관례", "value": "고객 제공 대응표", "evidence_ids": [ "E1539a1628ca2bf7a", "E3d3fae6c35a3e08d", "Ebfbd0dde45a4ab58", "Ed0ece16707ea82c9", "Ee23fe8b403ced5c8" ] }, { "label": "쓰기 위치", "value": "W36437bc80df2f485115b: FB_DemoAlarms", "evidence_ids": [ "E1539a1628ca2bf7a", "Ebfbd0dde45a4ab58" ] }, { "label": "원본 블록", "value": "FB_DemoAlarms", "evidence_ids": [ "E1539a1628ca2bf7a", "Ebfbd0dde45a4ab58" ] }, { "label": "실행 프레임", "value": "FB_DemoAlarms", "evidence_ids": [ "E1539a1628ca2bf7a", "Ebfbd0dde45a4ab58" ] }, { "label": "대상", "value": "#Alarm_SensorFault", "evidence_ids": [ "E1539a1628ca2bf7a", "Ebfbd0dde45a4ab58" ] }, { "label": "동작", "value": "assign", "evidence_ids": [ "E1539a1628ca2bf7a", "Ebfbd0dde45a4ab58" ] }, { "label": "실행 조건", "value": "(#SensorStatus <> WORD#0)", "evidence_ids": [ "E1539a1628ca2bf7a", "Ebfbd0dde45a4ab58" ] }, { "label": "기록할 값", "value": "TRUE", "evidence_ids": [ "E1539a1628ca2bf7a", "Ebfbd0dde45a4ab58" ] }, { "label": "조건 분석 상태", "value": "supported", "evidence_ids": [ "E1539a1628ca2bf7a", "Ebfbd0dde45a4ab58" ] }, { "label": "조건 확인 상태", "value": "supported", "evidence_ids": [ "E1539a1628ca2bf7a", "Ebfbd0dde45a4ab58" ] }, { "label": "기록 값 확인 상태", "value": "supported", "evidence_ids": [ "E1539a1628ca2bf7a", "Ebfbd0dde45a4ab58" ] }, { "label": "명령 효과 확인 상태", "value": "supported", "evidence_ids": [ "E1539a1628ca2bf7a", "Ebfbd0dde45a4ab58" ] }, { "label": "분석 한계", "value": "Complex control flow or function evaluation is not verified", "evidence_ids": [ "E1539a1628ca2bf7a", "Ebfbd0dde45a4ab58" ] }, { "label": "분석 한계", "value": "Value/transfer analysis: primitive_transfer_types_verified", "evidence_ids": [ "E1539a1628ca2bf7a", "Ebfbd0dde45a4ab58" ] }, { "label": "쓰기 위치", "value": "Wf138b1e9a49f7411626d: FB_DemoAlarms", "evidence_ids": [ "E1539a1628ca2bf7a", "E3d3fae6c35a3e08d" ] }, { "label": "원본 블록", "value": "FB_DemoAlarms", "evidence_ids": [ "E1539a1628ca2bf7a", "E3d3fae6c35a3e08d" ] }, { "label": "실행 프레임", "value": "FB_DemoAlarms", "evidence_ids": [ "E1539a1628ca2bf7a", "E3d3fae6c35a3e08d" ] }, { "label": "대상", "value": "#Alarm_SensorFault", "evidence_ids": [ "E1539a1628ca2bf7a", "E3d3fae6c35a3e08d" ] }, { "label": "동작", "value": "assign", "evidence_ids": [ "E1539a1628ca2bf7a", "E3d3fae6c35a3e08d" ] }, { "label": "실행 조건", "value": "(NOT ((#SensorStatus <> WORD#0)) AND (#Reset AND (#SensorStatus = WORD#0)))", "evidence_ids": [ "E1539a1628ca2bf7a", "E3d3fae6c35a3e08d" ] }, { "label": "기록할 값", "value": "FALSE", "evidence_ids": [ "E1539a1628ca2bf7a", "E3d3fae6c35a3e08d" ] }, { "label": "조건 분석 상태", "value": "supported", "evidence_ids": [ "E1539a1628ca2bf7a", "E3d3fae6c35a3e08d" ] }, { "label": "조건 확인 상태", "value": "supported", "evidence_ids": [ "E1539a1628ca2bf7a", "E3d3fae6c35a3e08d" ] }, { "label": "기록 값 확인 상태", "value": "supported", "evidence_ids": [ "E1539a1628ca2bf7a", "E3d3fae6c35a3e08d" ] }, { "label": "명령 효과 확인 상태", "value": "supported", "evidence_ids": [ "E1539a1628ca2bf7a", "E3d3fae6c35a3e08d" ] }, { "label": "분석 한계", "value": "Complex control flow or function evaluation is not verified", "evidence_ids": [ "E1539a1628ca2bf7a", "E3d3fae6c35a3e08d" ] }, { "label": "분석 한계", "value": "Value/transfer analysis: primitive_transfer_types_verified", "evidence_ids": [ "E1539a1628ca2bf7a", "E3d3fae6c35a3e08d" ] }, { "label": "알람 코드·값 의미", "value": "TRUE: 센서 상태 이상 알람 발생; state=asserted; basis=customer_convention; source_paths=1; unverified_paths=0", "evidence_ids": [ "E1539a1628ca2bf7a", "Ebfbd0dde45a4ab58", "Ed0ece16707ea82c9", "Ee23fe8b403ced5c8" ] }, { "label": "알람 코드·값 의미", "value": "FALSE: 센서 상태 이상 알람 해제; state=cleared; basis=customer_convention; source_paths=1; unverified_paths=0", "evidence_ids": [ "E1539a1628ca2bf7a", "E3d3fae6c35a3e08d", "Ed0ece16707ea82c9", "Ee23fe8b403ced5c8" ] }, { "label": "리셋·확인 참조 경로", "value": "FB_DemoAlarms.Reset: reset; Wf138b1e9a49f7411626d; guard=True; value=False; customer_role_source_dependency", "evidence_ids": [ "E1539a1628ca2bf7a", "E3d3fae6c35a3e08d", "Ed0ece16707ea82c9" ] } ], "notes": [], "interpretation": null, "group": "", "inspection": { "id": "K97a283e56b0ceb4ea1d7", "check": "alarm_checks", "code": "alarm_assert_and_clear_paths", "outcome": "observed", "target": "FB_DemoAlarms.Alarm_SensorFault", "evidence_ids": [ "E1539a1628ca2bf7a", "E3d3fae6c35a3e08d", "Ebfbd0dde45a4ab58", "Ed0ece16707ea82c9", "Ee23fe8b403ced5c8" ], "counts": { "write_sites": 2, "assertion_paths": 1, "clearing_paths": 1, "source_true_paths": 0, "source_false_paths": 0, "unverified_paths": 0, "unconditional_clears": 0, "unconditional_false_writes": 0, "guard_feasibility_unverified": 0 }, "write_sites": [ { "id": "W36437bc80df2f485115b", "entity_id": "e_5f14ca9e406515831d73184d5cce48d7", "rule_id": "e_5f14ca9e406515831d73184d5cce48d7", "owner_id": "e_5adc85573ff3ee3586fd78f0d9a33852", "owner_name": "FB_DemoAlarms", "authored_block": "FB_DemoAlarms", "target_entity_id": "e_f29f3fb979d0a30d8777fb831e56ca72", "target_scope": "e_5adc85573ff3ee3586fd78f0d9a33852", "target_path": [ "Alarm_SensorFault" ], "target": "#Alarm_SensorFault", "datatype": "BOOL", "operation": "assign", "condition": "(#SensorStatus <> WORD#0)", "expression": "TRUE", "semantic_status": "supported", "guard_status": "supported", "value_status": "supported", "effect_status": "supported", "order": [ 0, 70 ], "order_kind": "scl_source", "call_ids": [], "evidence_ids": [ "E1539a1628ca2bf7a", "Ebfbd0dde45a4ab58" ], "notes": [ "Complex control flow or function evaluation is not verified", "Value/transfer analysis: primitive_transfer_types_verified" ], "state_dependencies": [], "condition_tree": { "op": "<>", "value": "", "children": [ { "op": "reference", "value": "#SensorStatus", "children": [], "names": [], "datatype": "" }, { "op": "literal", "value": "WORD#0", "children": [], "names": [], "datatype": "" } ], "names": [], "datatype": "" }, "expression_tree": { "op": "literal", "value": "TRUE", "children": [], "names": [], "datatype": "" }, "native_output_binding": null, "local_references": [], "scalar_conversions": [] }, { "id": "Wf138b1e9a49f7411626d", "entity_id": "e_7ef61349a7e6eec7af70bc2721a62786", "rule_id": "e_7ef61349a7e6eec7af70bc2721a62786", "owner_id": "e_5adc85573ff3ee3586fd78f0d9a33852", "owner_name": "FB_DemoAlarms", "authored_block": "FB_DemoAlarms", "target_entity_id": "e_f29f3fb979d0a30d8777fb831e56ca72", "target_scope": "e_5adc85573ff3ee3586fd78f0d9a33852", "target_path": [ "Alarm_SensorFault" ], "target": "#Alarm_SensorFault", "datatype": "BOOL", "operation": "assign", "condition": "(NOT ((#SensorStatus <> WORD#0)) AND (#Reset AND (#SensorStatus = WORD#0)))", "expression": "FALSE", "semantic_status": "supported", "guard_status": "supported", "value_status": "supported", "effect_status": "supported", "order": [ 0, 88 ], "order_kind": "scl_source", "call_ids": [], "evidence_ids": [ "E1539a1628ca2bf7a", "E3d3fae6c35a3e08d" ], "notes": [ "Complex control flow or function evaluation is not verified", "Value/transfer analysis: primitive_transfer_types_verified" ], "state_dependencies": [], "condition_tree": { "op": "AND", "value": "", "children": [ { "op": "NOT", "value": "", "children": [ { "op": "<>", "value": "", "children": [ { "op": "reference", "value": "#SensorStatus", "children": [], "names": [], "datatype": "" }, { "op": "literal", "value": "WORD#0", "children": [], "names": [], "datatype": "" } ], "names": [], "datatype": "" } ], "names": [], "datatype": "" }, { "op": "AND", "value": "", "children": [ { "op": "reference", "value": "#Reset", "children": [], "names": [], "datatype": "" }, { "op": "=", "value": "", "children": [ { "op": "reference", "value": "#SensorStatus", "children": [], "names": [], "datatype": "" }, { "op": "literal", "value": "WORD#0", "children": [], "names": [], "datatype": "" } ], "names": [], "datatype": "" } ], "names": [], "datatype": "" } ], "names": [], "datatype": "" }, "expression_tree": { "op": "literal", "value": "FALSE", "children": [], "names": [], "datatype": "" }, "native_output_binding": null, "local_references": [], "scalar_conversions": [] } ], "comparisons": [], "interactions": [], "values": [], "alarm_values": [ { "value": "TRUE", "meaning": "센서 상태 이상 알람 발생", "state": "asserted", "basis": "customer_convention", "write_site_ids": [ "W36437bc80df2f485115b" ], "unverified_site_ids": [], "evidence_ids": [ "E1539a1628ca2bf7a", "Ebfbd0dde45a4ab58", "Ed0ece16707ea82c9", "Ee23fe8b403ced5c8" ], "source_meanings": [] }, { "value": "FALSE", "meaning": "센서 상태 이상 알람 해제", "state": "cleared", "basis": "customer_convention", "write_site_ids": [ "Wf138b1e9a49f7411626d" ], "unverified_site_ids": [], "evidence_ids": [ "E1539a1628ca2bf7a", "E3d3fae6c35a3e08d", "Ed0ece16707ea82c9", "Ee23fe8b403ced5c8" ], "source_meanings": [] } ], "alarm_roles": [ { "role": "reset", "tag": "FB_DemoAlarms.Reset", "write_site_id": "Wf138b1e9a49f7411626d", "in_guard": true, "in_value": false, "classification": "customer_role_source_dependency", "evidence_ids": [ "E1539a1628ca2bf7a", "E3d3fae6c35a3e08d", "Ed0ece16707ea82c9" ] } ] }, "alarm_cause_id": null, "branch_interpretations": [] } ], "notes": [ "확인된 코드 사실: 3; 검토 후보: 0; 판단 자료 부족: 0", "이름 기반 후보는 알람 여부와 TRUE=발생/FALSE=해제 관례를 확인해야 합니다. TRUE/FALSE 원본 쓰기 경로와 조건의 도달 가능성 검증을 구분합니다. 숫자 코드는 대응표가 있어야 발생·해제로 분류합니다. 리셋·확인 태그는 원본에서 실제로 참조한 경로를 표시하며, 이름만으로 역할을 확정하지 않습니다. 실제 시간·운전 상태는 미확인입니다." ], "interpretation": null }, { "id": "alarm_causes", "title": "알람 원인 분석", "status": "partial", "items": [ { "entity_id": "e_7f9a0f1b023cd2765b8ec6b00a747bb2", "title": "FB_DemoAlarms.Alarm_DriveNotReady", "summary": "알람의 쓰기 조건과 상위 변수·계산·입력 관계를 코드에서 추출했습니다. 원인 관계는 가능한 코드 의존성이며 실제 고장 원인을 확정하지 않습니다.", "facts": [ { "label": "알람 값 해석 기준", "value": "customer_mapping", "evidence_ids": [ "E3f8bca8d84b82686", "E41b1e922e1f5422d", "E54078e0dc582766d", "Ec40f0e4a0c3b8daa", "Efbc4ed4efc81ee4c" ] }, { "label": "고객 지정 알람 설명", "value": "교육용 예제: DriveStart=TRUE는 기동 요청, DriveReady=TRUE는 준비 완료로 정의합니다.", "evidence_ids": [ "E3f8bca8d84b82686", "E41b1e922e1f5422d", "E54078e0dc582766d", "Ec40f0e4a0c3b8daa", "Efbc4ed4efc81ee4c" ] }, { "label": "코드상 알람 조건", "value": "asserted: value=TRUE; condition=(#DriveStart AND NOT (#DriveReady)); feasibility=sat; scope=typed_value_snapshot_only", "evidence_ids": [ "E3f8bca8d84b82686", "E41b1e922e1f5422d", "E54078e0dc582766d", "Efbc4ed4efc81ee4c" ] }, { "label": "코드상 알람 조건", "value": "cleared: value=FALSE; condition=(NOT ((#DriveStart AND NOT (#DriveReady))) AND #DriveReady); feasibility=sat; scope=typed_value_snapshot_only", "evidence_ids": [ "E3f8bca8d84b82686", "E54078e0dc582766d", "Ec40f0e4a0c3b8daa", "Efbc4ed4efc81ee4c" ] }, { "label": "상위 원인 추적의 경계 태그", "value": "FB_DemoAlarms.DriveStart: BOOL; program_input", "evidence_ids": [ "Efbc4ed4efc81ee4c" ] }, { "label": "상위 원인 추적의 경계 태그", "value": "FB_DemoAlarms.DriveReady: BOOL; program_input", "evidence_ids": [ "E3f8bca8d84b82686" ] } ], "notes": [ "실제 값·스캔 순서·이전 상태는 포함하지 않습니다. 발생 시 조건 태그와 상위 입력·설정값을 읽어 조건식과 대조하세요." ], "interpretation": null, "group": "", "inspection": null, "alarm_cause_id": "Dd94a8ef4b2df0736fe84", "branch_interpretations": [] }, { "entity_id": "e_cc73a3500598225473faa1fcacfe4c5d", "title": "FB_DemoAlarms.Alarm_HighPressure", "summary": "알람의 쓰기 조건과 상위 변수·계산·입력 관계를 코드에서 추출했습니다. 원인 관계는 가능한 코드 의존성이며 실제 고장 원인을 확정하지 않습니다.", "facts": [ { "label": "알람 값 해석 기준", "value": "customer_mapping", "evidence_ids": [ "E1061a7ff3378f6cb", "E1feb15da7111dcb0", "E32acdbf9f960833b", "E5f7129164a796305", "Ed0ece16707ea82c9", "Ee356ce790e4f91e6" ] }, { "label": "고객 지정 알람 설명", "value": "교육용 예제: 압력 입력 단위는 bar, TRUE는 고압 알람 발생 상태로 정의합니다.", "evidence_ids": [ "E1061a7ff3378f6cb", "E1feb15da7111dcb0", "E32acdbf9f960833b", "E5f7129164a796305", "Ed0ece16707ea82c9", "Ee356ce790e4f91e6" ] }, { "label": "코드상 알람 조건", "value": "asserted: value=TRUE; condition=(#PumpRunning AND (#PressureBar >= REAL#8.5)); feasibility=sat; scope=typed_value_snapshot_only", "evidence_ids": [ "E1feb15da7111dcb0", "E32acdbf9f960833b", "E5f7129164a796305", "Ee356ce790e4f91e6" ] }, { "label": "코드상 알람 조건", "value": "cleared: value=FALSE; condition=(NOT ((#PumpRunning AND (#PressureBar >= REAL#8.5))) AND (#Reset AND (#PressureBar < REAL#7.5))); feasibility=sat; scope=typed_value_snapshot_only", "evidence_ids": [ "E1061a7ff3378f6cb", "E1feb15da7111dcb0", "E32acdbf9f960833b", "Ed0ece16707ea82c9", "Ee356ce790e4f91e6" ] }, { "label": "상위 원인 추적의 경계 태그", "value": "FB_DemoAlarms.PressureBar: REAL; program_input", "evidence_ids": [ "E1feb15da7111dcb0" ] }, { "label": "상위 원인 추적의 경계 태그", "value": "FB_DemoAlarms.PumpRunning: BOOL; program_input", "evidence_ids": [ "E32acdbf9f960833b" ] }, { "label": "상위 원인 추적의 경계 태그", "value": "FB_DemoAlarms.Reset: BOOL; program_input", "evidence_ids": [ "Ed0ece16707ea82c9" ] } ], "notes": [ "실제 값·스캔 순서·이전 상태는 포함하지 않습니다. 발생 시 조건 태그와 상위 입력·설정값을 읽어 조건식과 대조하세요." ], "interpretation": null, "group": "", "inspection": null, "alarm_cause_id": "D1654c82c3ecfe7d13bf4", "branch_interpretations": [] }, { "entity_id": "e_f29f3fb979d0a30d8777fb831e56ca72", "title": "FB_DemoAlarms.Alarm_SensorFault", "summary": "알람의 쓰기 조건과 상위 변수·계산·입력 관계를 코드에서 추출했습니다. 원인 관계는 가능한 코드 의존성이며 실제 고장 원인을 확정하지 않습니다.", "facts": [ { "label": "알람 값 해석 기준", "value": "customer_mapping", "evidence_ids": [ "E1539a1628ca2bf7a", "E3d3fae6c35a3e08d", "Ebfbd0dde45a4ab58", "Ed0ece16707ea82c9", "Ee23fe8b403ced5c8" ] }, { "label": "고객 지정 알람 설명", "value": "교육용 예제: SensorStatus=0은 정상, 0이 아닌 상태는 이상으로 명시한 예제 정의입니다.", "evidence_ids": [ "E1539a1628ca2bf7a", "E3d3fae6c35a3e08d", "Ebfbd0dde45a4ab58", "Ed0ece16707ea82c9", "Ee23fe8b403ced5c8" ] }, { "label": "코드상 알람 조건", "value": "asserted: value=TRUE; condition=(#SensorStatus <> WORD#0); feasibility=sat; scope=typed_value_snapshot_only", "evidence_ids": [ "E1539a1628ca2bf7a", "Ebfbd0dde45a4ab58", "Ee23fe8b403ced5c8" ] }, { "label": "코드상 알람 조건", "value": "cleared: value=FALSE; condition=(NOT ((#SensorStatus <> WORD#0)) AND (#Reset AND (#SensorStatus = WORD#0))); feasibility=sat; scope=typed_value_snapshot_only", "evidence_ids": [ "E1539a1628ca2bf7a", "E3d3fae6c35a3e08d", "Ed0ece16707ea82c9", "Ee23fe8b403ced5c8" ] }, { "label": "상위 원인 추적의 경계 태그", "value": "FB_DemoAlarms.SensorStatus: WORD; program_input", "evidence_ids": [ "Ee23fe8b403ced5c8" ] }, { "label": "상위 원인 추적의 경계 태그", "value": "FB_DemoAlarms.Reset: BOOL; program_input", "evidence_ids": [ "Ed0ece16707ea82c9" ] } ], "notes": [ "실제 값·스캔 순서·이전 상태는 포함하지 않습니다. 발생 시 조건 태그와 상위 입력·설정값을 읽어 조건식과 대조하세요." ], "interpretation": null, "group": "", "inspection": null, "alarm_cause_id": "D72d96e965f1e013022d4", "branch_interpretations": [] } ], "notes": [ "PLC 코드만으로 분석합니다. BOOL은 고객 대응표가 없으면 TRUE/FALSE 쓰기 조건으로 구분하고, 숫자 0을 정상값으로 가정하지 않습니다. 공유 원인 관계 그래프는 JSON에 한 번 저장하며 모든 알람에서 참조합니다." ], "interpretation": null } ], "evidence": [ { "id": "E1061a7ff3378f6cb", "entity_id": "e_89d4253e8bb96d4420cf816e9b4d9d93", "source": { "member_path": "src/FB_DemoAlarms.scl", "content_hash": "d0134c5abd93feae145f1cc1a779ce0ab74a70b1aa47b118a1149006061a477e", "block_id": "e_5adc85573ff3ee3586fd78f0d9a33852", "compile_unit_id": null, "uid": null, "line": 22, "char_offset": 660, "element_index": null } }, { "id": "E1539a1628ca2bf7a", "entity_id": "e_f29f3fb979d0a30d8777fb831e56ca72", "source": { "member_path": "src/FB_DemoAlarms.scl", "content_hash": "d0134c5abd93feae145f1cc1a779ce0ab74a70b1aa47b118a1149006061a477e", "block_id": "e_5adc85573ff3ee3586fd78f0d9a33852", "compile_unit_id": null, "uid": null, "line": 15, "char_offset": 398, "element_index": null } }, { "id": "E183936e25271c158", "entity_id": "e_5adc85573ff3ee3586fd78f0d9a33852", "source": { "member_path": "src/FB_DemoAlarms.scl", "content_hash": "d0134c5abd93feae145f1cc1a779ce0ab74a70b1aa47b118a1149006061a477e", "block_id": "e_5adc85573ff3ee3586fd78f0d9a33852", "compile_unit_id": null, "uid": null, "line": 3, "char_offset": 136, "element_index": null } }, { "id": "E1feb15da7111dcb0", "entity_id": "e_3793a9989cbfa9eb71ebb31b08cb8a35", "source": { "member_path": "src/FB_DemoAlarms.scl", "content_hash": "d0134c5abd93feae145f1cc1a779ce0ab74a70b1aa47b118a1149006061a477e", "block_id": "e_5adc85573ff3ee3586fd78f0d9a33852", "compile_unit_id": null, "uid": null, "line": 6, "char_offset": 203, "element_index": null } }, { "id": "E21e4adca90f68e01", "entity_id": "e_f29f3fb979d0a30d8777fb831e56ca72", "source": { "member_path": "src/FB_DemoAlarms.scl", "content_hash": "d0134c5abd93feae145f1cc1a779ce0ab74a70b1aa47b118a1149006061a477e", "block_id": "e_5adc85573ff3ee3586fd78f0d9a33852", "compile_unit_id": null, "uid": null, "line": 34, "char_offset": 1050, "element_index": null } }, { "id": "E2352d309a5df22a8", "entity_id": "e_f29f3fb979d0a30d8777fb831e56ca72", "source": { "member_path": "src/FB_DemoAlarms.scl", "content_hash": "d0134c5abd93feae145f1cc1a779ce0ab74a70b1aa47b118a1149006061a477e", "block_id": "e_5adc85573ff3ee3586fd78f0d9a33852", "compile_unit_id": null, "uid": null, "line": 36, "char_offset": 1137, "element_index": null } }, { "id": "E32acdbf9f960833b", "entity_id": "e_c96b4bcee4ae803bf5be7ae2a3de7225", "source": { "member_path": "src/FB_DemoAlarms.scl", "content_hash": "d0134c5abd93feae145f1cc1a779ce0ab74a70b1aa47b118a1149006061a477e", "block_id": "e_5adc85573ff3ee3586fd78f0d9a33852", "compile_unit_id": null, "uid": null, "line": 5, "char_offset": 179, "element_index": null } }, { "id": "E3d3fae6c35a3e08d", "entity_id": "e_7ef61349a7e6eec7af70bc2721a62786", "source": { "member_path": "src/FB_DemoAlarms.scl", "content_hash": "d0134c5abd93feae145f1cc1a779ce0ab74a70b1aa47b118a1149006061a477e", "block_id": "e_5adc85573ff3ee3586fd78f0d9a33852", "compile_unit_id": null, "uid": null, "line": 36, "char_offset": 1137, "element_index": null } }, { "id": "E3f8bca8d84b82686", "entity_id": "e_6b2b881869a009e6733aa25a58d299ce", "source": { "member_path": "src/FB_DemoAlarms.scl", "content_hash": "d0134c5abd93feae145f1cc1a779ce0ab74a70b1aa47b118a1149006061a477e", "block_id": "e_5adc85573ff3ee3586fd78f0d9a33852", "compile_unit_id": null, "uid": null, "line": 9, "char_offset": 268, "element_index": null } }, { "id": "E41b1e922e1f5422d", "entity_id": "e_110434ade1e0d53edc47a334bef58957", "source": { "member_path": "src/FB_DemoAlarms.scl", "content_hash": "d0134c5abd93feae145f1cc1a779ce0ab74a70b1aa47b118a1149006061a477e", "block_id": "e_5adc85573ff3ee3586fd78f0d9a33852", "compile_unit_id": null, "uid": null, "line": 27, "char_offset": 817, "element_index": null } }, { "id": "E44745a97ddfa504d", "entity_id": "e_5adc85573ff3ee3586fd78f0d9a33852", "source": { "member_path": "src/FB_DemoAlarms.scl", "content_hash": "d0134c5abd93feae145f1cc1a779ce0ab74a70b1aa47b118a1149006061a477e", "block_id": null, "compile_unit_id": null, "uid": null, "line": 3, "char_offset": null, "element_index": null } }, { "id": "E54078e0dc582766d", "entity_id": "e_7f9a0f1b023cd2765b8ec6b00a747bb2", "source": { "member_path": "src/FB_DemoAlarms.scl", "content_hash": "d0134c5abd93feae145f1cc1a779ce0ab74a70b1aa47b118a1149006061a477e", "block_id": "e_5adc85573ff3ee3586fd78f0d9a33852", "compile_unit_id": null, "uid": null, "line": 14, "char_offset": 366, "element_index": null } }, { "id": "E5f7129164a796305", "entity_id": "e_b55d4779fa7a59cc0305185f9b77ab06", "source": { "member_path": "src/FB_DemoAlarms.scl", "content_hash": "d0134c5abd93feae145f1cc1a779ce0ab74a70b1aa47b118a1149006061a477e", "block_id": "e_5adc85573ff3ee3586fd78f0d9a33852", "compile_unit_id": null, "uid": null, "line": 20, "char_offset": 571, "element_index": null } }, { "id": "E78a4774ada1ce110", "entity_id": "e_cc73a3500598225473faa1fcacfe4c5d", "source": { "member_path": "src/FB_DemoAlarms.scl", "content_hash": "d0134c5abd93feae145f1cc1a779ce0ab74a70b1aa47b118a1149006061a477e", "block_id": "e_5adc85573ff3ee3586fd78f0d9a33852", "compile_unit_id": null, "uid": null, "line": 22, "char_offset": 660, "element_index": null } }, { "id": "E89237512db0649ce", "entity_id": "e_7f9a0f1b023cd2765b8ec6b00a747bb2", "source": { "member_path": "src/FB_DemoAlarms.scl", "content_hash": "d0134c5abd93feae145f1cc1a779ce0ab74a70b1aa47b118a1149006061a477e", "block_id": "e_5adc85573ff3ee3586fd78f0d9a33852", "compile_unit_id": null, "uid": null, "line": 27, "char_offset": 817, "element_index": null } }, { "id": "Ebfbd0dde45a4ab58", "entity_id": "e_5f14ca9e406515831d73184d5cce48d7", "source": { "member_path": "src/FB_DemoAlarms.scl", "content_hash": "d0134c5abd93feae145f1cc1a779ce0ab74a70b1aa47b118a1149006061a477e", "block_id": "e_5adc85573ff3ee3586fd78f0d9a33852", "compile_unit_id": null, "uid": null, "line": 34, "char_offset": 1050, "element_index": null } }, { "id": "Ec40f0e4a0c3b8daa", "entity_id": "e_0e3d3377e625e61a5fb8cf4d997d0792", "source": { "member_path": "src/FB_DemoAlarms.scl", "content_hash": "d0134c5abd93feae145f1cc1a779ce0ab74a70b1aa47b118a1149006061a477e", "block_id": "e_5adc85573ff3ee3586fd78f0d9a33852", "compile_unit_id": null, "uid": null, "line": 29, "char_offset": 882, "element_index": null } }, { "id": "Ec617418ed7a1d56f", "entity_id": "e_7f9a0f1b023cd2765b8ec6b00a747bb2", "source": { "member_path": "src/FB_DemoAlarms.scl", "content_hash": "d0134c5abd93feae145f1cc1a779ce0ab74a70b1aa47b118a1149006061a477e", "block_id": "e_5adc85573ff3ee3586fd78f0d9a33852", "compile_unit_id": null, "uid": null, "line": 29, "char_offset": 882, "element_index": null } }, { "id": "Ed0ece16707ea82c9", "entity_id": "e_545bb104d76324a15d950606b4cd4f94", "source": { "member_path": "src/FB_DemoAlarms.scl", "content_hash": "d0134c5abd93feae145f1cc1a779ce0ab74a70b1aa47b118a1149006061a477e", "block_id": "e_5adc85573ff3ee3586fd78f0d9a33852", "compile_unit_id": null, "uid": null, "line": 7, "char_offset": 227, "element_index": null } }, { "id": "Ee23fe8b403ced5c8", "entity_id": "e_cf28ec30e1200a045e8c335be553e5a0", "source": { "member_path": "src/FB_DemoAlarms.scl", "content_hash": "d0134c5abd93feae145f1cc1a779ce0ab74a70b1aa47b118a1149006061a477e", "block_id": "e_5adc85573ff3ee3586fd78f0d9a33852", "compile_unit_id": null, "uid": null, "line": 10, "char_offset": 291, "element_index": null } }, { "id": "Ee356ce790e4f91e6", "entity_id": "e_cc73a3500598225473faa1fcacfe4c5d", "source": { "member_path": "src/FB_DemoAlarms.scl", "content_hash": "d0134c5abd93feae145f1cc1a779ce0ab74a70b1aa47b118a1149006061a477e", "block_id": "e_5adc85573ff3ee3586fd78f0d9a33852", "compile_unit_id": null, "uid": null, "line": 13, "char_offset": 335, "element_index": null } }, { "id": "Ee7e27a69ab63cfd8", "entity_id": "e_cc73a3500598225473faa1fcacfe4c5d", "source": { "member_path": "src/FB_DemoAlarms.scl", "content_hash": "d0134c5abd93feae145f1cc1a779ce0ab74a70b1aa47b118a1149006061a477e", "block_id": "e_5adc85573ff3ee3586fd78f0d9a33852", "compile_unit_id": null, "uid": null, "line": 20, "char_offset": 571, "element_index": null } }, { "id": "Efbc4ed4efc81ee4c", "entity_id": "e_fb6c32bb62eadca48d97e56bab29b7b9", "source": { "member_path": "src/FB_DemoAlarms.scl", "content_hash": "d0134c5abd93feae145f1cc1a779ce0ab74a70b1aa47b118a1149006061a477e", "block_id": "e_5adc85573ff3ee3586fd78f0d9a33852", "compile_unit_id": null, "uid": null, "line": 8, "char_offset": 245, "element_index": null } } ], "issues": [], "executive_summary": null, "call_effects": [], "source_name": "plc-insight-sample.zip", "alarm_analysis": { "schema_version": "plc-alarm-causes/1", "scope": "plc_code_only", "dependency_semantics": "possible_source_dependencies", "diagnoses": [ { "id": "Dd94a8ef4b2df0736fe84", "entity_id": "e_7f9a0f1b023cd2765b8ec6b00a747bb2", "target": "FB_DemoAlarms.Alarm_DriveNotReady", "target_node_id": "Tc5d9a2c1dc8dab33294c", "customer_description": "교육용 예제: DriveStart=TRUE는 기동 요청, DriveReady=TRUE는 준비 완료로 정의합니다.", "trace_policy": "stop_at_cyclic_or_multiple_writers", "classification": "user_selected", "convention": "customer_mapping", "scenarios": [ { "id": "A361f5fc133a60ad3f8b9", "write_site_id": "Wd28508dfc9bdcbb287bd", "state": "asserted", "value": "TRUE", "meaning": "준비 미완료 알람 발생", "meaning_basis": "customer_mapping", "source_meaning": null, "predicate": "(#DriveStart AND NOT (#DriveReady))", "predicate_node_id": "X64a5598c047799564d2f", "feasibility": "sat", "reason": "typed_snapshot_witness_only", "unknowns": [], "witness": { "fb_demoalarms::#driveready": false, "fb_demoalarms::#drivestart": true }, "evidence_ids": [ "E3f8bca8d84b82686", "E41b1e922e1f5422d", "E54078e0dc582766d", "Efbc4ed4efc81ee4c" ], "scope": "typed_value_snapshot_only", "predicate_tree": { "op": "AND", "value": "", "children": [ { "op": "reference", "value": "#DriveStart", "children": [], "names": [], "datatype": "" }, { "op": "NOT", "value": "", "children": [ { "op": "reference", "value": "#DriveReady", "children": [], "names": [], "datatype": "" } ], "names": [], "datatype": "" } ], "names": [], "datatype": "" }, "source_message_ids": [], "communication_site_ids": [] }, { "id": "Aeea4a1b699fe6f1813e4", "write_site_id": "Wf31788448f8ca318e72b", "state": "cleared", "value": "FALSE", "meaning": "준비 미완료 알람 해제", "meaning_basis": "customer_mapping", "source_meaning": null, "predicate": "(NOT ((#DriveStart AND NOT (#DriveReady))) AND #DriveReady)", "predicate_node_id": "X070fd659670c166ff0b5", "feasibility": "sat", "reason": "typed_snapshot_witness_only", "unknowns": [], "witness": { "fb_demoalarms::#driveready": true, "fb_demoalarms::#drivestart": true }, "evidence_ids": [ "E3f8bca8d84b82686", "E54078e0dc582766d", "Ec40f0e4a0c3b8daa", "Efbc4ed4efc81ee4c" ], "scope": "typed_value_snapshot_only", "predicate_tree": { "op": "AND", "value": "", "children": [ { "op": "NOT", "value": "", "children": [ { "op": "AND", "value": "", "children": [ { "op": "reference", "value": "#DriveStart", "children": [], "names": [], "datatype": "" }, { "op": "NOT", "value": "", "children": [ { "op": "reference", "value": "#DriveReady", "children": [], "names": [], "datatype": "" } ], "names": [], "datatype": "" } ], "names": [], "datatype": "" } ], "names": [], "datatype": "" }, { "op": "reference", "value": "#DriveReady", "children": [], "names": [], "datatype": "" } ], "names": [], "datatype": "" }, "source_message_ids": [], "communication_site_ids": [] } ], "direct_tag_ids": [ "T026b47688a12b5b3665a", "T722884e3d99af0e855fe" ], "boundary_tag_ids": [ "T026b47688a12b5b3665a", "T722884e3d99af0e855fe" ], "feedback_tag_ids": [], "reset_dependencies": [], "state_dependencies": [], "gap_node_ids": [ "T026b47688a12b5b3665a", "T722884e3d99af0e855fe" ], "evidence_ids": [ "E3f8bca8d84b82686", "E41b1e922e1f5422d", "E54078e0dc582766d", "Ec40f0e4a0c3b8daa", "Efbc4ed4efc81ee4c" ], "quality": { "discovery": "customer_selection", "polarity": "customer_mapping", "writers": "observed", "condition_structure": "observed", "value_semantics": "observed", "declaration": "observed", "effect_semantics": "observed", "upstream": "partial", "unknown_reasons": { "external_input": 2 }, "reason_counting": "unique_gap_nodes_per_alarm", "temporal_state": "not_applicable", "counts": { "write_sites": 2, "guard_supported": 2, "guard_partial_or_unknown": 0, "value_supported": 2, "value_partial_or_unknown": 0, "effect_supported": 2, "effect_partial_or_unknown": 0, "assertion_paths": 1, "clearing_paths": 1, "source_true_paths": 0, "source_false_paths": 0, "unverified_paths": 0, "unconditional_clears": 0, "unconditional_false_writes": 0, "guard_feasibility_unverified": 0 }, "scope": "source_analysis_quality_only" }, "source_description": "", "branches": [ { "scenario_id": "A361f5fc133a60ad3f8b9", "write_site_id": "Wd28508dfc9bdcbb287bd", "enable_expression": "(#DriveStart AND NOT (#DriveReady))", "value_expression": "TRUE", "alternatives": [], "explanation_ko": "asserted 값 TRUE의 코드 조건: 모두 충족 [#DriveStart; 다음 조건의 부정: (#DriveReady); 내부 조건이 FALSE여야 합니다]", "explanation_en": "Code predicate for asserted, value TRUE: all required [#DriveStart; Negation of: (#DriveReady); the inner predicate must be FALSE]", "evidence_ids": [ "E3f8bca8d84b82686", "E41b1e922e1f5422d", "E54078e0dc582766d", "Efbc4ed4efc81ee4c" ] }, { "scenario_id": "Aeea4a1b699fe6f1813e4", "write_site_id": "Wf31788448f8ca318e72b", "enable_expression": "(NOT ((#DriveStart AND NOT (#DriveReady))) AND #DriveReady)", "value_expression": "FALSE", "alternatives": [], "explanation_ko": "cleared 값 FALSE의 코드 조건: 모두 충족 [다음 조건의 부정: (모두 충족 [#DriveStart; 다음 조건의 부정: (#DriveReady); 내부 조건이 FALSE여야 합니다]); 내부 조건이 FALSE여야 합니다; #DriveReady]", "explanation_en": "Code predicate for cleared, value FALSE: all required [Negation of: (all required [#DriveStart; Negation of: (#DriveReady); the inner predicate must be FALSE]); the inner predicate must be FALSE; #DriveReady]", "evidence_ids": [ "E3f8bca8d84b82686", "E54078e0dc582766d", "Ec40f0e4a0c3b8daa", "Efbc4ed4efc81ee4c" ] } ], "lifecycle": { "retention": "not_established", "clear_scenario_ids": [ "Aeea4a1b699fe6f1813e4" ], "source_false_scenario_ids": [], "acknowledge_clears": "source_link_required", "remanence": "", "priority": "source_order", "evidence_ids": [ "E41b1e922e1f5422d", "E54078e0dc582766d", "Ec40f0e4a0c3b8daa" ], "hysteresis": [], "self_feedback": [], "write_scopes": [ { "write_site_id": "Wd28508dfc9bdcbb287bd", "target": "#Alarm_DriveNotReady", "operation": "assign", "authored_block": "FB_DemoAlarms", "execution_frame": "FB_DemoAlarms", "invocation_call_ids": [], "enable_expression": "(#DriveStart AND NOT (#DriveReady))", "guard_status": "supported", "disabled_condition": "NOT ((#DriveStart AND NOT (#DriveReady)))", "disabled_effect": "no_assignment_at_this_source_writer", "other_source_write_site_ids": [ "Wf31788448f8ca318e72b" ], "final_tag_value": "unverified", "observed_execution": false, "scope": "single_source_writer_only", "evidence_ids": [ "E41b1e922e1f5422d", "E54078e0dc582766d" ] }, { "write_site_id": "Wf31788448f8ca318e72b", "target": "#Alarm_DriveNotReady", "operation": "assign", "authored_block": "FB_DemoAlarms", "execution_frame": "FB_DemoAlarms", "invocation_call_ids": [], "enable_expression": "(NOT ((#DriveStart AND NOT (#DriveReady))) AND #DriveReady)", "guard_status": "supported", "disabled_condition": "NOT ((NOT ((#DriveStart AND NOT (#DriveReady))) AND #DriveReady))", "disabled_effect": "no_assignment_at_this_source_writer", "other_source_write_site_ids": [ "Wd28508dfc9bdcbb287bd" ], "final_tag_value": "unverified", "observed_execution": false, "scope": "single_source_writer_only", "evidence_ids": [ "E54078e0dc582766d", "Ec40f0e4a0c3b8daa" ] } ] }, "control_dependencies": [], "source_alarm_ids": [], "source_messages": [], "communication_site_ids": [] }, { "id": "D1654c82c3ecfe7d13bf4", "entity_id": "e_cc73a3500598225473faa1fcacfe4c5d", "target": "FB_DemoAlarms.Alarm_HighPressure", "target_node_id": "Tfa426d69e64e218a819f", "customer_description": "교육용 예제: 압력 입력 단위는 bar, TRUE는 고압 알람 발생 상태로 정의합니다.", "trace_policy": "stop_at_cyclic_or_multiple_writers", "classification": "user_selected", "convention": "customer_mapping", "scenarios": [ { "id": "A8d21fdea59fc9bdac4e5", "write_site_id": "W3b68b315dc8ce8b62ae6", "state": "asserted", "value": "TRUE", "meaning": "고압 알람 발생", "meaning_basis": "customer_mapping", "source_meaning": null, "predicate": "(#PumpRunning AND (#PressureBar >= REAL#8.5))", "predicate_node_id": "X4fb00b13400dcfb30d86", "feasibility": "sat", "reason": "typed_snapshot_witness_only", "unknowns": [], "witness": { "fb_demoalarms::#pressurebar": "1.321941375732421875*(2**3)", "fb_demoalarms::#pumprunning": true }, "evidence_ids": [ "E1feb15da7111dcb0", "E32acdbf9f960833b", "E5f7129164a796305", "Ee356ce790e4f91e6" ], "scope": "typed_value_snapshot_only", "predicate_tree": { "op": "AND", "value": "", "children": [ { "op": "reference", "value": "#PumpRunning", "children": [], "names": [], "datatype": "" }, { "op": ">=", "value": "", "children": [ { "op": "reference", "value": "#PressureBar", "children": [], "names": [], "datatype": "" }, { "op": "literal", "value": "REAL#8.5", "children": [], "names": [], "datatype": "" } ], "names": [], "datatype": "" } ], "names": [], "datatype": "" }, "source_message_ids": [], "communication_site_ids": [] }, { "id": "Ab64771e556cb8dbfa955", "write_site_id": "Wb2cc0217cdf884ce0dfb", "state": "cleared", "value": "FALSE", "meaning": "고압 알람 해제", "meaning_basis": "customer_mapping", "source_meaning": null, "predicate": "(NOT ((#PumpRunning AND (#PressureBar >= REAL#8.5))) AND (#Reset AND (#PressureBar < REAL#7.5)))", "predicate_node_id": "Xfcfba0c1973dc4cecf00", "feasibility": "sat", "reason": "typed_snapshot_witness_only", "unknowns": [], "witness": { "fb_demoalarms::#pressurebar": "1", "fb_demoalarms::#pumprunning": true, "fb_demoalarms::#reset": true }, "evidence_ids": [ "E1061a7ff3378f6cb", "E1feb15da7111dcb0", "E32acdbf9f960833b", "Ed0ece16707ea82c9", "Ee356ce790e4f91e6" ], "scope": "typed_value_snapshot_only", "predicate_tree": { "op": "AND", "value": "", "children": [ { "op": "NOT", "value": "", "children": [ { "op": "AND", "value": "", "children": [ { "op": "reference", "value": "#PumpRunning", "children": [], "names": [], "datatype": "" }, { "op": ">=", "value": "", "children": [ { "op": "reference", "value": "#PressureBar", "children": [], "names": [], "datatype": "" }, { "op": "literal", "value": "REAL#8.5", "children": [], "names": [], "datatype": "" } ], "names": [], "datatype": "" } ], "names": [], "datatype": "" } ], "names": [], "datatype": "" }, { "op": "AND", "value": "", "children": [ { "op": "reference", "value": "#Reset", "children": [], "names": [], "datatype": "" }, { "op": "<", "value": "", "children": [ { "op": "reference", "value": "#PressureBar", "children": [], "names": [], "datatype": "" }, { "op": "literal", "value": "REAL#7.5", "children": [], "names": [], "datatype": "" } ], "names": [], "datatype": "" } ], "names": [], "datatype": "" } ], "names": [], "datatype": "" }, "source_message_ids": [], "communication_site_ids": [] } ], "direct_tag_ids": [ "T1d1695ebada9772d1455", "T4a526346188f40405740", "T4f3ad56f4900140e4e87" ], "boundary_tag_ids": [ "T1d1695ebada9772d1455", "T4a526346188f40405740", "T4f3ad56f4900140e4e87" ], "feedback_tag_ids": [], "reset_dependencies": [ { "role": "reset", "tag": "FB_DemoAlarms.Reset", "write_site_id": "Wb2cc0217cdf884ce0dfb", "in_guard": true, "in_value": false, "classification": "customer_role_source_dependency", "evidence_ids": [ "E1061a7ff3378f6cb", "Ed0ece16707ea82c9", "Ee356ce790e4f91e6" ] } ], "state_dependencies": [], "gap_node_ids": [ "T1d1695ebada9772d1455", "T4a526346188f40405740", "T4f3ad56f4900140e4e87" ], "evidence_ids": [ "E1061a7ff3378f6cb", "E1feb15da7111dcb0", "E32acdbf9f960833b", "E5f7129164a796305", "Ed0ece16707ea82c9", "Ee356ce790e4f91e6" ], "quality": { "discovery": "customer_selection", "polarity": "customer_mapping", "writers": "observed", "condition_structure": "observed", "value_semantics": "observed", "declaration": "observed", "effect_semantics": "observed", "upstream": "partial", "unknown_reasons": { "external_input": 3 }, "reason_counting": "unique_gap_nodes_per_alarm", "temporal_state": "not_applicable", "counts": { "write_sites": 2, "guard_supported": 2, "guard_partial_or_unknown": 0, "value_supported": 2, "value_partial_or_unknown": 0, "effect_supported": 2, "effect_partial_or_unknown": 0, "assertion_paths": 1, "clearing_paths": 1, "source_true_paths": 0, "source_false_paths": 0, "unverified_paths": 0, "unconditional_clears": 0, "unconditional_false_writes": 0, "guard_feasibility_unverified": 0 }, "scope": "source_analysis_quality_only" }, "source_description": "", "branches": [ { "scenario_id": "A8d21fdea59fc9bdac4e5", "write_site_id": "W3b68b315dc8ce8b62ae6", "enable_expression": "(#PumpRunning AND (#PressureBar >= REAL#8.5))", "value_expression": "TRUE", "alternatives": [], "explanation_ko": "asserted 값 TRUE의 코드 조건: 모두 충족 [#PumpRunning; (#PressureBar >= REAL#8.5)]", "explanation_en": "Code predicate for asserted, value TRUE: all required [#PumpRunning; (#PressureBar >= REAL#8.5)]", "evidence_ids": [ "E1feb15da7111dcb0", "E32acdbf9f960833b", "E5f7129164a796305", "Ee356ce790e4f91e6" ] }, { "scenario_id": "Ab64771e556cb8dbfa955", "write_site_id": "Wb2cc0217cdf884ce0dfb", "enable_expression": "(NOT ((#PumpRunning AND (#PressureBar >= REAL#8.5))) AND (#Reset AND (#PressureBar < REAL#7.5)))", "value_expression": "FALSE", "alternatives": [], "explanation_ko": "cleared 값 FALSE의 코드 조건: 모두 충족 [다음 조건의 부정: (모두 충족 [#PumpRunning; (#PressureBar >= REAL#8.5)]); 내부 조건이 FALSE여야 합니다. 피연산자의 유효성이 미확인인 부동소수점 비교는 반대 부등식으로 바꾸지 않습니다; 모두 충족 [#Reset; (#PressureBar < REAL#7.5)]]", "explanation_en": "Code predicate for cleared, value FALSE: all required [Negation of: (all required [#PumpRunning; (#PressureBar >= REAL#8.5)]); the inner predicate must be FALSE. Do not replace a floating-point comparison with its opposite inequality when operand validity is unverified; all required [#Reset; (#PressureBar < REAL#7.5)]]", "evidence_ids": [ "E1061a7ff3378f6cb", "E1feb15da7111dcb0", "E32acdbf9f960833b", "Ed0ece16707ea82c9", "Ee356ce790e4f91e6" ] } ], "lifecycle": { "retention": "not_established", "clear_scenario_ids": [ "Ab64771e556cb8dbfa955" ], "source_false_scenario_ids": [], "acknowledge_clears": "source_link_required", "remanence": "", "priority": "source_order", "evidence_ids": [ "E1061a7ff3378f6cb", "E5f7129164a796305", "Ee356ce790e4f91e6" ], "hysteresis": [ { "signal": "#PressureBar", "high_comparison": "(#PressureBar >= REAL#8.5)", "low_comparison": "(#PressureBar < REAL#7.5)", "high_guard": "(#PumpRunning AND (#PressureBar >= REAL#8.5))", "low_guard": "(NOT ((#PumpRunning AND (#PressureBar >= REAL#8.5))) AND (#Reset AND (#PressureBar < REAL#7.5)))", "high_value": "TRUE", "low_value": "FALSE", "holding_condition": "NOT (((#PumpRunning AND (#PressureBar >= REAL#8.5))) OR ((NOT ((#PumpRunning AND (#PressureBar >= REAL#8.5))) AND (#Reset AND (#PressureBar < REAL#7.5)))))", "write_site_ids": [ "W3b68b315dc8ce8b62ae6", "Wb2cc0217cdf884ce0dfb" ], "threshold_order": "requires_validation", "scope": "conditional_source_writes_only", "evidence_ids": [ "E1061a7ff3378f6cb", "E5f7129164a796305", "Ee356ce790e4f91e6" ] } ], "self_feedback": [], "write_scopes": [ { "write_site_id": "W3b68b315dc8ce8b62ae6", "target": "#Alarm_HighPressure", "operation": "assign", "authored_block": "FB_DemoAlarms", "execution_frame": "FB_DemoAlarms", "invocation_call_ids": [], "enable_expression": "(#PumpRunning AND (#PressureBar >= REAL#8.5))", "guard_status": "supported", "disabled_condition": "NOT ((#PumpRunning AND (#PressureBar >= REAL#8.5)))", "disabled_effect": "no_assignment_at_this_source_writer", "other_source_write_site_ids": [ "Wb2cc0217cdf884ce0dfb" ], "final_tag_value": "unverified", "observed_execution": false, "scope": "single_source_writer_only", "evidence_ids": [ "E5f7129164a796305", "Ee356ce790e4f91e6" ] }, { "write_site_id": "Wb2cc0217cdf884ce0dfb", "target": "#Alarm_HighPressure", "operation": "assign", "authored_block": "FB_DemoAlarms", "execution_frame": "FB_DemoAlarms", "invocation_call_ids": [], "enable_expression": "(NOT ((#PumpRunning AND (#PressureBar >= REAL#8.5))) AND (#Reset AND (#PressureBar < REAL#7.5)))", "guard_status": "supported", "disabled_condition": "NOT ((NOT ((#PumpRunning AND (#PressureBar >= REAL#8.5))) AND (#Reset AND (#PressureBar < REAL#7.5))))", "disabled_effect": "no_assignment_at_this_source_writer", "other_source_write_site_ids": [ "W3b68b315dc8ce8b62ae6" ], "final_tag_value": "unverified", "observed_execution": false, "scope": "single_source_writer_only", "evidence_ids": [ "E1061a7ff3378f6cb", "Ee356ce790e4f91e6" ] } ] }, "control_dependencies": [], "source_alarm_ids": [], "source_messages": [], "communication_site_ids": [] }, { "id": "D72d96e965f1e013022d4", "entity_id": "e_f29f3fb979d0a30d8777fb831e56ca72", "target": "FB_DemoAlarms.Alarm_SensorFault", "target_node_id": "T82e96ec094f303ab069e", "customer_description": "교육용 예제: SensorStatus=0은 정상, 0이 아닌 상태는 이상으로 명시한 예제 정의입니다.", "trace_policy": "stop_at_cyclic_or_multiple_writers", "classification": "user_selected", "convention": "customer_mapping", "scenarios": [ { "id": "A65890efb8e7b02406f88", "write_site_id": "W36437bc80df2f485115b", "state": "asserted", "value": "TRUE", "meaning": "센서 상태 이상 알람 발생", "meaning_basis": "customer_mapping", "source_meaning": null, "predicate": "(#SensorStatus <> WORD#0)", "predicate_node_id": "X812579b0082ee5e4bff4", "feasibility": "sat", "reason": "typed_snapshot_witness_only", "unknowns": [], "witness": { "fb_demoalarms::#sensorstatus": "1" }, "evidence_ids": [ "E1539a1628ca2bf7a", "Ebfbd0dde45a4ab58", "Ee23fe8b403ced5c8" ], "scope": "typed_value_snapshot_only", "predicate_tree": { "op": "<>", "value": "", "children": [ { "op": "reference", "value": "#SensorStatus", "children": [], "names": [], "datatype": "" }, { "op": "literal", "value": "WORD#0", "children": [], "names": [], "datatype": "" } ], "names": [], "datatype": "" }, "source_message_ids": [], "communication_site_ids": [] }, { "id": "A60e2777bee8f301eae8e", "write_site_id": "Wf138b1e9a49f7411626d", "state": "cleared", "value": "FALSE", "meaning": "센서 상태 이상 알람 해제", "meaning_basis": "customer_mapping", "source_meaning": null, "predicate": "(NOT ((#SensorStatus <> WORD#0)) AND (#Reset AND (#SensorStatus = WORD#0)))", "predicate_node_id": "X8bf916d50e8d6d4c1f27", "feasibility": "sat", "reason": "typed_snapshot_witness_only", "unknowns": [], "witness": { "fb_demoalarms::#reset": true, "fb_demoalarms::#sensorstatus": "0" }, "evidence_ids": [ "E1539a1628ca2bf7a", "E3d3fae6c35a3e08d", "Ed0ece16707ea82c9", "Ee23fe8b403ced5c8" ], "scope": "typed_value_snapshot_only", "predicate_tree": { "op": "AND", "value": "", "children": [ { "op": "NOT", "value": "", "children": [ { "op": "<>", "value": "", "children": [ { "op": "reference", "value": "#SensorStatus", "children": [], "names": [], "datatype": "" }, { "op": "literal", "value": "WORD#0", "children": [], "names": [], "datatype": "" } ], "names": [], "datatype": "" } ], "names": [], "datatype": "" }, { "op": "AND", "value": "", "children": [ { "op": "reference", "value": "#Reset", "children": [], "names": [], "datatype": "" }, { "op": "=", "value": "", "children": [ { "op": "reference", "value": "#SensorStatus", "children": [], "names": [], "datatype": "" }, { "op": "literal", "value": "WORD#0", "children": [], "names": [], "datatype": "" } ], "names": [], "datatype": "" } ], "names": [], "datatype": "" } ], "names": [], "datatype": "" }, "source_message_ids": [], "communication_site_ids": [] } ], "direct_tag_ids": [ "T0b96a0eac92d5522ccd9", "T4f3ad56f4900140e4e87" ], "boundary_tag_ids": [ "T0b96a0eac92d5522ccd9", "T4f3ad56f4900140e4e87" ], "feedback_tag_ids": [], "reset_dependencies": [ { "role": "reset", "tag": "FB_DemoAlarms.Reset", "write_site_id": "Wf138b1e9a49f7411626d", "in_guard": true, "in_value": false, "classification": "customer_role_source_dependency", "evidence_ids": [ "E1539a1628ca2bf7a", "E3d3fae6c35a3e08d", "Ed0ece16707ea82c9" ] } ], "state_dependencies": [], "gap_node_ids": [ "T0b96a0eac92d5522ccd9", "T4f3ad56f4900140e4e87" ], "evidence_ids": [ "E1539a1628ca2bf7a", "E3d3fae6c35a3e08d", "Ebfbd0dde45a4ab58", "Ed0ece16707ea82c9", "Ee23fe8b403ced5c8" ], "quality": { "discovery": "customer_selection", "polarity": "customer_mapping", "writers": "observed", "condition_structure": "observed", "value_semantics": "observed", "declaration": "observed", "effect_semantics": "observed", "upstream": "partial", "unknown_reasons": { "external_input": 2 }, "reason_counting": "unique_gap_nodes_per_alarm", "temporal_state": "not_applicable", "counts": { "write_sites": 2, "guard_supported": 2, "guard_partial_or_unknown": 0, "value_supported": 2, "value_partial_or_unknown": 0, "effect_supported": 2, "effect_partial_or_unknown": 0, "assertion_paths": 1, "clearing_paths": 1, "source_true_paths": 0, "source_false_paths": 0, "unverified_paths": 0, "unconditional_clears": 0, "unconditional_false_writes": 0, "guard_feasibility_unverified": 0 }, "scope": "source_analysis_quality_only" }, "source_description": "", "branches": [ { "scenario_id": "A65890efb8e7b02406f88", "write_site_id": "W36437bc80df2f485115b", "enable_expression": "(#SensorStatus <> WORD#0)", "value_expression": "TRUE", "alternatives": [], "explanation_ko": "asserted 값 TRUE의 코드 조건: (#SensorStatus <> WORD#0)", "explanation_en": "Code predicate for asserted, value TRUE: (#SensorStatus <> WORD#0)", "evidence_ids": [ "E1539a1628ca2bf7a", "Ebfbd0dde45a4ab58", "Ee23fe8b403ced5c8" ] }, { "scenario_id": "A60e2777bee8f301eae8e", "write_site_id": "Wf138b1e9a49f7411626d", "enable_expression": "(NOT ((#SensorStatus <> WORD#0)) AND (#Reset AND (#SensorStatus = WORD#0)))", "value_expression": "FALSE", "alternatives": [], "explanation_ko": "cleared 값 FALSE의 코드 조건: 모두 충족 [다음 조건의 부정: ((#SensorStatus <> WORD#0)); 내부 조건이 FALSE여야 합니다; 모두 충족 [#Reset; (#SensorStatus = WORD#0)]]", "explanation_en": "Code predicate for cleared, value FALSE: all required [Negation of: ((#SensorStatus <> WORD#0)); the inner predicate must be FALSE; all required [#Reset; (#SensorStatus = WORD#0)]]", "evidence_ids": [ "E1539a1628ca2bf7a", "E3d3fae6c35a3e08d", "Ed0ece16707ea82c9", "Ee23fe8b403ced5c8" ] } ], "lifecycle": { "retention": "not_established", "clear_scenario_ids": [ "A60e2777bee8f301eae8e" ], "source_false_scenario_ids": [], "acknowledge_clears": "source_link_required", "remanence": "", "priority": "source_order", "evidence_ids": [ "E1539a1628ca2bf7a", "E3d3fae6c35a3e08d", "Ebfbd0dde45a4ab58" ], "hysteresis": [], "self_feedback": [], "write_scopes": [ { "write_site_id": "W36437bc80df2f485115b", "target": "#Alarm_SensorFault", "operation": "assign", "authored_block": "FB_DemoAlarms", "execution_frame": "FB_DemoAlarms", "invocation_call_ids": [], "enable_expression": "(#SensorStatus <> WORD#0)", "guard_status": "supported", "disabled_condition": "NOT ((#SensorStatus <> WORD#0))", "disabled_effect": "no_assignment_at_this_source_writer", "other_source_write_site_ids": [ "Wf138b1e9a49f7411626d" ], "final_tag_value": "unverified", "observed_execution": false, "scope": "single_source_writer_only", "evidence_ids": [ "E1539a1628ca2bf7a", "Ebfbd0dde45a4ab58" ] }, { "write_site_id": "Wf138b1e9a49f7411626d", "target": "#Alarm_SensorFault", "operation": "assign", "authored_block": "FB_DemoAlarms", "execution_frame": "FB_DemoAlarms", "invocation_call_ids": [], "enable_expression": "(NOT ((#SensorStatus <> WORD#0)) AND (#Reset AND (#SensorStatus = WORD#0)))", "guard_status": "supported", "disabled_condition": "NOT ((NOT ((#SensorStatus <> WORD#0)) AND (#Reset AND (#SensorStatus = WORD#0))))", "disabled_effect": "no_assignment_at_this_source_writer", "other_source_write_site_ids": [ "W36437bc80df2f485115b" ], "final_tag_value": "unverified", "observed_execution": false, "scope": "single_source_writer_only", "evidence_ids": [ "E1539a1628ca2bf7a", "E3d3fae6c35a3e08d" ] } ] }, "control_dependencies": [], "source_alarm_ids": [], "source_messages": [], "communication_site_ids": [] } ], "nodes": [ { "id": "T026b47688a12b5b3665a", "kind": "tag", "label": "FB_DemoAlarms.DriveStart", "datatype": "BOOL", "boundary": "program_input", "constant_value": null, "call_path": [], "evidence_ids": [ "Efbc4ed4efc81ee4c" ], "source_description": "", "unit": "", "remanence": "" }, { "id": "T0b96a0eac92d5522ccd9", "kind": "tag", "label": "FB_DemoAlarms.SensorStatus", "datatype": "WORD", "boundary": "program_input", "constant_value": null, "call_path": [], "evidence_ids": [ "Ee23fe8b403ced5c8" ], "source_description": "", "unit": "", "remanence": "" }, { "id": "T1d1695ebada9772d1455", "kind": "tag", "label": "FB_DemoAlarms.PressureBar", "datatype": "REAL", "boundary": "program_input", "constant_value": null, "call_path": [], "evidence_ids": [ "E1feb15da7111dcb0" ], "source_description": "", "unit": "", "remanence": "" }, { "id": "T4a526346188f40405740", "kind": "tag", "label": "FB_DemoAlarms.PumpRunning", "datatype": "BOOL", "boundary": "program_input", "constant_value": null, "call_path": [], "evidence_ids": [ "E32acdbf9f960833b" ], "source_description": "", "unit": "", "remanence": "" }, { "id": "T4f3ad56f4900140e4e87", "kind": "tag", "label": "FB_DemoAlarms.Reset", "datatype": "BOOL", "boundary": "program_input", "constant_value": null, "call_path": [], "evidence_ids": [ "Ed0ece16707ea82c9" ], "source_description": "", "unit": "", "remanence": "" }, { "id": "T722884e3d99af0e855fe", "kind": "tag", "label": "FB_DemoAlarms.DriveReady", "datatype": "BOOL", "boundary": "program_input", "constant_value": null, "call_path": [], "evidence_ids": [ "E3f8bca8d84b82686" ], "source_description": "", "unit": "", "remanence": "" }, { "id": "T82e96ec094f303ab069e", "kind": "tag", "label": "FB_DemoAlarms.Alarm_SensorFault", "datatype": "BOOL", "boundary": "multiple_source_writers", "constant_value": null, "call_path": [], "evidence_ids": [ "E1539a1628ca2bf7a" ], "source_description": "", "unit": "", "remanence": "" }, { "id": "Tc5d9a2c1dc8dab33294c", "kind": "tag", "label": "FB_DemoAlarms.Alarm_DriveNotReady", "datatype": "BOOL", "boundary": "multiple_source_writers", "constant_value": null, "call_path": [], "evidence_ids": [ "E54078e0dc582766d" ], "source_description": "", "unit": "", "remanence": "" }, { "id": "Tfa426d69e64e218a819f", "kind": "tag", "label": "FB_DemoAlarms.Alarm_HighPressure", "datatype": "BOOL", "boundary": "multiple_source_writers", "constant_value": null, "call_path": [], "evidence_ids": [ "Ee356ce790e4f91e6" ], "source_description": "", "unit": "", "remanence": "" }, { "id": "W36437bc80df2f485115b", "kind": "write", "label": "FB_DemoAlarms.Alarm_SensorFault", "datatype": "BOOL", "boundary": "", "constant_value": null, "call_path": [ "FB_DemoAlarms" ], "evidence_ids": [ "E1539a1628ca2bf7a", "Ebfbd0dde45a4ab58" ], "source_description": "", "unit": "", "remanence": "" }, { "id": "W3b68b315dc8ce8b62ae6", "kind": "write", "label": "FB_DemoAlarms.Alarm_HighPressure", "datatype": "BOOL", "boundary": "", "constant_value": null, "call_path": [ "FB_DemoAlarms" ], "evidence_ids": [ "E5f7129164a796305", "Ee356ce790e4f91e6" ], "source_description": "", "unit": "", "remanence": "" }, { "id": "Wb2cc0217cdf884ce0dfb", "kind": "write", "label": "FB_DemoAlarms.Alarm_HighPressure", "datatype": "BOOL", "boundary": "", "constant_value": null, "call_path": [ "FB_DemoAlarms" ], "evidence_ids": [ "E1061a7ff3378f6cb", "Ee356ce790e4f91e6" ], "source_description": "", "unit": "", "remanence": "" }, { "id": "Wd28508dfc9bdcbb287bd", "kind": "write", "label": "FB_DemoAlarms.Alarm_DriveNotReady", "datatype": "BOOL", "boundary": "", "constant_value": null, "call_path": [ "FB_DemoAlarms" ], "evidence_ids": [ "E41b1e922e1f5422d", "E54078e0dc582766d" ], "source_description": "", "unit": "", "remanence": "" }, { "id": "Wf138b1e9a49f7411626d", "kind": "write", "label": "FB_DemoAlarms.Alarm_SensorFault", "datatype": "BOOL", "boundary": "", "constant_value": null, "call_path": [ "FB_DemoAlarms" ], "evidence_ids": [ "E1539a1628ca2bf7a", "E3d3fae6c35a3e08d" ], "source_description": "", "unit": "", "remanence": "" }, { "id": "Wf31788448f8ca318e72b", "kind": "write", "label": "FB_DemoAlarms.Alarm_DriveNotReady", "datatype": "BOOL", "boundary": "", "constant_value": null, "call_path": [ "FB_DemoAlarms" ], "evidence_ids": [ "E54078e0dc582766d", "Ec40f0e4a0c3b8daa" ], "source_description": "", "unit": "", "remanence": "" }, { "id": "X070fd659670c166ff0b5", "kind": "operator", "label": "AND", "datatype": "", "boundary": "", "constant_value": null, "call_path": [], "evidence_ids": [], "source_description": "", "unit": "", "remanence": "" }, { "id": "X281d057c8fad45bfd5df", "kind": "operator", "label": "<", "datatype": "", "boundary": "", "constant_value": null, "call_path": [], "evidence_ids": [], "source_description": "", "unit": "", "remanence": "" }, { "id": "X371fe0464911716d35ca", "kind": "operator", "label": "AND", "datatype": "", "boundary": "", "constant_value": null, "call_path": [], "evidence_ids": [], "source_description": "", "unit": "", "remanence": "" }, { "id": "X4fb00b13400dcfb30d86", "kind": "operator", "label": "AND", "datatype": "", "boundary": "", "constant_value": null, "call_path": [], "evidence_ids": [], "source_description": "", "unit": "", "remanence": "" }, { "id": "X54292fc209d7234914ac", "kind": "literal", "label": "TRUE", "datatype": "", "boundary": "", "constant_value": null, "call_path": [], "evidence_ids": [], "source_description": "", "unit": "", "remanence": "" }, { "id": "X5ec42eb2300178744b4a", "kind": "operator", "label": "=", "datatype": "", "boundary": "", "constant_value": null, "call_path": [], "evidence_ids": [], "source_description": "", "unit": "", "remanence": "" }, { "id": "X64a5598c047799564d2f", "kind": "operator", "label": "AND", "datatype": "", "boundary": "", "constant_value": null, "call_path": [], "evidence_ids": [], "source_description": "", "unit": "", "remanence": "" }, { "id": "X65cafb1d02e4a673c9c9", "kind": "operator", "label": "AND", "datatype": "", "boundary": "", "constant_value": null, "call_path": [], "evidence_ids": [], "source_description": "", "unit": "", "remanence": "" }, { "id": "X6b37828416d2711594f1", "kind": "operator", "label": "<>", "datatype": "", "boundary": "", "constant_value": null, "call_path": [], "evidence_ids": [], "source_description": "", "unit": "", "remanence": "" }, { "id": "X778ff5a6eef8041ad9ef", "kind": "operator", "label": "NOT", "datatype": "", "boundary": "", "constant_value": null, "call_path": [], "evidence_ids": [], "source_description": "", "unit": "", "remanence": "" }, { "id": "X7842de9d089e74dd031d", "kind": "operator", "label": "NOT", "datatype": "", "boundary": "", "constant_value": null, "call_path": [], "evidence_ids": [], "source_description": "", "unit": "", "remanence": "" }, { "id": "X80a0b03c76c687f3f567", "kind": "operator", "label": "AND", "datatype": "", "boundary": "", "constant_value": null, "call_path": [], "evidence_ids": [], "source_description": "", "unit": "", "remanence": "" }, { "id": "X812579b0082ee5e4bff4", "kind": "operator", "label": "<>", "datatype": "", "boundary": "", "constant_value": null, "call_path": [], "evidence_ids": [], "source_description": "", "unit": "", "remanence": "" }, { "id": "X8bf916d50e8d6d4c1f27", "kind": "operator", "label": "AND", "datatype": "", "boundary": "", "constant_value": null, "call_path": [], "evidence_ids": [], "source_description": "", "unit": "", "remanence": "" }, { "id": "X8f418c0c2f44c48db842", "kind": "operator", "label": "AND", "datatype": "", "boundary": "", "constant_value": null, "call_path": [], "evidence_ids": [], "source_description": "", "unit": "", "remanence": "" }, { "id": "X8f61a53f0731074795f5", "kind": "operator", "label": "AND", "datatype": "", "boundary": "", "constant_value": null, "call_path": [], "evidence_ids": [], "source_description": "", "unit": "", "remanence": "" }, { "id": "X9198cbb17571a6d08b00", "kind": "operator", "label": "NOT", "datatype": "", "boundary": "", "constant_value": null, "call_path": [], "evidence_ids": [], "source_description": "", "unit": "", "remanence": "" }, { "id": "X938e6ac5625629b3ca1d", "kind": "operator", "label": ">=", "datatype": "", "boundary": "", "constant_value": null, "call_path": [], "evidence_ids": [], "source_description": "", "unit": "", "remanence": "" }, { "id": "X9b410981ec50a05d1943", "kind": "operator", "label": "AND", "datatype": "", "boundary": "", "constant_value": null, "call_path": [], "evidence_ids": [], "source_description": "", "unit": "", "remanence": "" }, { "id": "X9d7c2bd8fcac75271f58", "kind": "literal", "label": "REAL#8.5", "datatype": "", "boundary": "", "constant_value": null, "call_path": [], "evidence_ids": [], "source_description": "", "unit": "", "remanence": "" }, { "id": "X9e32f66b958fd07579e4", "kind": "operator", "label": "=", "datatype": "", "boundary": "", "constant_value": null, "call_path": [], "evidence_ids": [], "source_description": "", "unit": "", "remanence": "" }, { "id": "Xab1ff7360597e93c9163", "kind": "operator", "label": "NOT", "datatype": "", "boundary": "", "constant_value": null, "call_path": [], "evidence_ids": [], "source_description": "", "unit": "", "remanence": "" }, { "id": "Xbf5d3147d8e53b15c2d9", "kind": "operator", "label": "<", "datatype": "", "boundary": "", "constant_value": null, "call_path": [], "evidence_ids": [], "source_description": "", "unit": "", "remanence": "" }, { "id": "Xc15564a4c312ecdd67ce", "kind": "literal", "label": "REAL#8.5", "datatype": "", "boundary": "", "constant_value": null, "call_path": [], "evidence_ids": [], "source_description": "", "unit": "", "remanence": "" }, { "id": "Xcd033dd160c8378511e5", "kind": "literal", "label": "REAL#7.5", "datatype": "", "boundary": "", "constant_value": null, "call_path": [], "evidence_ids": [], "source_description": "", "unit": "", "remanence": "" }, { "id": "Xcd59c47f8f311cab7ab2", "kind": "literal", "label": "FALSE", "datatype": "", "boundary": "", "constant_value": null, "call_path": [], "evidence_ids": [], "source_description": "", "unit": "", "remanence": "" }, { "id": "Xcf567795c41c82352094", "kind": "operator", "label": "NOT", "datatype": "", "boundary": "", "constant_value": null, "call_path": [], "evidence_ids": [], "source_description": "", "unit": "", "remanence": "" }, { "id": "Xd7a2f118785ea48752db", "kind": "literal", "label": "WORD#0", "datatype": "", "boundary": "", "constant_value": null, "call_path": [], "evidence_ids": [], "source_description": "", "unit": "", "remanence": "" }, { "id": "Xe46ce4759cc903efdaa8", "kind": "operator", "label": "AND", "datatype": "", "boundary": "", "constant_value": null, "call_path": [], "evidence_ids": [], "source_description": "", "unit": "", "remanence": "" }, { "id": "Xe46f448b4b3cd47df921", "kind": "literal", "label": "WORD#0", "datatype": "", "boundary": "", "constant_value": null, "call_path": [], "evidence_ids": [], "source_description": "", "unit": "", "remanence": "" }, { "id": "Xe4d821299445a1479893", "kind": "operator", "label": "NOT", "datatype": "", "boundary": "", "constant_value": null, "call_path": [], "evidence_ids": [], "source_description": "", "unit": "", "remanence": "" }, { "id": "Xe945844fad6f88998d1a", "kind": "operator", "label": ">=", "datatype": "", "boundary": "", "constant_value": null, "call_path": [], "evidence_ids": [], "source_description": "", "unit": "", "remanence": "" }, { "id": "Xe96371203eb76ff4c0df", "kind": "operator", "label": "NOT", "datatype": "", "boundary": "", "constant_value": null, "call_path": [], "evidence_ids": [], "source_description": "", "unit": "", "remanence": "" }, { "id": "Xf42a0d8c058cf66dd59e", "kind": "operator", "label": "AND", "datatype": "", "boundary": "", "constant_value": null, "call_path": [], "evidence_ids": [], "source_description": "", "unit": "", "remanence": "" }, { "id": "Xf500e7001d91fd141492", "kind": "literal", "label": "REAL#7.5", "datatype": "", "boundary": "", "constant_value": null, "call_path": [], "evidence_ids": [], "source_description": "", "unit": "", "remanence": "" }, { "id": "Xf61d455c3bd142e91279", "kind": "operator", "label": "NOT", "datatype": "", "boundary": "", "constant_value": null, "call_path": [], "evidence_ids": [], "source_description": "", "unit": "", "remanence": "" }, { "id": "Xf70130b056611b83c3a0", "kind": "operator", "label": "AND", "datatype": "", "boundary": "", "constant_value": null, "call_path": [], "evidence_ids": [], "source_description": "", "unit": "", "remanence": "" }, { "id": "Xfcfba0c1973dc4cecf00", "kind": "operator", "label": "AND", "datatype": "", "boundary": "", "constant_value": null, "call_path": [], "evidence_ids": [], "source_description": "", "unit": "", "remanence": "" } ], "edges": [ { "id": "D00b8012dbc5cd28efab4", "source_id": "W3b68b315dc8ce8b62ae6", "target_id": "X8f61a53f0731074795f5", "relation": "source_guard", "position": 0, "argument": "", "evidence_ids": [ "E5f7129164a796305" ] }, { "id": "D07ae75a2bd2be6bd2eb8", "source_id": "X6b37828416d2711594f1", "target_id": "Xd7a2f118785ea48752db", "relation": "operand", "position": 1, "argument": "", "evidence_ids": [ "E1539a1628ca2bf7a", "Ebfbd0dde45a4ab58" ] }, { "id": "D07f6eb23b562e77217ae", "source_id": "Xbf5d3147d8e53b15c2d9", "target_id": "Xcd033dd160c8378511e5", "relation": "operand", "position": 1, "argument": "", "evidence_ids": [ "E1061a7ff3378f6cb", "Ee356ce790e4f91e6" ] }, { "id": "D0bab10b73c77d4e40e16", "source_id": "X6b37828416d2711594f1", "target_id": "T0b96a0eac92d5522ccd9", "relation": "operand", "position": 0, "argument": "", "evidence_ids": [ "E1539a1628ca2bf7a", "Ebfbd0dde45a4ab58" ] }, { "id": "D153d6da5c46401367211", "source_id": "Wf31788448f8ca318e72b", "target_id": "Xcd59c47f8f311cab7ab2", "relation": "value", "position": 0, "argument": "", "evidence_ids": [ "E54078e0dc582766d", "Ec40f0e4a0c3b8daa" ] }, { "id": "D20856e0914e210bff49c", "source_id": "Xf42a0d8c058cf66dd59e", "target_id": "X7842de9d089e74dd031d", "relation": "operand", "position": 0, "argument": "", "evidence_ids": [ "E1539a1628ca2bf7a", "E3d3fae6c35a3e08d" ] }, { "id": "D22002eb44c6dad8a571f", "source_id": "Wb2cc0217cdf884ce0dfb", "target_id": "X65cafb1d02e4a673c9c9", "relation": "source_guard", "position": 0, "argument": "", "evidence_ids": [ "E1061a7ff3378f6cb" ] }, { "id": "D2546667593483bf23a06", "source_id": "W36437bc80df2f485115b", "target_id": "X812579b0082ee5e4bff4", "relation": "guard", "position": 0, "argument": "", "evidence_ids": [ "E1539a1628ca2bf7a", "Ebfbd0dde45a4ab58" ] }, { "id": "D2a4b22f7071970864ea6", "source_id": "Wf138b1e9a49f7411626d", "target_id": "Xf42a0d8c058cf66dd59e", "relation": "source_guard", "position": 0, "argument": "", "evidence_ids": [ "E3d3fae6c35a3e08d" ] }, { "id": "D2ab125dccd7380291565", "source_id": "Tc5d9a2c1dc8dab33294c", "target_id": "Wf31788448f8ca318e72b", "relation": "possible_writer", "position": 0, "argument": "", "evidence_ids": [ "E54078e0dc582766d", "Ec40f0e4a0c3b8daa" ] }, { "id": "D2d2059d8c4a2ef8eee24", "source_id": "Xe46ce4759cc903efdaa8", "target_id": "T4f3ad56f4900140e4e87", "relation": "operand", "position": 0, "argument": "", "evidence_ids": [ "E1539a1628ca2bf7a", "E3d3fae6c35a3e08d" ] }, { "id": "D2e9911a16b4ec9bf553c", "source_id": "X371fe0464911716d35ca", "target_id": "T4f3ad56f4900140e4e87", "relation": "operand", "position": 0, "argument": "", "evidence_ids": [ "E1061a7ff3378f6cb", "Ee356ce790e4f91e6" ] }, { "id": "D302d8d74f6bcd79f25bf", "source_id": "X8f61a53f0731074795f5", "target_id": "T4a526346188f40405740", "relation": "operand", "position": 0, "argument": "", "evidence_ids": [ "E5f7129164a796305", "Ee356ce790e4f91e6" ] }, { "id": "D33b7adadbb3679250044", "source_id": "Wf138b1e9a49f7411626d", "target_id": "X8bf916d50e8d6d4c1f27", "relation": "guard", "position": 0, "argument": "", "evidence_ids": [ "E1539a1628ca2bf7a", "E3d3fae6c35a3e08d" ] }, { "id": "D3df4c4093994a92680f4", "source_id": "X5ec42eb2300178744b4a", "target_id": "Xd7a2f118785ea48752db", "relation": "operand", "position": 1, "argument": "", "evidence_ids": [ "E1539a1628ca2bf7a", "E3d3fae6c35a3e08d" ] }, { "id": "D41624206ca3dd9c7f27c", "source_id": "X9e32f66b958fd07579e4", "target_id": "T0b96a0eac92d5522ccd9", "relation": "operand", "position": 0, "argument": "", "evidence_ids": [ "E1539a1628ca2bf7a", "E3d3fae6c35a3e08d" ] }, { "id": "D420f3fb29d74b9e79fc9", "source_id": "X9b410981ec50a05d1943", "target_id": "X9198cbb17571a6d08b00", "relation": "operand", "position": 0, "argument": "", "evidence_ids": [ "E54078e0dc582766d", "Ec40f0e4a0c3b8daa" ] }, { "id": "D49a4a0e09283b665c67d", "source_id": "X070fd659670c166ff0b5", "target_id": "Xe96371203eb76ff4c0df", "relation": "operand", "position": 0, "argument": "", "evidence_ids": [ "E54078e0dc582766d", "Ec40f0e4a0c3b8daa" ] }, { "id": "D4c433ac452fcaaba1278", "source_id": "Xfcfba0c1973dc4cecf00", "target_id": "Xf70130b056611b83c3a0", "relation": "operand", "position": 1, "argument": "", "evidence_ids": [ "E1061a7ff3378f6cb", "Ee356ce790e4f91e6" ] }, { "id": "D4caa01e607595323a0c3", "source_id": "X371fe0464911716d35ca", "target_id": "Xbf5d3147d8e53b15c2d9", "relation": "operand", "position": 1, "argument": "", "evidence_ids": [ "E1061a7ff3378f6cb", "Ee356ce790e4f91e6" ] }, { "id": "D52be878b16ab901b3906", "source_id": "Xab1ff7360597e93c9163", "target_id": "T722884e3d99af0e855fe", "relation": "operand", "position": 0, "argument": "", "evidence_ids": [ "E41b1e922e1f5422d", "E54078e0dc582766d" ] }, { "id": "D53e83b32781a78e4d8e5", "source_id": "T82e96ec094f303ab069e", "target_id": "Wf138b1e9a49f7411626d", "relation": "possible_writer", "position": 0, "argument": "", "evidence_ids": [ "E1539a1628ca2bf7a", "E3d3fae6c35a3e08d" ] }, { "id": "D546727c2721c02b815ad", "source_id": "Wd28508dfc9bdcbb287bd", "target_id": "X8f418c0c2f44c48db842", "relation": "source_guard", "position": 0, "argument": "", "evidence_ids": [ "E41b1e922e1f5422d" ] }, { "id": "D56eb2909b6e4935fc534", "source_id": "Wb2cc0217cdf884ce0dfb", "target_id": "Xfcfba0c1973dc4cecf00", "relation": "guard", "position": 0, "argument": "", "evidence_ids": [ "E1061a7ff3378f6cb", "Ee356ce790e4f91e6" ] }, { "id": "D574f7b34358fc377f201", "source_id": "X812579b0082ee5e4bff4", "target_id": "T0b96a0eac92d5522ccd9", "relation": "operand", "position": 0, "argument": "", "evidence_ids": [ "E1539a1628ca2bf7a", "Ebfbd0dde45a4ab58" ] }, { "id": "D5c719da1ceb2f53bdbc9", "source_id": "X938e6ac5625629b3ca1d", "target_id": "T1d1695ebada9772d1455", "relation": "operand", "position": 0, "argument": "", "evidence_ids": [ "E5f7129164a796305", "Ee356ce790e4f91e6" ] }, { "id": "D62f8026843962e75d97b", "source_id": "Xe46ce4759cc903efdaa8", "target_id": "X5ec42eb2300178744b4a", "relation": "operand", "position": 1, "argument": "", "evidence_ids": [ "E1539a1628ca2bf7a", "E3d3fae6c35a3e08d" ] }, { "id": "D64f64cd549913ed9abb0", "source_id": "X9e32f66b958fd07579e4", "target_id": "Xe46f448b4b3cd47df921", "relation": "operand", "position": 1, "argument": "", "evidence_ids": [ "E1539a1628ca2bf7a", "E3d3fae6c35a3e08d" ] }, { "id": "D669e02438c7ecd740784", "source_id": "X5ec42eb2300178744b4a", "target_id": "T0b96a0eac92d5522ccd9", "relation": "operand", "position": 0, "argument": "", "evidence_ids": [ "E1539a1628ca2bf7a", "E3d3fae6c35a3e08d" ] }, { "id": "D672e50cf9f7bd8d8306b", "source_id": "X80a0b03c76c687f3f567", "target_id": "T4f3ad56f4900140e4e87", "relation": "operand", "position": 0, "argument": "", "evidence_ids": [ "E1539a1628ca2bf7a", "E3d3fae6c35a3e08d" ] }, { "id": "D6a34899f4061cddb23dd", "source_id": "Wf31788448f8ca318e72b", "target_id": "X9b410981ec50a05d1943", "relation": "source_guard", "position": 0, "argument": "", "evidence_ids": [ "Ec40f0e4a0c3b8daa" ] }, { "id": "D707b6e1ec6e522e047af", "source_id": "Wd28508dfc9bdcbb287bd", "target_id": "X64a5598c047799564d2f", "relation": "guard", "position": 0, "argument": "", "evidence_ids": [ "E41b1e922e1f5422d", "E54078e0dc582766d" ] }, { "id": "D75cbdcd3479d1f276ae1", "source_id": "Wf31788448f8ca318e72b", "target_id": "X070fd659670c166ff0b5", "relation": "guard", "position": 0, "argument": "", "evidence_ids": [ "E54078e0dc582766d", "Ec40f0e4a0c3b8daa" ] }, { "id": "D7621c05714c63aba0d9e", "source_id": "W36437bc80df2f485115b", "target_id": "X54292fc209d7234914ac", "relation": "value", "position": 0, "argument": "", "evidence_ids": [ "E1539a1628ca2bf7a", "Ebfbd0dde45a4ab58" ] }, { "id": "D784517bffde40aa9d6ad", "source_id": "X9b410981ec50a05d1943", "target_id": "T722884e3d99af0e855fe", "relation": "operand", "position": 1, "argument": "", "evidence_ids": [ "E54078e0dc582766d", "Ec40f0e4a0c3b8daa" ] }, { "id": "D792bf657e7fbb08308bd", "source_id": "X281d057c8fad45bfd5df", "target_id": "T1d1695ebada9772d1455", "relation": "operand", "position": 0, "argument": "", "evidence_ids": [ "E1061a7ff3378f6cb", "Ee356ce790e4f91e6" ] }, { "id": "D7c7b2c63a763d59d02d4", "source_id": "X8f418c0c2f44c48db842", "target_id": "Xab1ff7360597e93c9163", "relation": "operand", "position": 1, "argument": "", "evidence_ids": [ "E41b1e922e1f5422d", "E54078e0dc582766d" ] }, { "id": "D83f08a6b1aecca94669a", "source_id": "X9198cbb17571a6d08b00", "target_id": "X8f418c0c2f44c48db842", "relation": "operand", "position": 0, "argument": "", "evidence_ids": [ "E54078e0dc582766d", "Ec40f0e4a0c3b8daa" ] }, { "id": "D852095f01e5a92079d95", "source_id": "W3b68b315dc8ce8b62ae6", "target_id": "X54292fc209d7234914ac", "relation": "value", "position": 0, "argument": "", "evidence_ids": [ "E5f7129164a796305", "Ee356ce790e4f91e6" ] }, { "id": "D85e3c3af4ca24c4b34fc", "source_id": "Xf42a0d8c058cf66dd59e", "target_id": "Xe46ce4759cc903efdaa8", "relation": "operand", "position": 1, "argument": "", "evidence_ids": [ "E1539a1628ca2bf7a", "E3d3fae6c35a3e08d" ] }, { "id": "D863f84d77da510c1acd0", "source_id": "X8bf916d50e8d6d4c1f27", "target_id": "X80a0b03c76c687f3f567", "relation": "operand", "position": 1, "argument": "", "evidence_ids": [ "E1539a1628ca2bf7a", "E3d3fae6c35a3e08d" ] }, { "id": "D8819cb6375a53def0dd9", "source_id": "Xf61d455c3bd142e91279", "target_id": "X8f61a53f0731074795f5", "relation": "operand", "position": 0, "argument": "", "evidence_ids": [ "E1061a7ff3378f6cb", "Ee356ce790e4f91e6" ] }, { "id": "D8d2a63ea294180987261", "source_id": "X4fb00b13400dcfb30d86", "target_id": "Xe945844fad6f88998d1a", "relation": "operand", "position": 1, "argument": "", "evidence_ids": [ "E5f7129164a796305", "Ee356ce790e4f91e6" ] }, { "id": "D93bb14a15525100548ca", "source_id": "Tfa426d69e64e218a819f", "target_id": "Wb2cc0217cdf884ce0dfb", "relation": "possible_writer", "position": 0, "argument": "", "evidence_ids": [ "E1061a7ff3378f6cb", "Ee356ce790e4f91e6" ] }, { "id": "D95faaea069a8bc1baf3b", "source_id": "Xe945844fad6f88998d1a", "target_id": "X9d7c2bd8fcac75271f58", "relation": "operand", "position": 1, "argument": "", "evidence_ids": [ "E5f7129164a796305", "Ee356ce790e4f91e6" ] }, { "id": "D991848a113fc3ad96f34", "source_id": "Wb2cc0217cdf884ce0dfb", "target_id": "Xcd59c47f8f311cab7ab2", "relation": "value", "position": 0, "argument": "", "evidence_ids": [ "E1061a7ff3378f6cb", "Ee356ce790e4f91e6" ] }, { "id": "D9aaf4ff4f0d7f6051f47", "source_id": "Tc5d9a2c1dc8dab33294c", "target_id": "Wd28508dfc9bdcbb287bd", "relation": "possible_writer", "position": 0, "argument": "", "evidence_ids": [ "E41b1e922e1f5422d", "E54078e0dc582766d" ] }, { "id": "D9e3754fd60abafd55ee6", "source_id": "X65cafb1d02e4a673c9c9", "target_id": "X371fe0464911716d35ca", "relation": "operand", "position": 1, "argument": "", "evidence_ids": [ "E1061a7ff3378f6cb", "Ee356ce790e4f91e6" ] }, { "id": "D9fc917a45919b3882a59", "source_id": "X64a5598c047799564d2f", "target_id": "T026b47688a12b5b3665a", "relation": "operand", "position": 0, "argument": "", "evidence_ids": [ "E41b1e922e1f5422d", "E54078e0dc582766d" ] }, { "id": "Da7bf0806e33b1353dc14", "source_id": "X8bf916d50e8d6d4c1f27", "target_id": "Xcf567795c41c82352094", "relation": "operand", "position": 0, "argument": "", "evidence_ids": [ "E1539a1628ca2bf7a", "E3d3fae6c35a3e08d" ] }, { "id": "Dae65a0b8ba2daa13caa6", "source_id": "X812579b0082ee5e4bff4", "target_id": "Xe46f448b4b3cd47df921", "relation": "operand", "position": 1, "argument": "", "evidence_ids": [ "E1539a1628ca2bf7a", "Ebfbd0dde45a4ab58" ] }, { "id": "Db0068191b0d4b6c40afe", "source_id": "X7842de9d089e74dd031d", "target_id": "X6b37828416d2711594f1", "relation": "operand", "position": 0, "argument": "", "evidence_ids": [ "E1539a1628ca2bf7a", "E3d3fae6c35a3e08d" ] }, { "id": "Db563118032d8daa0b0bd", "source_id": "Tfa426d69e64e218a819f", "target_id": "W3b68b315dc8ce8b62ae6", "relation": "possible_writer", "position": 0, "argument": "", "evidence_ids": [ "E5f7129164a796305", "Ee356ce790e4f91e6" ] }, { "id": "Dc1e70390ca272754905b", "source_id": "X070fd659670c166ff0b5", "target_id": "T722884e3d99af0e855fe", "relation": "operand", "position": 1, "argument": "", "evidence_ids": [ "E54078e0dc582766d", "Ec40f0e4a0c3b8daa" ] }, { "id": "Dc3ab2eaff570f1efb8b8", "source_id": "X4fb00b13400dcfb30d86", "target_id": "T4a526346188f40405740", "relation": "operand", "position": 0, "argument": "", "evidence_ids": [ "E5f7129164a796305", "Ee356ce790e4f91e6" ] }, { "id": "Dcce73b2b180b2f633c5a", "source_id": "W36437bc80df2f485115b", "target_id": "X6b37828416d2711594f1", "relation": "source_guard", "position": 0, "argument": "", "evidence_ids": [ "Ebfbd0dde45a4ab58" ] }, { "id": "Dcebdde5ce469d477a260", "source_id": "W3b68b315dc8ce8b62ae6", "target_id": "X4fb00b13400dcfb30d86", "relation": "guard", "position": 0, "argument": "", "evidence_ids": [ "E5f7129164a796305", "Ee356ce790e4f91e6" ] }, { "id": "Dd0e07a6584d25623a664", "source_id": "Xbf5d3147d8e53b15c2d9", "target_id": "T1d1695ebada9772d1455", "relation": "operand", "position": 0, "argument": "", "evidence_ids": [ "E1061a7ff3378f6cb", "Ee356ce790e4f91e6" ] }, { "id": "Dd13704e5013e4b0a15c2", "source_id": "X8f61a53f0731074795f5", "target_id": "X938e6ac5625629b3ca1d", "relation": "operand", "position": 1, "argument": "", "evidence_ids": [ "E5f7129164a796305", "Ee356ce790e4f91e6" ] }, { "id": "Dd30d35c6eac47213c196", "source_id": "Xfcfba0c1973dc4cecf00", "target_id": "X778ff5a6eef8041ad9ef", "relation": "operand", "position": 0, "argument": "", "evidence_ids": [ "E1061a7ff3378f6cb", "Ee356ce790e4f91e6" ] }, { "id": "Dd32cf054f808ef5d47fe", "source_id": "X64a5598c047799564d2f", "target_id": "Xe4d821299445a1479893", "relation": "operand", "position": 1, "argument": "", "evidence_ids": [ "E41b1e922e1f5422d", "E54078e0dc582766d" ] }, { "id": "Ddd1724f62080ce379340", "source_id": "Wd28508dfc9bdcbb287bd", "target_id": "X54292fc209d7234914ac", "relation": "value", "position": 0, "argument": "", "evidence_ids": [ "E41b1e922e1f5422d", "E54078e0dc582766d" ] }, { "id": "Ddf26a182a83fdfba9c97", "source_id": "X281d057c8fad45bfd5df", "target_id": "Xf500e7001d91fd141492", "relation": "operand", "position": 1, "argument": "", "evidence_ids": [ "E1061a7ff3378f6cb", "Ee356ce790e4f91e6" ] }, { "id": "De0573ac55b9113e19495", "source_id": "T82e96ec094f303ab069e", "target_id": "W36437bc80df2f485115b", "relation": "possible_writer", "position": 0, "argument": "", "evidence_ids": [ "E1539a1628ca2bf7a", "Ebfbd0dde45a4ab58" ] }, { "id": "De713a26be6395717d759", "source_id": "Xcf567795c41c82352094", "target_id": "X812579b0082ee5e4bff4", "relation": "operand", "position": 0, "argument": "", "evidence_ids": [ "E1539a1628ca2bf7a", "E3d3fae6c35a3e08d" ] }, { "id": "De84ade17a80c63bbc35c", "source_id": "X778ff5a6eef8041ad9ef", "target_id": "X4fb00b13400dcfb30d86", "relation": "operand", "position": 0, "argument": "", "evidence_ids": [ "E1061a7ff3378f6cb", "Ee356ce790e4f91e6" ] }, { "id": "De99da14313b45c6b90c6", "source_id": "Xe945844fad6f88998d1a", "target_id": "T1d1695ebada9772d1455", "relation": "operand", "position": 0, "argument": "", "evidence_ids": [ "E5f7129164a796305", "Ee356ce790e4f91e6" ] }, { "id": "Ded96965b63f7917300c9", "source_id": "X938e6ac5625629b3ca1d", "target_id": "Xc15564a4c312ecdd67ce", "relation": "operand", "position": 1, "argument": "", "evidence_ids": [ "E5f7129164a796305", "Ee356ce790e4f91e6" ] }, { "id": "Dede771414d8b4ef85cd5", "source_id": "Xe96371203eb76ff4c0df", "target_id": "X64a5598c047799564d2f", "relation": "operand", "position": 0, "argument": "", "evidence_ids": [ "E54078e0dc582766d", "Ec40f0e4a0c3b8daa" ] }, { "id": "Def3916f314bc95381cdb", "source_id": "Wf138b1e9a49f7411626d", "target_id": "Xcd59c47f8f311cab7ab2", "relation": "value", "position": 0, "argument": "", "evidence_ids": [ "E1539a1628ca2bf7a", "E3d3fae6c35a3e08d" ] }, { "id": "Df0037dd85c49195a2d92", "source_id": "Xe4d821299445a1479893", "target_id": "T722884e3d99af0e855fe", "relation": "operand", "position": 0, "argument": "", "evidence_ids": [ "E41b1e922e1f5422d", "E54078e0dc582766d" ] }, { "id": "Df2af685b588433f2c491", "source_id": "X65cafb1d02e4a673c9c9", "target_id": "Xf61d455c3bd142e91279", "relation": "operand", "position": 0, "argument": "", "evidence_ids": [ "E1061a7ff3378f6cb", "Ee356ce790e4f91e6" ] }, { "id": "Df2ff55be34072b3782fc", "source_id": "X80a0b03c76c687f3f567", "target_id": "X9e32f66b958fd07579e4", "relation": "operand", "position": 1, "argument": "", "evidence_ids": [ "E1539a1628ca2bf7a", "E3d3fae6c35a3e08d" ] }, { "id": "Df4753761675b03e68aa6", "source_id": "Xf70130b056611b83c3a0", "target_id": "T4f3ad56f4900140e4e87", "relation": "operand", "position": 0, "argument": "", "evidence_ids": [ "E1061a7ff3378f6cb", "Ee356ce790e4f91e6" ] }, { "id": "Dfa1bf98c3869c4e7b3b4", "source_id": "Xf70130b056611b83c3a0", "target_id": "X281d057c8fad45bfd5df", "relation": "operand", "position": 1, "argument": "", "evidence_ids": [ "E1061a7ff3378f6cb", "Ee356ce790e4f91e6" ] }, { "id": "Dff3828dfafdfba96095c", "source_id": "X8f418c0c2f44c48db842", "target_id": "T026b47688a12b5b3665a", "relation": "operand", "position": 0, "argument": "", "evidence_ids": [ "E41b1e922e1f5422d", "E54078e0dc582766d" ] } ], "write_sites": [ { "id": "W36437bc80df2f485115b", "entity_id": "e_5f14ca9e406515831d73184d5cce48d7", "rule_id": "e_5f14ca9e406515831d73184d5cce48d7", "owner_id": "e_5adc85573ff3ee3586fd78f0d9a33852", "owner_name": "FB_DemoAlarms", "authored_block": "FB_DemoAlarms", "target_entity_id": "e_f29f3fb979d0a30d8777fb831e56ca72", "target_scope": "e_5adc85573ff3ee3586fd78f0d9a33852", "target_path": [ "Alarm_SensorFault" ], "target": "#Alarm_SensorFault", "datatype": "BOOL", "operation": "assign", "condition": "(#SensorStatus <> WORD#0)", "expression": "TRUE", "semantic_status": "supported", "guard_status": "supported", "value_status": "supported", "effect_status": "supported", "order": [ 0, 70 ], "order_kind": "scl_source", "call_ids": [], "evidence_ids": [ "E1539a1628ca2bf7a", "Ebfbd0dde45a4ab58" ], "notes": [ "Complex control flow or function evaluation is not verified", "Value/transfer analysis: primitive_transfer_types_verified" ], "state_dependencies": [], "condition_tree": { "op": "<>", "value": "", "children": [ { "op": "reference", "value": "#SensorStatus", "children": [], "names": [], "datatype": "" }, { "op": "literal", "value": "WORD#0", "children": [], "names": [], "datatype": "" } ], "names": [], "datatype": "" }, "expression_tree": { "op": "literal", "value": "TRUE", "children": [], "names": [], "datatype": "" }, "native_output_binding": null, "local_references": [], "scalar_conversions": [] }, { "id": "W3b68b315dc8ce8b62ae6", "entity_id": "e_b55d4779fa7a59cc0305185f9b77ab06", "rule_id": "e_b55d4779fa7a59cc0305185f9b77ab06", "owner_id": "e_5adc85573ff3ee3586fd78f0d9a33852", "owner_name": "FB_DemoAlarms", "authored_block": "FB_DemoAlarms", "target_entity_id": "e_cc73a3500598225473faa1fcacfe4c5d", "target_scope": "e_5adc85573ff3ee3586fd78f0d9a33852", "target_path": [ "Alarm_HighPressure" ], "target": "#Alarm_HighPressure", "datatype": "BOOL", "operation": "assign", "condition": "(#PumpRunning AND (#PressureBar >= REAL#8.5))", "expression": "TRUE", "semantic_status": "supported", "guard_status": "supported", "value_status": "supported", "effect_status": "supported", "order": [ 0, 13 ], "order_kind": "scl_source", "call_ids": [], "evidence_ids": [ "E5f7129164a796305", "Ee356ce790e4f91e6" ], "notes": [ "Complex control flow or function evaluation is not verified", "Value/transfer analysis: primitive_transfer_types_verified" ], "state_dependencies": [], "condition_tree": { "op": "AND", "value": "", "children": [ { "op": "reference", "value": "#PumpRunning", "children": [], "names": [], "datatype": "" }, { "op": ">=", "value": "", "children": [ { "op": "reference", "value": "#PressureBar", "children": [], "names": [], "datatype": "" }, { "op": "literal", "value": "REAL#8.5", "children": [], "names": [], "datatype": "" } ], "names": [], "datatype": "" } ], "names": [], "datatype": "" }, "expression_tree": { "op": "literal", "value": "TRUE", "children": [], "names": [], "datatype": "" }, "native_output_binding": null, "local_references": [], "scalar_conversions": [] }, { "id": "Wb2cc0217cdf884ce0dfb", "entity_id": "e_89d4253e8bb96d4420cf816e9b4d9d93", "rule_id": "e_89d4253e8bb96d4420cf816e9b4d9d93", "owner_id": "e_5adc85573ff3ee3586fd78f0d9a33852", "owner_name": "FB_DemoAlarms", "authored_block": "FB_DemoAlarms", "target_entity_id": "e_cc73a3500598225473faa1fcacfe4c5d", "target_scope": "e_5adc85573ff3ee3586fd78f0d9a33852", "target_path": [ "Alarm_HighPressure" ], "target": "#Alarm_HighPressure", "datatype": "BOOL", "operation": "assign", "condition": "(NOT ((#PumpRunning AND (#PressureBar >= REAL#8.5))) AND (#Reset AND (#PressureBar < REAL#7.5)))", "expression": "FALSE", "semantic_status": "supported", "guard_status": "supported", "value_status": "supported", "effect_status": "supported", "order": [ 0, 31 ], "order_kind": "scl_source", "call_ids": [], "evidence_ids": [ "E1061a7ff3378f6cb", "Ee356ce790e4f91e6" ], "notes": [ "Complex control flow or function evaluation is not verified", "Value/transfer analysis: primitive_transfer_types_verified" ], "state_dependencies": [], "condition_tree": { "op": "AND", "value": "", "children": [ { "op": "NOT", "value": "", "children": [ { "op": "AND", "value": "", "children": [ { "op": "reference", "value": "#PumpRunning", "children": [], "names": [], "datatype": "" }, { "op": ">=", "value": "", "children": [ { "op": "reference", "value": "#PressureBar", "children": [], "names": [], "datatype": "" }, { "op": "literal", "value": "REAL#8.5", "children": [], "names": [], "datatype": "" } ], "names": [], "datatype": "" } ], "names": [], "datatype": "" } ], "names": [], "datatype": "" }, { "op": "AND", "value": "", "children": [ { "op": "reference", "value": "#Reset", "children": [], "names": [], "datatype": "" }, { "op": "<", "value": "", "children": [ { "op": "reference", "value": "#PressureBar", "children": [], "names": [], "datatype": "" }, { "op": "literal", "value": "REAL#7.5", "children": [], "names": [], "datatype": "" } ], "names": [], "datatype": "" } ], "names": [], "datatype": "" } ], "names": [], "datatype": "" }, "expression_tree": { "op": "literal", "value": "FALSE", "children": [], "names": [], "datatype": "" }, "native_output_binding": null, "local_references": [], "scalar_conversions": [] }, { "id": "Wd28508dfc9bdcbb287bd", "entity_id": "e_110434ade1e0d53edc47a334bef58957", "rule_id": "e_110434ade1e0d53edc47a334bef58957", "owner_id": "e_5adc85573ff3ee3586fd78f0d9a33852", "owner_name": "FB_DemoAlarms", "authored_block": "FB_DemoAlarms", "target_entity_id": "e_7f9a0f1b023cd2765b8ec6b00a747bb2", "target_scope": "e_5adc85573ff3ee3586fd78f0d9a33852", "target_path": [ "Alarm_DriveNotReady" ], "target": "#Alarm_DriveNotReady", "datatype": "BOOL", "operation": "assign", "condition": "(#DriveStart AND NOT (#DriveReady))", "expression": "TRUE", "semantic_status": "supported", "guard_status": "supported", "value_status": "supported", "effect_status": "supported", "order": [ 0, 46 ], "order_kind": "scl_source", "call_ids": [], "evidence_ids": [ "E41b1e922e1f5422d", "E54078e0dc582766d" ], "notes": [ "Value/transfer analysis: primitive_transfer_types_verified" ], "state_dependencies": [], "condition_tree": { "op": "AND", "value": "", "children": [ { "op": "reference", "value": "#DriveStart", "children": [], "names": [], "datatype": "" }, { "op": "NOT", "value": "", "children": [ { "op": "reference", "value": "#DriveReady", "children": [], "names": [], "datatype": "" } ], "names": [], "datatype": "" } ], "names": [], "datatype": "" }, "expression_tree": { "op": "literal", "value": "TRUE", "children": [], "names": [], "datatype": "" }, "native_output_binding": null, "local_references": [], "scalar_conversions": [] }, { "id": "Wf138b1e9a49f7411626d", "entity_id": "e_7ef61349a7e6eec7af70bc2721a62786", "rule_id": "e_7ef61349a7e6eec7af70bc2721a62786", "owner_id": "e_5adc85573ff3ee3586fd78f0d9a33852", "owner_name": "FB_DemoAlarms", "authored_block": "FB_DemoAlarms", "target_entity_id": "e_f29f3fb979d0a30d8777fb831e56ca72", "target_scope": "e_5adc85573ff3ee3586fd78f0d9a33852", "target_path": [ "Alarm_SensorFault" ], "target": "#Alarm_SensorFault", "datatype": "BOOL", "operation": "assign", "condition": "(NOT ((#SensorStatus <> WORD#0)) AND (#Reset AND (#SensorStatus = WORD#0)))", "expression": "FALSE", "semantic_status": "supported", "guard_status": "supported", "value_status": "supported", "effect_status": "supported", "order": [ 0, 88 ], "order_kind": "scl_source", "call_ids": [], "evidence_ids": [ "E1539a1628ca2bf7a", "E3d3fae6c35a3e08d" ], "notes": [ "Complex control flow or function evaluation is not verified", "Value/transfer analysis: primitive_transfer_types_verified" ], "state_dependencies": [], "condition_tree": { "op": "AND", "value": "", "children": [ { "op": "NOT", "value": "", "children": [ { "op": "<>", "value": "", "children": [ { "op": "reference", "value": "#SensorStatus", "children": [], "names": [], "datatype": "" }, { "op": "literal", "value": "WORD#0", "children": [], "names": [], "datatype": "" } ], "names": [], "datatype": "" } ], "names": [], "datatype": "" }, { "op": "AND", "value": "", "children": [ { "op": "reference", "value": "#Reset", "children": [], "names": [], "datatype": "" }, { "op": "=", "value": "", "children": [ { "op": "reference", "value": "#SensorStatus", "children": [], "names": [], "datatype": "" }, { "op": "literal", "value": "WORD#0", "children": [], "names": [], "datatype": "" } ], "names": [], "datatype": "" } ], "names": [], "datatype": "" } ], "names": [], "datatype": "" }, "expression_tree": { "op": "literal", "value": "FALSE", "children": [], "names": [], "datatype": "" }, "native_output_binding": null, "local_references": [], "scalar_conversions": [] }, { "id": "Wf31788448f8ca318e72b", "entity_id": "e_0e3d3377e625e61a5fb8cf4d997d0792", "rule_id": "e_0e3d3377e625e61a5fb8cf4d997d0792", "owner_id": "e_5adc85573ff3ee3586fd78f0d9a33852", "owner_name": "FB_DemoAlarms", "authored_block": "FB_DemoAlarms", "target_entity_id": "e_7f9a0f1b023cd2765b8ec6b00a747bb2", "target_scope": "e_5adc85573ff3ee3586fd78f0d9a33852", "target_path": [ "Alarm_DriveNotReady" ], "target": "#Alarm_DriveNotReady", "datatype": "BOOL", "operation": "assign", "condition": "(NOT ((#DriveStart AND NOT (#DriveReady))) AND #DriveReady)", "expression": "FALSE", "semantic_status": "supported", "guard_status": "supported", "value_status": "supported", "effect_status": "supported", "order": [ 0, 55 ], "order_kind": "scl_source", "call_ids": [], "evidence_ids": [ "E54078e0dc582766d", "Ec40f0e4a0c3b8daa" ], "notes": [ "Value/transfer analysis: primitive_transfer_types_verified" ], "state_dependencies": [], "condition_tree": { "op": "AND", "value": "", "children": [ { "op": "NOT", "value": "", "children": [ { "op": "AND", "value": "", "children": [ { "op": "reference", "value": "#DriveStart", "children": [], "names": [], "datatype": "" }, { "op": "NOT", "value": "", "children": [ { "op": "reference", "value": "#DriveReady", "children": [], "names": [], "datatype": "" } ], "names": [], "datatype": "" } ], "names": [], "datatype": "" } ], "names": [], "datatype": "" }, { "op": "reference", "value": "#DriveReady", "children": [], "names": [], "datatype": "" } ], "names": [], "datatype": "" }, "expression_tree": { "op": "literal", "value": "FALSE", "children": [], "names": [], "datatype": "" }, "native_output_binding": null, "local_references": [], "scalar_conversions": [] } ], "message_write_sites": [], "gaps": [ { "node_id": "T026b47688a12b5b3665a", "code": "external_input", "message": "선언된 입력 신호입니다. 실제 값은 원본 코드에서 확정하지 않습니다.", "evidence_ids": [ "Efbc4ed4efc81ee4c" ], "required_input": "호출 인자 연결 또는 해당 시점의 PLC 입력 값", "remediation": "runtime_evidence" }, { "node_id": "T0b96a0eac92d5522ccd9", "code": "external_input", "message": "선언된 입력 신호입니다. 실제 값은 원본 코드에서 확정하지 않습니다.", "evidence_ids": [ "Ee23fe8b403ced5c8" ], "required_input": "호출 인자 연결 또는 해당 시점의 PLC 입력 값", "remediation": "runtime_evidence" }, { "node_id": "T1d1695ebada9772d1455", "code": "external_input", "message": "선언된 입력 신호입니다. 실제 값은 원본 코드에서 확정하지 않습니다.", "evidence_ids": [ "E1feb15da7111dcb0" ], "required_input": "호출 인자 연결 또는 해당 시점의 PLC 입력 값", "remediation": "runtime_evidence" }, { "node_id": "T4a526346188f40405740", "code": "external_input", "message": "선언된 입력 신호입니다. 실제 값은 원본 코드에서 확정하지 않습니다.", "evidence_ids": [ "E32acdbf9f960833b" ], "required_input": "호출 인자 연결 또는 해당 시점의 PLC 입력 값", "remediation": "runtime_evidence" }, { "node_id": "T4f3ad56f4900140e4e87", "code": "external_input", "message": "선언된 입력 신호입니다. 실제 값은 원본 코드에서 확정하지 않습니다.", "evidence_ids": [ "Ed0ece16707ea82c9" ], "required_input": "호출 인자 연결 또는 해당 시점의 PLC 입력 값", "remediation": "runtime_evidence" }, { "node_id": "T722884e3d99af0e855fe", "code": "external_input", "message": "선언된 입력 신호입니다. 실제 값은 원본 코드에서 확정하지 않습니다.", "evidence_ids": [ "E3f8bca8d84b82686" ], "required_input": "호출 인자 연결 또는 해당 시점의 PLC 입력 값", "remediation": "runtime_evidence" }, { "node_id": "T82e96ec094f303ab069e", "code": "multiple_source_writers", "message": "여러 쓰기 경로가 있습니다. 원본 순서는 쓰기 기록에 남기며, 이 읽기에 도달한 값이나 스캔 순서를 확정하지 않습니다.", "evidence_ids": [ "E1539a1628ca2bf7a", "E3d3fae6c35a3e08d", "Ebfbd0dde45a4ab58" ], "required_input": "", "remediation": "unspecified" }, { "node_id": "Tc5d9a2c1dc8dab33294c", "code": "multiple_source_writers", "message": "여러 쓰기 경로가 있습니다. 원본 순서는 쓰기 기록에 남기며, 이 읽기에 도달한 값이나 스캔 순서를 확정하지 않습니다.", "evidence_ids": [ "E41b1e922e1f5422d", "E54078e0dc582766d", "Ec40f0e4a0c3b8daa" ], "required_input": "", "remediation": "unspecified" }, { "node_id": "Tfa426d69e64e218a819f", "code": "multiple_source_writers", "message": "여러 쓰기 경로가 있습니다. 원본 순서는 쓰기 기록에 남기며, 이 읽기에 도달한 값이나 스캔 순서를 확정하지 않습니다.", "evidence_ids": [ "E1061a7ff3378f6cb", "E5f7129164a796305", "Ee356ce790e4f91e6" ], "required_input": "", "remediation": "unspecified" } ], "shared_dependencies": [ { "id": "Gd4a1838cf81ed09cde5e", "node_id": "T4f3ad56f4900140e4e87", "diagnosis_ids": [ "D1654c82c3ecfe7d13bf4", "D72d96e965f1e013022d4" ], "evidence_ids": [ "E1061a7ff3378f6cb", "E1539a1628ca2bf7a", "E1feb15da7111dcb0", "E32acdbf9f960833b", "E3d3fae6c35a3e08d", "E5f7129164a796305", "Ebfbd0dde45a4ab58", "Ed0ece16707ea82c9", "Ee23fe8b403ced5c8", "Ee356ce790e4f91e6" ], "kind": "tag", "semantics": "common_source_dependency" } ], "alarm_signal_reads": [] } }