loading...
Using BIP for Modeling and Verification of Networked Systems -- A Case Study on TinyOS-based Networks
Cambridge, Massachusetts July 12-July 14
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/NCA.2007.52Sixth IEEE International Symposium on ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Ananda Basu, Laurent Mounier, Marc Poulhi?, Jacques Pulou, Joseph Sifakis, "Using BIP for Modeling and Verification of Networked Systems -- A Case Study on TinyOS-based Networks," Network Computing and Applications, IEEE International Symposium on, pp. 257-260, Sixth IEEE International Symposium on Network Computing and Applications (NCA 2007), 2007.
 
 
BibTex
x
 
@article{ 10.1109/NCA.2007.52,
author = {Ananda Basu and Laurent Mounier and Marc Poulhi? and Jacques Pulou and Joseph Sifakis},
title = {Using BIP for Modeling and Verification of Networked Systems -- A Case Study on TinyOS-based Networks},
journal ={Network Computing and Applications, IEEE International Symposium on},
volume = {0},
year = {2007},
isbn = {0-7695-2922-4},
pages = {257-260},
doi = {http://doi.ieeecomputersociety.org/10.1109/NCA.2007.52},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Network Computing and Applications, IEEE International Symposium on
TI - Using BIP for Modeling and Verification of Networked Systems -- A Case Study on TinyOS-based Networks
SN - 0-7695-2922-4
SP257
EP260
A1 - Ananda Basu,
A1 - Laurent Mounier,
A1 - Marc Poulhi?,
A1 - Jacques Pulou,
A1 - Joseph Sifakis,
PY - 2007
KW - null
VL - 0
JA - Network Computing and Applications, IEEE International Symposium on
ER -
 
Ananda Basu, Imag, France
Laurent Mounier, Imag, France
Marc Poulhi?, Imag, France
Jacques Pulou, Orange-ft group
Joseph Sifakis, Imag, France
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.
Citation:
Ananda Basu, Laurent Mounier, Marc Poulhi?, Jacques Pulou, Joseph Sifakis, "Using BIP for Modeling and Verification of Networked Systems -- A Case Study on TinyOS-based Networks," nca, pp.257-260, Sixth IEEE International Symposium on Network Computing and Applications (NCA 2007), 2007
Usage of this product signifies your acceptance of the Terms of Use.


Suggestions