loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Sixth IEEE International Symposium on Network Computing and Applications (NCA 2007)
Using BIP for Modeling and Verification of Networked Systems -- A Case Study on TinyOS-based Networks
Cambridge, Massachusetts
July 12-July 14
ISBN: 0-7695-2922-4
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.