data-control-coupling-analysislisted

Use when you must analyze data coupling and control coupling between airborne software components: identify the data-coupling items between component pairs from their written and read variable sets with declared synchronization suppression, identify the control-coupling items across call edges where a caller-written variable is read by the callee, compute the coupling coverage ratio against declared evidence, and return the PASS or FAIL verdict with the uncovered item list. Produces the data-coupling item list, the control-coupling item list, the coupling coverage ratio and the evidence verdict that gate the level A inter-component coupling objective. Trigger: data coupling analysis, control coupling analysis, shared-variable pairs, call-edge coupling items, coupling coverage evidence, level-a coupling objectives, inter-component coupling.
ashfordeOU/aero-agent-skills · ★ 0 · AI & Automation · score 78

Install: claude install-skill ashfordeOU/aero-agent-skills

# Data and Control Coupling Analysis (avionics/do178c/data-control-coupling-analysis) Use when the task is DO-178C level A inter-component coupling analysis: identifying the shared-variable data-coupling items and the call-edge control-coupling items between airborne software components, then grading the declared evidence against the identified items. This leaf implements the coupling item model and the coupling coverage verdict in pure Python, stdlib only, deterministic and offline. It pairs with avionics/do178c/verification for intra-component structural analysis and avionics/do178c/software-testing for the execution-based testing that supplies coupling evidence. ## Domain quick reference - Data coupling: two components couple through a shared variable when one writes it and the other reads it. A data-coupling item (A, B, var) exists for every ordered pair (A, B), A != B, with var in writes(A) intersect reads(B). - Declared synchronization: a declared handshake or protected port suppresses the item it names. Declaring the synchronization (A, C, X) removes exactly the (A, C, X) item and nothing else. - Control coupling: a caller transfers data to a callee through the call. A control-coupling item (A, B, var) exists on a declared call edge (A, B) for every var in writes(A) intersect reads(B). - Data coupling is pairwise over all components; control coupling exists only along the declared call edges, so an item can appear in one list and not the other. - C