ME.6:5.1 - Cheaper Clarification: Several Methods, No Composite
In a safety-relevant release, M-HW-Verify, M-SW-Integrate, M-Supplier-Approve, and M-Release-Authorize are identified Methods. Hardware verification and software integration can contribute during overlapping intervals from differently versioned evidence. Supplier approval produces a signed result later. Release authorization uses the safety result and signed-evidence condition.
The selected structures are:
| Structure | Direct relation and truth |
|---|---|
| Method structure | Four Methods are co-used; no methodPartOf or composite-Method relation is shown to obtain. |
| Work structure | Some verification and integration Work may overlap; bounded Work set W-TraceAcceptReject-17 contains one human accept/reject occurrence for every AI suggestion used by the branch; signed evidence and accepted safety result are genuine first–then guards for release authorization. |
| description structure | the release WorkPlan carries intended dates and allocations; Method accounts carry reusable checks and guards; the case account asks whether the signed pinout meets the release evidence condition. Keep their direct subjects and needed correspondences separate. Different descriptions alone establish no architecture alternatives. |
| allocation structure | admitted Systems TraceReviewer-17, SafetyReviewer-17, and ReleaseDecider-17; their decision Work; covering assignments ASG-TraceReview-17, ASG-SafetyReview-17, and ASG-ReleaseDecision-17; permission PERM-TraceAcceptReject-17; and direct authorities AUTH-SafetyEvidence-17 and AUTH-ReleaseDecision-17 remain separate; shared capacity can constrain later alternatives. |
ARS-EC417-RelationOnly-1 records the smaller clarification: retain the four Methods and their direct result-use, permission, and authority relations without naming a composite. The question here is only whether co-use supports a Method-whole claim. B.1.5 supplies the composition test; where an architecture claim is made, C.30 distinguishes the claimed structure from obtaining relations. No composite is established by the evidence shown, and no rival arrangement is at issue. Stop with that clarification, not a completed ME.6 comparison. A later choice about provisional supplier evidence opens the genuine alternatives in :5.3; their comparison can also end without creating a Method whole.