Software Verification and Validation of Safe Autonomous Cars: A Systematic Literature Review

Autonomous, or self-driving, cars are emerging as the solution to several problems primarily caused by humans on roads, such as accidents and traffic congestion. However, those benefits come with great challenges in the verification and validation (V&V) for safety assessment. In fact, due to the...

Full description

Saved in:

Bibliographic Details
Published in:	IEEE access Vol. 9; pp. 4797 - 4819
Main Authors:	Rajabli, Nijat, Flammini, Francesco, Nardone, Roberto, Vittorini, Valeria
Format:	Journal Article
Language:	English
Published:	Piscataway IEEE 01.01.2021 The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subjects:	Accidents Advanced driver assistance systems Artificial intelligence automotive engineering Autonomous automobiles Autonomous cars autonomous vehicles Autonomy Computer and Information Sciences Computer Science Cyber-physical systems Data- och informationsvetenskap Formal method formal verification intelligent vehicles Literature reviews Machine learning Mutation Program verification (computers) Roads Safety Software system testing system validation Systematics Traffic congestion vehicle safety Vehicles
ISSN:	2169-3536, 2169-3536
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!