DocumentCode
3039907
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
fYear
2007
fDate
5-8 July 2007
Firstpage
14
Lastpage
14
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Parallel and Distributed Computing, 2007. ISPDC '07. Sixth International Symposium on
Conference_Location
Hagenberg
Print_ISBN
0-7695-2917
Type
conf
DOI
10.1109/ISPDC.2007.37
Filename
4271904
Link To Document