Run time assurance of application-level requirements in wireless sensor networks
暂无分享,去创建一个
Sang Hyuk Son | Jingyuan Li | Kamin Whitehouse | John A. Stankovic | Krasimira Kapitanova | Yafeng Wu | K. Whitehouse | J. Stankovic | S. Son | Krasimira Kapitanova | Yafeng Wu | Jingyuan Li
[1] Chieh-Yih Wan,et al. CODA: congestion detection and avoidance in sensor networks , 2003, SenSys '03.
[2] Mengjie Yu,et al. Fault management in wireless sensor networks , 2007, IEEE Wireless Communications.
[3] Adam Kolawa,et al. Automated Defect Prevention , 2007 .
[4] Sang Hyuk Son,et al. GEM: Generic Event Service Middleware for Wireless Sensor Networks , 2005 .
[5] Parameswaran Ramanathan,et al. Fault tolerance in collaborative sensor networks for target detection , 2004, IEEE Transactions on Computers.
[6] Hari Balakrishnan,et al. Memento: A Health Monitoring System for Wireless Sensor Networks , 2006, 2006 3rd Annual IEEE Communications Society on Sensor and Ad Hoc Communications and Networks.
[7] John Regehr,et al. Random testing of interrupt-driven software , 2005, EMSOFT.
[8] Matt Welsh,et al. LiveNet: Using Passive Monitoring to Reconstruct Sensor Network Dynamics , 2008, DCOSS.
[9] Kay Römer,et al. Passive Inspection of Sensor Networks , 2007, DCOSS.
[10] David E. Culler,et al. Design of an application-cooperative management system for wireless sensor networks , 2005, Proceeedings of the Second European Workshop on Wireless Sensor Networks, 2005..
[11] Jonathan W. Hui,et al. Marionette: using RPC for interactive development and debugging of wireless embedded networks , 2006, 2006 5th International Conference on Information Processing in Sensor Networks.
[12] Antonio Alfredo Ferreira Loureiro,et al. Fault management in event-driven wireless sensor networks , 2004, MSWiM '04.
[13] Mary Lou Soffa,et al. Program representations for testing wireless sensor network applications , 2007, DOSTA '07.
[14] John A. Stankovic,et al. SeeDTV: deployment-time validation for wireless sensor networks , 2007, EmNets '07.
[15] Tarek F. Abdelzaher,et al. SNTS: Sensor Network Troubleshooting Suite , 2007, DCOSS.
[16] David E. Culler,et al. TinyOS: An Operating System for Sensor Networks , 2005, Ambient Intelligence.
[17] Rüdiger Valk,et al. Petri nets for systems engineering - a guide to modeling, verification, and applications , 2010 .
[18] Deborah Estrin,et al. Sympathy for the sensor network debugger , 2005, SenSys '05.
[19] Tarek F. Abdelzaher,et al. Towards Diagnostic Simulation in Sensor Networks , 2008, DCOSS.
[20] Deborah Estrin,et al. Residual energy scan for monitoring sensor networks , 2002, 2002 IEEE Wireless Communications and Networking Conference Record. WCNC 2002 (Cat. No.02TH8609).
[21] Hongwei Zhang,et al. GS3: scalable self-configuration and self-healing in wireless sensor networks , 2003, Comput. Networks.
[22] Jiawei Han,et al. Dustminer: troubleshooting interactive complexity bugs in sensor networks , 2008, SenSys '08.
[23] Kamin Whitehouse,et al. Clairvoyant: a comprehensive source-level debugger for wireless sensor networks , 2007, SenSys '07.
[24] Gang Zhou,et al. Achieving Repeatability of Asynchronous Events in Wireless Sensor Networks with EnviroLog , 2006, Proceedings IEEE INFOCOM 2006. 25TH IEEE International Conference on Computer Communications.
[25] Antonio Alfredo Ferreira Loureiro,et al. MANNA: a management architecture for wireless sensor networks , 2003, IEEE Commun. Mag..
[26] David E. Culler,et al. An architecture for energy management in wireless sensor networks , 2007, SIGBED.
[27] Kamin Whitehouse,et al. Macrodebugging: global views of distributed program execution , 2009, SenSys '09.
[28] Qi Han,et al. Journal of Network and Systems Management ( c ○ 2007) DOI: 10.1007/s10922-007-9062-0 A Survey of Fault Management in Wireless Sensor Networks , 2022 .
[29] Saurabh Bagchi,et al. Adaptive correctness monitoring for wireless sensor networks using hierarchical distributed run-time invariant checking , 2007, TAAS.
[30] Lothar Thiele,et al. Deployment support network a toolkit for the development of WSNs , 2007 .
[31] David J. Parish,et al. Approximate wireless sensor network health monitoring , 2007, IWCMC.
[32] Shing-Chi Cheung,et al. Inter-context control-flow and data-flow test adequacy criteria for nesC applications , 2008, SIGSOFT '08/FSE-16.