Using BIP for modeling and verification of networked systems - A case study on TinyOS-based networks
Basu, Ananda; Mounier, Laurent; Poulhies, Marc; Pulou, Jacques; Sifakis, Joseph
2007

Files

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 channels. This opens the way for enhanced analysis and early error detection by using verification techniques. © 2007 IEEE.

Details

Title Using BIP for modeling and verification of networked systems - A case study on TinyOS-based networks
Author(s) Basu, Ananda ; Mounier, Laurent ; Poulhies, Marc ; Pulou, Jacques ; Sifakis, Joseph
Published in Proceedings - 6th IEEE International Symposium on Network Computing and Applications, NCA 2007
Pages 257-260
Conference Proceedings - 6th IEEE International Symposium on Network Computing and Applications, NCA 2007, Cambridge, MA, United states
Date 2007
Keywords
DOI https://doi.org/10.1109/NCA.2007.52
Laboratories RISD
Record Appears in Scientific production and competences > I&C - School of Computer and Communication Sciences > IC Archives > RISD - Rigorous System Design Laboratory
Peer-reviewed publications
Work outside EPFL
Conference Papers
Published
Record creation date 2013-03-14

Actions

Preview