This Guide for Verification of Autonomous Systems enables the user to define a customized process for verification of their autonomous system based on their available resources. It documents best practices across all levels of abstraction within a given system from the lowest level components and software to the highest level learning or decision making elements (specifically including verification of the inputs to any learning algorithms, such as training data). Integration guidance for developing a verification process using various techniques and methodologies, with corresponding different tool types, is provided. Verification process templates are provided as examples based on the availability of verification techniques and/or methodologies. The criteria for selecting a particular existing template are outlined. Different types of verification techniques, methodologies, and processes are enumerated and described, and a list of different tool types that should be part of any autonomous system verification toolbox is provided. The tool types captured in this Guide encompass techniques and/or methodologies that can be used for verification processes (such as those that quantify the completeness of coverage-guided test suites) and include both theoretical and software tools.
- Standard Committee
- RAS/SC - Standing Committee for Standards
- Status
- Active PAR
- PAR Approval
- 2024-09-26
Working Group Details
- Society
- Standard Committee
- RAS/SC - Standing Committee for Standards
- Working Group
-
VAS-G - Verification of Autonomous Systems - Guidelines
- IEEE Program Manager
- Tom Thompson
Contact Tom Thompson - Working Group Chair
- Signe Redfield
Other Activities From This Working Group
Current projects that have been authorized by the IEEE SA Standards Board to develop a standard.
No Active Projects
Standards approved by the IEEE SA Standards Board that are within the 10-year lifecycle.
No Active Standards
These standards have been replaced with a revised version of the standard, or by a compilation of the original active standard and all its existing amendments, corrigenda, and errata.
No Superseded Standards
These standards have been removed from active status through a ballot where the standard is made inactive as a consensus decision of a balloting group.
No Inactive-Withdrawn Standards
These standards are removed from active status through an administrative process for standards that have not undergone a revision process within 10 years.
No Inactive-Reserved Standards