Verification and Validation of Autonomous Systems
Sneha Sudhir Shetiya, Vikas Vyas, Shreyas Renukuntla
TL;DR
This paper discusses methods for preventing, detecting, and correcting software defects in autonomous vehicles to ensure high software reliability and assurance during development.
Contribution
It introduces comprehensive strategies for verification and validation to improve software quality and reliability in autonomous systems.
Findings
Effective defect prevention techniques for autonomous vehicle software
Methods for discovering and correcting software defects
Strategies to enhance software assurance and reliability
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsModel-Driven Software Engineering Techniques · Simulation Techniques and Applications · Safety Systems Engineering in Autonomy