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 …
caused by humans on roads, such as accidents and traffic congestion. However, those …
Testing, validation, and verification of robotic and autonomous systems: a systematic review
H Araujo, MR Mousavi, M Varshosaz - ACM Transactions on Software …, 2023 - dl.acm.org
We perform a systematic literature review on testing, validation, and verification of robotic
and autonomous systems (RAS). The scope of this review covers peer-reviewed research …
and autonomous systems (RAS). The scope of this review covers peer-reviewed research …
Fundamental considerations around scenario-based testing for automated driving
The homologation of automated vehicles, being safety-critical complex systems, requires
sound evidence for their safe operability. Traditionally, verification and validation activities …
sound evidence for their safe operability. Traditionally, verification and validation activities …
A survey on scenario-based testing for automated driving systems in high-fidelity simulation
Automated Driving Systems (ADSs) have seen rapid progress in recent years. To ensure the
safety and reliability of these systems, extensive testings are being conducted before their …
safety and reliability of these systems, extensive testings are being conducted before their …
Formal certification methods for automated vehicle safety assessment
Challenges related to automated driving are no longer focused on just the construction of
such automated vehicles (AVs) but also on assuring the safety of operation. Recent …
such automated vehicles (AVs) but also on assuring the safety of operation. Recent …
Targeting requirements violations of autonomous driving systems by dynamic evolutionary search
Autonomous Driving Systems (ADSs) are complex systems that must satisfy multiple
requirements such as safety, compliance to traffic rules, and comfortableness. However …
requirements such as safety, compliance to traffic rules, and comfortableness. However …
Development methodologies for safety critical machine learning applications in the automotive domain: A survey
Enabled by recent advances in the field of machine learning, the automotive industry pushes
towards automated driving. The development of traditional safety-critical automotive …
towards automated driving. The development of traditional safety-critical automotive …
Autonomics: In search of a foundation for next-generation autonomous systems
The potential benefits of autonomous systems are obvious. However, there are still major
issues to be dealt with before developing such systems becomes a commonplace …
issues to be dealt with before developing such systems becomes a commonplace …
Safety performance boundary identification of highly automated vehicles: A surrogate model-based gradient descent searching approach
Highly automated vehicles (HAVs) have been introduced to the transportation system for the
purpose of providing safer mobility. Considering the expected long co-existence period of …
purpose of providing safer mobility. Considering the expected long co-existence period of …
Safety assurance of artificial intelligence-based systems: A systematic literature review on the state of the art and guidelines for future work
AVS Neto, JB Camargo, JR Almeida… - IEEE Access, 2022 - ieeexplore.ieee.org
The objective of this research is to present the state of the art of the safety assurance of
Artificial Intelligence (AI)-based systems and guidelines on future correlated work. For this …
Artificial Intelligence (AI)-based systems and guidelines on future correlated work. For this …