MODEL-CHECKING TECHNIQUES FOR RELIABLE COMMUNICATION OVER UNRELIABLE MEDIA

Saleem Vighio, Anders P. Ravn

Abstract


We  present  a  simple  approach  to  modeling  and  verification  of the well-known Alternating Bit Protocol using  the  model  checker  UPPAAL to  investigate  different communication assumptions  of  the protocol, for instance that the messages can be lost or corrupted during the ransmission. We verify safety and liveness properties of the protocol for reliable communication and ensure that the protocol satisfies these properties even in the case of message failures.


Full Text:

PDF

Refbacks

  • There are currently no refbacks.


Copyright (c) 2015 Sindh University Research Journal - SURJ (Science Series)

 Copyright © University of Sindh, Jamshoro. 2017 All Rights Reserved.
Printing and Publication by: Sindh University Press.