Formal Models for Intelligent Speed Validation and Adaptation | Zendy

Maria Spichkova | Zendy; Milan Simić | Zendy; Heinz Schmidt | Zendy; Jian Cheng | Zendy; Xuening Dong | Zendy; Yuxi Gui | Zendy; Yin Liang | Zendy; Peng Ling | Zendy; Zixiong Yin | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Formal Models for Intelligent Speed Validation and Adaptation

Author(s) -

Maria Spichkova,

Milan Simić,

Heinz Schmidt,

Jian Cheng,

Xuening Dong,

Yuxi Gui,

Yin Liang,

Peng Ling,

Zixiong Yin

Publication year - 2016

Publication title -

procedia computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.334

H-Index - 76

ISSN - 1877-0509

DOI - 10.1016/j.procs.2016.08.208

Subject(s) - computer science , adaptation (eye) , implementation , android (operating system) , speedup , intelligent transportation system , formal methods , embedded system , simulation , real time computing , software engineering , operating system , civil engineering , physics , optics , engineering

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

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research