1. License

• Copyright (C) 2024 - 2025 NVIDIA CORPORATION & AFFILIATES

• Copyright (C) 2021 - 2024 AdaCore

Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.3 or any later version published by the Free Software Foundation; with the Invariant Sections being “Attribution”, with no Front-Cover Texts, and no Back-Cover Texts. A copy of the license is included in the section entitled “GNU Free Documentation License”.

Any material from the ISO standards (anything in Section Traceability to ISO 26262 typeset in boxes or referencing a part and section) is subject to the following:

Copyright (C) ISO. This material is reproduced from ISO 26262, with permission of the American National Standards Institute (ANSI) on behalf of the International Organization for Standardization. All rights reserved.