Design and Verification of Communication Protocols for Peer-to-Peer Multimedia Systems

Author

Velipasalar, Senem ; Lin, Chang-Hong ; Schlessman, Jason ; Wolf, Wayne

Author_Institution

Dept. of Electr. Eng., Princeton Univ., NJ

fYear

2006

fDate

9-12 July 2006

Firstpage

1421

Lastpage

1424

Abstract

This paper addresses issues pertaining to the necessity of utilizing formal verification methods in the design of protocols for peer-to-peer multimedia systems. These systems require sophisticated communication protocols, and these protocols require verification. We discuss two sample protocols designed for two distinct peer-to-peer computer vision applications, namely multi-object multi-camera tracking and distributed gesture recognition. We present simulation and verification results for these protocols, obtained by using the SPIN verification tool, and discuss the importance of verifying the protocols used in peer-to-peer multimedia systems

Keywords

computer vision; formal verification; gesture recognition; multimedia communication; object recognition; peer-to-peer computing; protocols; SPIN verification tool; communication protocol; computer vision application; distributed gesture recognition; formal verification method; multiobject multicamera tracking; peer-to-peer multimedia system; Automata; Cameras; Communication system security; Cryptographic protocols; Formal verification; Multimedia systems; Peer to peer computing; Quality of service; Streaming media; Target tracking;

fLanguage

English

Publisher

ieee

Conference_Titel

Multimedia and Expo, 2006 IEEE International Conference on

Conference_Location

Toronto, Ont.

Print_ISBN

1-4244-0366-7

Electronic_ISBN

1-4244-0367-7

Type

conf

DOI

10.1109/ICME.2006.262806

Filename

4036876