DocumentCode
3114059
Title
Using BIP for Modeling and Verification of Networked Systems -- A Case Study on TinyOS-based Networks
Author
Basu, Ananda ; Mounier, Laurent ; Poulhiès, Marc ; Pulou, Jacques ; Sifakis, Joseph
fYear
2007
fDate
12-14 July 2007
Firstpage
257
Lastpage
260
Abstract
We apply a model construction methodology to TinyOS- based networks, using the behavior-interaction-priority (BIP) component framework. The methodology consists in building the model of a node as the composition of a model extracted from a nesC program describing the application, and models of TinyOS components. Models for networks are obtained by composition of models for nodes by using BIP connectors implementing different types of radio chan- nels. This opens the way for enhanced analysis and early error detection by using verification techniques.
Keywords
operating systems (computers); wireless channels; wireless sensor networks; BIP; TinyOS-based networks; behavior-interaction-priority component framework; error detection; nesC program; networked systems; radio channels; verification techniques; Application software; Buildings; Connectors; Error analysis; Hardware; Power system modeling; Software tools; Space exploration; State-space methods; Wireless sensor networks;
fLanguage
English
Publisher
ieee
Conference_Titel
Network Computing and Applications, 2007. NCA 2007. Sixth IEEE International Symposium on
Conference_Location
Cambridge, MA
Print_ISBN
0-7695-2922-4
Type
conf
DOI
10.1109/NCA.2007.52
Filename
4276630
Link To Document