Using BIP for Modeling and Verification of Networked Systems -- A Case Study on TinyOS-based Networks
暂无分享,去创建一个
Jacques Pulou | Joseph Sifakis | Ananda Basu | Laurent Mounier | Marc Poulhiès | J. Sifakis | L. Mounier | A. Basu | Marc Poulhiès | J. Pulou
[1] Joseph Sifakis. A framework for component-based construction , 2005, Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05).
[2] Marius Bozga,et al. IF-2.0: A Validation Environment for Component-Based Real-Time Systems , 2002, CAV.
[3] Joseph Sifakis,et al. Modeling Heterogeneous Real-time Components in BIP , 2006, Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06).
[4] Liviu Iftode,et al. Sixth IEEE International Symposium on Network Computing and Applications (NCA 2007), 12 - 14 July 2007, Cambridge, MA, USA , 2007, IEEE International Symposium on Network Computing and Applications.
[5] Joseph Sifakis,et al. The IF Toolset , 2004, SFM.
[6] Deborah Estrin,et al. Tools for Deployment and Simulation of Heterogeneous Sensor Networks , 2004 .
[7] Edward A. Lee,et al. Joint Modeling and Design of Wireless Networks and Sensor Node Software , 2006 .
[8] David E. Culler,et al. The nesC language: A holistic approach to networked embedded systems , 2003, PLDI '03.
[9] David E. Culler,et al. TOSSIM: accurate and scalable simulation of entire TinyOS applications , 2003, SenSys '03.
[10] Deborah Estrin,et al. A system for simulation, emulation, and deployment of heterogeneous sensor networks , 2004, SenSys '04.
[11] John S. Baras,et al. ATEMU: a fine-grained sensor network simulator , 2004, 2004 First Annual IEEE Communications Society Conference on Sensor and Ad Hoc Communications and Networks, 2004. IEEE SECON 2004..
[12] Jens Palsberg,et al. Avrora: scalable sensor network simulation with precise timing , 2005, IPSN 2005. Fourth International Symposium on Information Processing in Sensor Networks, 2005..