Verifying vehicle control systems by using process calculi
by Gabriel Ciobanu; Armand Stefan Rotaru
International Journal of Ad Hoc and Ubiquitous Computing (IJAHUC), Vol. 21, No. 1, 2016

Abstract: The paper deals with the safety of car control systems in which vehicle-to-vehicle interactions are described in a modular and compositional manner. Such a description simplifies a complex verification process, which involves control decisions regarding acceleration, deceleration, lane switching and braking distance. We focus on the problem of adjusting vehicle speed in order to maintain a proper distance between vehicles on the same lane. The components of the control system are represented as processes in the process algebra Communicating Sequential Processes, and the compositional parallel operator is used to describe the whole system. Safety properties are formally verified by employing the Concurrency Workbench of the New Century tool.

Online publication date: Wed, 27-Jan-2016

The full text of this article is only available to individual subscribers or to users at subscribing institutions.

 
Existing subscribers:
Go to Inderscience Online Journals to access the Full Text of this article.

Pay per view:
If you are not a subscriber and you just want to read the full contents of this article, buy online access here.

Complimentary Subscribers, Editors or Members of the Editorial Board of the International Journal of Ad Hoc and Ubiquitous Computing (IJAHUC):
Login with your Inderscience username and password:

Username:        Password:          Forgotten your password?

Want to subscribe?
A subscription gives you complete access to all articles in the current issue, as well as to all articles in the previous three years (where applicable). See our Orders page to subscribe.

If you still need assistance, please email subs@inderscience.com