Process:
- 1. License
- 2. Attribution
- 3. Introduction
- 4. Terminology
- 4.1. Software Unit (or Unit)
- 4.2. Unit-Level Work Product
- 4.3. Non-Unit-Level Work Product
- 4.4. Software Unit Specification Fragment (or Unit Specification Fragment)
- 4.5. Software Unit Requirement (or Unit Requirement)
- 4.6. Software Unit Design Fragment (or Unit Design Fragment)
- 4.7. Software Unit Design Constraint (or Unit Design Constraint)
- 4.8. Design Documentation Fragment
- 4.9. Diagnostic Justification
- 4.10. Check Suppression
- 4.11. Formal Unit Requirement or Formal Unit Design Constraint
- 4.12. Non-Formal Unit Requirement or Non-Formal Unit Design Constraint
- 4.13. Implementation Free Requirement
- 4.14. Software Interface
- 4.15. SPARK Platinum
- 4.16. Clean SPARK
- 4.17. Clean SPARK Platinum
- 4.18. Cleanliness-Adjusted ASIL
- 4.19. GPR File (or Project File)
- 4.20. Unit GPR File (or Unit Project File)
- 4.21. ADC File
- 4.22. ADS File
- 4.23. ADB File
- 4.24. External ADS File
- 4.25. Internal ADS File
- 4.26. GNAT Project (or Project)
- 4.27. Non-Formal Verification
- 4.28. Formally-Verified
- 4.29. Non-Formally-Verified
- 4.30. Out-of-Context-Comprehensible
- 4.31. In-Context-Comprehensible
- 4.32. Local Peer Review
- 4.33. Global Peer Review
- 5. Prerequisites and Assumptions
- 6. Process
- 7. Requirements Concerning Tool Switches
- 8. Software Unit Verification Checklists
- 9. Software Tool Usage Analysis
- 10. Traceability to GNATprove Assumptions
- 11. Traceability to ISO 26262
- 11.1. Attribution
- 11.2. List of Objectives, Requirements, and Recommendations in ISO 26262 Fully Met By Following This Process
- 11.3. Notation in the ISO 26262 Traceability Tables
- 11.4. ISO 26262-6:2018, Clause 5: General topics for the product development at the software level
- 11.5. ISO 26262-6:2018, Clause 6: Specification of software safety requirements
- 11.6. ISO 26262-6:2018, Clause 8: Software unit design and implementation
- 11.7. ISO 26262-6:2018, Clause 9: Software unit verification
- 11.8. ISO 26262-8:2018, Clause 6: Specification and management of safety requirements
- 11.9. ISO 26262-8:2018, Clause 9: Verification