Title :
Mobile Systems from a Validation Perspective: a Case Study
Author :
Waeselynck, Hélène ; Micskei, Zoltán ; Minh Duc Nguyen ; Rivière, Nicolas
Author_Institution :
LAAS-CNRS, Toulouse
Abstract :
Advances in wireless networking have yielded the development of mobile applications. However, sound technology to specify, design and validate such applications is still to be investigated. In order to exemplify some of the challenges that are raised, this paper reports on a case study: a group membership protocol for ad hoc networks. The protocol has been analyzed by reviewing the specification and the code, and then by testing the implementation. The outcomes provides us with hints for research direction.
Keywords :
ad hoc networks; mobile radio; protocols; ad hoc networks; group membership protocol; mobile systems; wireless networking; Ad hoc networks; Computer networks; Merging; Middleware; Mobile computing; Open source software; Personal digital assistants; Protocols; Reverse engineering; Testing;
Conference_Titel :
Parallel and Distributed Computing, 2007. ISPDC '07. Sixth International Symposium on
Conference_Location :
Hagenberg
DOI :
10.1109/ISPDC.2007.37
