| Title |
Formal models for intelligent speed validation and adaptation |
| ID_Doc |
43626 |
| Authors |
Spichkova, M; Simic, M; Schmidt, H; Cheng, J; Dong, XN; Gui, YX; Liang, Y; Ling, P; Yin, ZX |
| Title |
Formal models for intelligent speed validation and adaptation |
| Year |
2016 |
| Published |
|
| DOI |
10.1016/j.procs.2016.08.208 |
| Abstract |
This paper presents an approach for an intelligent speed validation and adaptation. The approach focuses on formal modelling of the corresponding smart vehicle units, to increase the road safety as well as to allow formal analysis of the smart vehicle behaviour. We suggest a number of models for speed check/limitation units, which reflect differences in the speed limits in several countries. We also present our results from the case studies, based on two implementations of the model as an iOS and an Android app for Intelligent Speed Adaptation. (C) 2016 The Authors. Published by Elsevier B.V. |
| Author Keywords |
Road Safety; Intelligent Vehicle; Transport system; Smart City |
| Index Keywords |
Index Keywords |
| Document Type |
Other |
| Open Access |
Open Access |
| Source |
Conference Proceedings Citation Index - Science (CPCI-S) |
| EID |
WOS:000383252400174 |
| WoS Category |
Computer Science, Theory & Methods; Engineering, Electrical & Electronic |
| Research Area |
Computer Science; Engineering |
| PDF |
https://doi.org/10.1016/j.procs.2016.08.208
|