https://www.mdu.se/

mdu.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Software Verification and Validation of Safe Autonomous Cars: A SystematicLiterature Review
Linnaeus University, Sweden.
Mälardalen University, School of Innovation, Design and Engineering, Innovation and Product Realisation. Linnaeus University, Sweden.ORCID iD: 0000-0002-2833-7196
University of Reggio, Calabria, Italy.
University of Napoli Federico II, 80125 Naples, Italy.
2021 (English)In: IEEE Access, E-ISSN 2169-3536, Vol. 9, p. 4797-4819Article, review/survey (Refereed) Published
Abstract [en]

Autonomous, or self-driving, cars are emerging as the solution to several problems primarilycaused by humans on roads, such as accidents and traffic congestion. However, those benefits come withgreat challenges in the verification and validation (V&V) for safety assessment. In fact, due to the possiblyunpredictable nature of Artificial Intelligence (AI), its use in autonomous cars creates concerns that need tobe addressed using appropriate V&V processes that can address trustworthy AI and safe autonomy. In thisstudy, the relevant research literature in recent years has been systematically reviewed and classified inorder to investigate the state-of-the-art in the software V&V of autonomous cars. By appropriate criteria,a subset of primary studies has been selected for more in-depth analysis. The first part of the reviewaddresses certification issues against reference standards, challenges in assessing machine learning, as wellas general V&V methodologies. The second part investigates more specific approaches, including simulationenvironments and mutation testing, corner cases and adversarial examples, fault injection, software safetycages, techniques for cyber-physical systems, and formal methods. Relevant approaches and related toolshave been discussed and compared in order to highlight open issues and opportunities.

Place, publisher, year, edition, pages
2021. Vol. 9, p. 4797-4819
National Category
Production Engineering, Human Work Science and Ergonomics
Identifiers
URN: urn:nbn:se:mdh:diva-53366DOI: 10.1109/ACCESS.2020.3048047ISI: 000607659700001Scopus ID: 2-s2.0-85099099686OAI: oai:DiVA.org:mdh-53366DiVA, id: diva2:1526621
Available from: 2021-02-08 Created: 2021-02-08 Last updated: 2021-11-05Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records

Flammini, Francesco

Search in DiVA

By author/editor
Flammini, Francesco
By organisation
Innovation and Product Realisation
In the same journal
IEEE Access
Production Engineering, Human Work Science and Ergonomics

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 79 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf