Sign inSubmit

Journal of Computer Science

ISSN 1549-3636 (print)eISSN 1552-6607 (online) Open access
Sign up for alertsSubmit manuscript
computersciencejournal.org is not ours. This journal is published only at thescipub.com/jcs. Report a suspicious emailcomputersciencejournal.org is not ours · Report
ArticleMetrics
Research Article · Free to read · Published 9 July 2013

FORMAL VERIFICATION OF SAFETY MESSAGE DISSEMINATION PROTOCOL FOR VANETS

M. A. Berlin1 & Sheila Anand1

Journal of Computer Science, Volume 9, Issue 8, pp. 1069–1078 · doi.org/10.3844/jcssp.2013.1069.1078

6,858 accesses5,750 downloads4 citations (Crossref)Metrics
Cite Check for updates

Abstract

This paper presents a formal verification of a safety message dissemination protocol used in vehicular ad-hoc networks. It is proposed to use Road Side Units to broadcast road hazard information to vehicles travelling on highways. Quick dissemination of road hazard information, like road blocks, slippery roads and other obstacles can help to prevent road accidents and improve passenger safety. Formal verification is a mathematical approach that helps developers to validate the protocol and correct design errors. The well known model checker, SPIN has been used to model the possible behavior of the protocol and provide formal verification of the correctness of the protocol.

Licence and reuse

Free to read. This article carries the publisher’s copyright, as printed on it: © 2013 Science Publications. It is free to read; ask us before reusing it.

How to reuse this article

Responses (0)

Have a comment on this research? Sign in to respond. Responses are moderated and published with your name and affiliation; the authors are invited to reply. How we use your dataWrite a response

About this article

Cite this article

Berlin, M. A. & Anand, S. (2013). FORMAL VERIFICATION OF SAFETY MESSAGE DISSEMINATION PROTOCOL FOR VANETS. Journal of Computer Science, 9(8), 1069–1078. https://doi.org/10.3844/jcssp.2013.1069.1078

Licence
© Science Publications
Issue
Volume 9, Issue 8
Policies
Editorial independenceUse of generative AIData availabilityAppeals and complaints
Version
Version of record
FORMAL VERIFICATION OF SAFETY MESSAGE DISSEMINATION PROTOCOL FOR VANETSJournal of Computer Science · Volume 9, Issue 8 · pp. 1069–1078 · © Science PublicationsDownload