By Topic

Formal Approaches to Wireless Sensor Networks

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

5 Author(s)
Si Liu ; Shanghai Key Lab. of Trustworthy Comput., East China Normal Univ., Shanghai, China ; Xiaofeng Wu ; Qin Li ; Huibiao Zhu
more authors

Wireless sensor networking, as a burgeoning technology, supports the monitoring of physical environments and control of sensor data, and has been widely applied in many fields. Due to its unique features, a number of formal theories, as well as verification tools, have been developed to make an in-depth study. In this paper, we propose a timed broadcasting language, the Timed Wireless Sensor Processes, with its operational semantics borrowing ideas from both the Timed CSP and the CBS. Moreover, we abstract a model of contention-based wireless sensor networking systems and formalize it using our language. We also simulate real-world scenarios in terms of labeled transition systems to demonstrate our methods in describing the dynamic behaviors of wireless systems.

Published in:

Secure Software Integration & Reliability Improvement Companion (SSIRI-C), 2011 5th International Conference on

Date of Conference:

27-29 June 2011