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

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	IEEE access Ročník 9; s. 4797 - 4819
Hlavní autoři:	Rajabli, Nijat, Flammini, Francesco, Nardone, Roberto, Vittorini, Valeria
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Piscataway IEEE 01.01.2021 The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Témata:	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
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!