Software Development and Integral Processes Activities are Defined

  Transition Criteria, Inter-Relationships, and Sequencing Among Processes are Defined

  Software Life-Cycle Environment Is Defined

  Additional Considerations are Addressed

  Software Development Standards are Defined

  Software Plans Comply with DO-178B

  Software Plans are Coordinated

  High-Level Requirements are Developed

  Derived High-Level Requirements are Developed

  Software Architecture Is Developed

  Low-Level Requirements are Developed

  Derived Low-Level Requirements are Developed

  Source Code Is Developed

  Executable Object Code Is Produced and Integrated in the Target Computer

  Software High-Level Requirements Comply with System Requirements

  High-Level Requirements Are Accurate and Consistent

  High-Level Requirements Are Compatible with the Target Computer

  High-Level Requirements Are Verifiable

  High-Level Requirements Conform to Standards

  High-Level Requirements Are Traceable to System Requirements

  Algorithms Are Accurate

  Low-Level Requirements Comply with High-Level Requirements

  Low-Level Requirements Are Accurate and Consistent

  Low-Level Requirements Are Compatible with the Target Computer

  Low-Level Requirements Are Verifiable

  Low-Level Requirements Conform to Standards

  Low-Level Requirements Are Traceable to High-Level Requirements

  Algorithms Are Accurate

  Software Architecture Is Compatible with High-Level Requirements

  Software Architecture Is Consistent

  Software Architecture Is Compatible with the Target Computer

  Software Architecture Is Verifiable

  Software Architecture Conforms to Standards

  Software Partitioning Integrity Is Confirmed

  Source Code Complies with Low-Level Requirements

  Source Code Complies with Software Architecture

  Source Code Is Verifiable

  Source Code Conforms to Standards

  Source Code Is Traceable to Low-Level Requirements

  Source Code Is Accurate and Consistent

  Output of Software Integration Process Is Complete and Correct

  Executable Object Code Complies with High-Level Requirements

  Executable Object Code Is Robust with High-Level Requirements

  Executable Object Code Complies with Low-Level Requirements

  Executable Object Code Is Robust with Low-Level Requirements

  Executable Object Code Is Compatible with Target Computer

  Test Procedures Are Correct

  Test Results Are Correct and Discrepancies Explained

  Test Coverage of High-Level Requirements Is Achieved

  Test Coverage of Low-Level Requirements Is Achieved

  Test Coverage of Software Structure (Modified Condition/Decision) Is Achieved

  Test Coverage of Software Structure (Decision Coverage) Is Achieved

  Test Coverage of Software Structure (Statement Coverage) Is Achieved

  Test Coverage of Software Structure (Data Coupling and Control) Is Achieved

  Configuration Items Are Identified

  Baselines and Traceability Are Established

  Problem Reporting, Change Control, Change Review, and Configuration Status Accounting Are Established

  Archive, Retrieval, and Release Are Established

  Software Load Control Is Established

  Software Life Cycle Environment Control Is Established

  Assurance Is Obtained That Software Development and Integral Processes Comply with Approved Software Plans and Standards

  Assurance Is Obtained That Transition Criteria for the Software Life Cycle Processes are Satisfied

  Software Conformity Review Is Completed

  Communication and Understanding Between the Applicant and the Certification Authority Is Established

  The Means of Compliance Is Proposed and Agreement with the Plan for Software Aspects of Certification is Obtained

  Compliance Substantiation Is Provided