Using BIP for modeling and verification of networked systems - A case study on TinyOS-based networksReportar como inadecuado




Using BIP for modeling and verification of networked systems - A case study on TinyOS-based networks - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

Presented at: Proceedings - 6th IEEE International Symposium on Network Computing and Applications, NCA 2007, Cambridge, MA, United states Published in: Proceedings - 6th IEEE International Symposium on Network Computing and Applications, NCA 2007, p. 257 - 260 Publication date: 2007

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.

Keywords: Computer systems ; Error detection ; Structure (composition) ; Technical presentations Reference EPFL-CONF-185007doi:10.1109/NCA.2007.52





Autor: Basu, Ananda; Mounier, Laurent; Poulhies, Marc; Pulou, Jacques; Sifakis, Joseph

Fuente: https://infoscience.epfl.ch/record/185007?ln=en







Documentos relacionados