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
Quantitative Safety Analysis of a Coordinated Emergency Brake Protocol for Vehicle Platoons
Qamcom Research and Technology AB.
KTH, Superseded Departments (pre-2005), Numerical Analysis and Computer Science, NADA. KTH, School of Electrical Engineering and Computer Science (EECS), Theoretical Computer Science, TCS.ORCID iD: 0000-0002-9706-5008
KTH, School of Electrical Engineering and Computer Science (EECS).
2018 (English)In: Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems - 8th International Symposium, ISoLA 2018 / [ed] Tiziana Margaria, Bernhard Steffen, Springer, 2018, Vol. 11246, p. 386-404Conference paper, Published paper (Refereed)
Abstract [en]

In this paper, we present a general methodology to estimate safety related parameter values of cooperative cyber-physical system-of- systems. As a case study, we consider a vehicle platoon model equipped with a novel distributed protocol for coordinated emergency braking. The estimation methodology is based on learning-based testing; which is an approach to automated requirements testing that combines machine learning with model checking.

Our methodology takes into account vehicle dynamics, control algorithm design, inter-vehicle communication protocols and environmental factors such as message packet loss rates. Empirical measurements from road testing of vehicle-to-vehicle communication in a platoon are modeled and used in our case study. We demonstrate that the minimum global time headway for our platoon model equipped with the CEBP function scales well with respect to platoon size.

Place, publisher, year, edition, pages
Springer, 2018. Vol. 11246, p. 386-404
Series
Lecture Notes in Computer Science
Keywords [en]
vehicle platoon, learning-based testing, Co-CPS, safety boundaries, quantitative analysis, coordinated braking
National Category
Computer Sciences
Research subject
Computer Science
Identifiers
URN: urn:nbn:se:kth:diva-257965DOI: 10.1007/978-3-030-03424-5\_26ISBN: 978-3-030-03423-8 (print)OAI: oai:DiVA.org:kth-257965DiVA, id: diva2:1349608
Conference
8th International Symposium, ISoLA 2018, Limassol, Cyprus
Funder
EU, Horizon 2020, 692529-2
Note

QC 20190925

Available from: 2019-09-09 Created: 2019-09-09 Last updated: 2019-09-25Bibliographically approved

Open Access in DiVA

fulltext(530 kB)16 downloads
File information
File name FULLTEXT01.pdfFile size 530 kBChecksum SHA-512
4dd4f3a63560658b63ce758dde9f6f3a09efb88d6fdfe4daea7cec1d632aaeb8bdfad5e2ec0494bff12680594b370717cbf3533f3e2ff429424ed1d27d1e751d
Type fulltextMimetype application/pdf

Other links

Publisher's full texthttps://link.springer.com/chapter/10.1007/978-3-030-03424-5_26

Search in DiVA

By author/editor
Meinke, KarlStröm, Fabian
By organisation
Numerical Analysis and Computer Science, NADATheoretical Computer Science, TCSSchool of Electrical Engineering and Computer Science (EECS)
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar
Total: 16 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 32 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