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.
- Sponsor Committee
- RAS/SC - Standing Committee for Standards
Learn More About RAS/SC - Standing Committee for Standards - Status
- Active PAR
- PAR Approval
- 2024-09-26
Working Group Details
- Society
- IEEE Robotics and Automation Society
- Sponsor Committee
- RAS/SC - Standing Committee for Standards
Learn More About 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