Autonomous systems operate in complex, dynamic environments and make runtime decisions that control their behavior, often without human intervention. Ensuring the safety, reliability, and performance of such systems requires rigorous verification processes that account for these complexities. This Guide for Verification of Autonomous Systems enables the user to define a customized process for verification of their autonomous system at the component and system levels based on their needs and available resources. It documents challenges and best practices for specification development, verification across all levels of abstraction, integration with fault management and runtime assurance components, and provision of evidence for licensure, certification, and assurance.
- Standard Committee
- RAS/SC - Standing Committee for Standards
- Status
- Active PAR
- PAR Approval
- 2024-09-26
Working Group Details
- Society
- Society
- IEEE Robotics and Automation Society
- Standard Committee
- RAS/SC - Standing Committee for Standards
- Working Group
-
VAS-G - Verification of Autonomous Systems - Guidelines
- IEEE Program Manager
- Christy Bahn
Contact Christy Bahn - 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