DO-254 Hardware Requirements Capture (avionics/do254/requirements-capture)
Use when the task is DO-254 hardware requirements capture: checking requirement characteristics, identifying derived requirements, and gating the requirements review for airborne electronic hardware.
Domain quick reference
- DO-254 hardware requirements must be complete, correct, and verifiable, with unique identifiers and trace links.
- Derived requirements: added during design or safety analysis with no direct higher-level source; they must be identified and justified, and they count as requirements for verification.
- Allocated requirements trace upward to a system requirement; derived requirements do not.
- Vague wording (suitable, adequate, approximately, and similar) fails the verifiability test at the requirements review.
Workflow
- Collect each hardware requirement with its identifier, text, and trace status.
- Run the characteristic check with req_issues.
- Classify each requirement as derived or allocated with classify_derived.
- Score capture readiness with capture_readiness.
- Gate the requirements review on the issue list and readiness.
Pitfalls
- Accepting vague wording because the design intent is clear.
- Missing trace links on allocated requirements.
- Letting derived requirements appear without a justification note.
Behavior contract (gate 3)
The requirement-characteristic, classification, and readiness logic is exercised by the gate 3 contract test: scripts/test_requirements_capture.py against scripts/requirements_capture_logic.py (stdlib unittest, offline). Run: python3 scripts/test_requirements_capture.py
Compliance
- Standards referenced, not reproduced: DO-254 text is proprietary (RTCA); summary-only per standards-map.yaml and brief 06.
- compliance: STANDARDS-REF, gated: false.