Verification and Validation of Autonomous Systems

2024/11/20 by Shetiya, Sneha Sudhir, Vyas, Vikas, Renukuntla, Shreyas
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Software Engineering (cs.SE)

paper · doi:10.48550/arxiv.2411.13614

Abstract

This paper describes how to proficiently prevent software defects in autonomous vehicles, discover and correct defects if they are encountered, and create a higher level of assurance in the software product development phase. It also describes how to ensure high assurance on software reliability.

Related

• Grand Challenges in the Verification of Autonomous Systems
• Towards a Framework for Certification of Reliable Autonomous Systems
• Concepts in Testing of Autonomous Systems: Academic Literature and Industry Practice
• Dynamic Certification for Autonomous Systems
• Rethinking Certification for Higher Trust and Ethical Safeguarding of Autonomous Systems