Verification and Validation of Autonomous Systems
This addresses safety and reliability issues for autonomous vehicle developers, but appears incremental as it builds on existing verification and validation practices.
The paper tackles the problem of preventing and correcting software defects in autonomous vehicles to ensure high reliability, proposing methods to achieve a higher level of assurance during development.
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.