ARP-4754A

1. ARP-4754A Section 4.2 Aircraft Function Development
2. ARP-4754A Section 4.3 Allocation of Aircraft Functions to Systems
3. ARP-4754A Section 4.4 Development of System Architecture
4. ARP-4754A Section 4.5 Allocation of System Requirements to Items
5. ARP-4754A Section 4.6 System Implementation
6. ARP-4754A Section 5.3 Requirements Capture
7. ARP-4754A Section 5.4 Requirements Validation
8. ARP-4754A Section 5.5 Implementation Verification

DO-331

1. DO-331 Section MB.2.1 System Requirements Allocation to Software
2. DO-331 Section MB.5.1 Software Requirements Process
3. DO-331 Section MB.5.2 Software Design Process
4. DO-331 Section MB.5.3 Software Coding Process
5. DO-331 Section MB.5.4 Integration Process
6. DO-331 Section MB.5.5 Software Development Process Traceability
7. DO-331 Section MB.6.3.1 Reviews and Analyses of High-Level Requirements
8. DO-331 Section MB.6.3.2 Reviews and Analyses of Low-Level Requirements
9. DO-331 Section MB.6.3.3 Reviews and Analyses of Software Architecture
10. DO-331 Section MB.6.3.4 Reviews and Analyses of Source Code
11. DO-333 Section FM.6.3.4 Reviews and Analyses of Source Code
12. DO-333 Section FM.6.3.5 Reviews and Analyses of the Outputs of the Integration Process
13. DO-331 Section MB.6.4 Software Testing
14. DO-331 Section MB.6.5 Software Verification Process Traceability
15. DO-331 Section MB.6.7 Model Coverage Analysis for Design Models
16. DO-331 Section MB.6.8.1 Model Simulation for Verification of the Model
17. DO-331 Section MB.6.8.3 Simulation Cases, Procedures, and Results

DO-178C

1. DO-178C Section 12.2 Tool Qualification