Active PAR

P2817

Guide for Verification of Autonomous Systems

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
Subscribe to our Newsletter

Sign up for our monthly newsletter to learn about new developments, including resources, insights and more.