Formal models for intelligent speed validation and adaptation

Spichkova, M, Simic, M, Schmidt, H, Cheng, J, Dong, X, Gui, Y, Liang, Y, Ling, P and Yin, Z 2016, 'Formal models for intelligent speed validation and adaptation', Procedia Computer Science, vol. 96, pp. 1609-1618.

Document type: Journal Article
Collection: Journal Articles

Attached Files
Name Description MIMEType Size
n2006066792.pdf Published Version application/pdf 1.10MB
Title Formal models for intelligent speed validation and adaptation
Author(s) Spichkova, M
Simic, M
Schmidt, H
Cheng, J
Dong, X
Gui, Y
Liang, Y
Ling, P
Yin, Z
Year 2016
Journal name Procedia Computer Science
Volume number 96
Start page 1609
End page 1618
Total pages 10
Publisher Elsevier BV
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.
Subject Road Transportation and Freight Services
Autonomous Vehicles
Automotive Engineering not elsewhere classified
Keyword(s) Road Safety
Intelligent Vehicle
Transport system
Smart City
Copyright notice © 2016 The Authors. Published by Elsevier B.V. This is an open access article under the CC BY-NC-ND license (
ISSN 1877-0509
Version Filter Type
Access Statistics: 148 Abstract Views, 37 File Downloads  -  Detailed Statistics
Created: Wed, 28 Sep 2016, 10:08:00 EST by Catalyst Administrator
© 2014 RMIT Research Repository • Powered by Fez SoftwareContact us