IEEE P2817™ 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. It describes a conceptual model that assists in the development of new verification processes for autonomous systems and provides both integration guidance for developing a verification process and techniques, methodologies, and tool types supporting verification process development.