Quantitative Safety Analysis of a Coordinated Emergency Brake Protocol for Vehicle Platoons
| Autor: | Fabian Ström, Carl Bergenhem, Karl Meinke |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2018 |
| Předmět: |
safety boundaries
Model checking 050210 logistics & transportation learning-based testing quantitative analysis Computer Sciences Computer science 05 social sciences 020207 software engineering Control engineering 02 engineering and technology coordinated braking vehicle platoon Datavetenskap (datalogi) Co-CPS Quantitative analysis (finance) vehicle platoon learning-based testing Co-CPS safety boundaries quantitative analysis coordinated braking 0502 economics and business 0202 electrical engineering electronic engineering information engineering Platoon Protocol (object-oriented programming) Emergency brake |
| Zdroj: | Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems ISBN: 9783030034238 ISoLA (3) |
| DOI: | 10.5281/zenodo.2635772 |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|