TY  - JOUR
PY  - 2016//
TI  - Formal models for intelligent speed validation and adaptation
JO  - Procedia computer science
A1  - Spichkova, Maria
A1  - Simic, Milan
A1  - Schmidt, Heinrich
A1  - Cheng, Jian
A1  - Dong, Xuening
A1  - Gui, Yuxi
A1  - Liang, Yin
A1  - Ling, Peng
A1  - Yin, Zixiong
SP  - 1609
EP  - 1618
VL  - 96
IS  - 
N2  - 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.<p />  <p>Language: en</p>
LA  - en
SN  - 1877-0509
UR  - http://dx.doi.org/10.1016/j.procs.2016.08.208
ID  - ref1
ER  -