Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Verification Methodology for Fully Autonomous Heavy Vehicles
KTH, Skolan för industriell teknik och management (ITM), Maskinkonstruktion (Inst.), Mekatronik.
2016 (engelsk)Inngår i: Proceedings - 2016 IEEE International Conference on Software Testing, Verification and Validation, ICST 2016, IEEE conference proceedings, 2016, s. 381-382Konferansepaper, Publicerat paper (Fagfellevurdert)
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.

sted, utgiver, år, opplag, sider
IEEE conference proceedings, 2016. s. 381-382
Emneord [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
HSV kategori
Identifikatorer
URN: urn:nbn:se:kth:diva-197131DOI: 10.1109/ICST.2016.42ISI: 000391252900038Scopus ID: 2-s2.0-84983371297ISBN: 9781509018260 (tryckt)OAI: oai:DiVA.org:kth-197131DiVA, id: diva2:1056228
Konferanse
9th IEEE International Conference on Software Testing, Verification and Validation, ICST 2016, 10 April 2016 through 15 April 2016
Merknad

QC 20161214

Tilgjengelig fra: 2016-12-14 Laget: 2016-11-30 Sist oppdatert: 2022-06-27bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Forlagets fulltekstScopushttps://www.cs.uic.edu/~icst2016/

Person

Gustavsson, Joakim

Søk i DiVA

Av forfatter/redaktør
Gustavsson, Joakim
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric

doi
isbn
urn-nbn
Totalt: 66 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf