{"DOI":"10.5281/zenodo.2635772","abstract":"In this paper, we present a general methodology to estimate
\nsafety related parameter values of cooperative cyber-physical system-of-
\nsystems. As a case study, we consider a vehicle platoon model equipped
\nwith a novel distributed protocol for coordinated emergency braking.
\nThe estimation methodology is based on learning-based testing; which is
\nan approach to automated requirements testing that combines machine
\nlearning with model checking.
\nOur methodology takes into account vehicle dynamics, control algorithm
\ndesign, inter-vehicle communication protocols and environmental factors
\nsuch as message packet loss rates. Empirical measurements from road
\ntesting of vehicle-to-vehicle communication in a platoon are modeled
\nand used in our case study. We demonstrate that the minimum global
\ntime headway for our platoon model equipped with the CEBP function
\nscales well with respect to platoon size.","author":[{"family":"Bergenhem","given":"Carl"},{"family":"Meinke","given":"Karl"},{"family":"Str\u00f6m","given":"Fabian"}],"id":"unknown","issued":{"date-parts":[[2018,11,5]]},"language":"en","publisher":"Zenodo","title":"Quantitative Safety Analysis of a Coordinated Emergency Brake Protocol for Vehicle Platoons","type":"article-journal"}