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...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	IEEE access Jg. 9; S. 4797 - 4819
Hauptverfasser:	Rajabli, Nijat, Flammini, Francesco, Nardone, Roberto, Vittorini, Valeria
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Piscataway IEEE 01.01.2021 The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Schlagworte:	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-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!