Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • 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
Verification Methodology for Fully Autonomous Heavy Vehicles
KTH, School of Industrial Engineering and Management (ITM), Machine Design (Dept.), Mechatronics.
2016 (English)In: Proceedings - 2016 IEEE International Conference on Software Testing, Verification and Validation, ICST 2016, IEEE conference proceedings, 2016, 381-382 p.Conference paper (Refereed)
Abstract [en]

The introduction of fully autonomous vehicles posesa number of concerns regarding the safety and dependability ofvehicle operation. Best practice standards within the automotiveindustry rely on the driver operating the vehicle. With thetransition away from manual control, an increased emphasishas to be placed on verification during the vehicle developmentstages. The work presented within this paper aims to establisha framework for the various verification activities performedduring development, and their impact on the safety of the vehicle, as well as a set of guidelines for verification of the decision makingprocess of autonomous vehicles.

Place, publisher, year, edition, pages
IEEE conference proceedings, 2016. 381-382 p.
Keyword [en]
Formal verification, Intelligent vehicles, Mathematical model, Road vehicles, System testing, Vehicle safety, Crashworthiness, Decision making, Intelligent vehicle highway systems, Mathematical models, Safety testing, Software testing, Vehicles, Autonomous Vehicles, Fully-autonomous vehicles, Safety and dependability, Verification activities, Verification methodology, Verification
National Category
Vehicle Engineering
Identifiers
URN: urn:nbn:se:kth:diva-197131DOI: 10.1109/ICST.2016.42ISI: 000391252900038ScopusID: 2-s2.0-84983371297ISBN: 9781509018260 (print)OAI: oai:DiVA.org:kth-197131DiVA: diva2:1056228
Conference
9th IEEE International Conference on Software Testing, Verification and Validation, ICST 2016, 10 April 2016 through 15 April 2016
Note

QC 20161214

Available from: 2016-12-14 Created: 2016-11-30 Last updated: 2017-02-02Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopushttps://www.cs.uic.edu/~icst2016/

Search in DiVA

By author/editor
Gustavsson, Joakim
By organisation
Mechatronics
Vehicle Engineering

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 8 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • 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