NVIDIA SPARK Process for ISO 26262 Compliance

This GitHub repository from NVIDIA details a formal process for developing Ada/SPARK software to comply with the ISO 26262 functional safety standard. It provides reST (reStructuredText) sources for building documentation, including checklists and tracing information related to ISO 26262 requirements. The project is a joint effort between NVIDIA and AdaCore, with a disclaimer noting it's a reference process, not a definitive representation of internal development. The repository also outlines the tools and structure for contributing to and building the documentation, emphasizing the use of TRLC for requirement management and Python for generating conten