Wireless Sensor Networks Testing and Validation - Networked Embedded Systems - page 264

. J. Yang, M. L. Soffa, L. Selavo, and K. Whitehouse, Clairvoyant: A comprehensive source-level
debugger for wireless sensor networks, in Proc. th ACM Conf. Embedded Networked Sensor Systems
(SenSys ) ,Sydney,Australia,,-.
. P. Corke, P. Valencia, P. Sikka, T. Wark, and L. Overs, Long-duration solar-powered wireless sensor
networks, in Proc. th IEEE Workshop on Embedded Networked Sensors (EmNetS-IV) ,Cork,Ireland,
, pp. -.
. J.Rabaey,M.Ammer,J.daSilvaJr.,D.Patel,andS.Roundy,PicoRadiosupportsadhocultra-low
power wireless networking, IEEE Computer , (), -, July .
. G. Pottie and W. Kaiser, Wireless integrated network sensors, Communications of the ACM ,(),
-, May .
.M.Woehrle,C.Plessl,R.Lim,J.Beutel,andL.hiele,EvAnT:Analysisandcheckingofevent
traces for wireless sensor networks, in Proc.  IEEE International Conference on Sensor Networks,
Ubiquitous, and Trustworthy Computing (SUTC ) ,Washington,DC,June,pp.-.
. R. Schwarz and F. Mattern, Detecting causal relationships in distributed computations: In
search of the holy grail, Distributed Computing , (), -, . [Online]. Available at:
citeseer.ist.psu.edu/article/schwarzdetecting.html
. R. Szewczyk, E. Osterweil, J. Polastre, M. Hamilton, A. Mainwaring, and D. Estrin, Habitat monitoring
with sensor networks, Commun. ACM ,(),-,.
. Texas Instruments, Msp ultra-low power microcontrollers overview from Texas Instruments,
September . [Online]. Available at: http: //focus.ti.com/mcu/docs/mcuhome.tsp?sectionId=
. J.P.BowenandM.G.Hinchey,Tencommandmentsofformalmethods...tenyearslater, Computer ,
(), -, .
. D. E. Michael Allen and L. Girod, Acoustic laptops as a research enabler, in Proc. th IEEE Workshop
on Embedded Networked Sensors (EmNetS-IV) ,Cork,Ireland,,pp.-.
. R. King and L. Atallah, An hmm framework for optimal sensor selection with applications to bsn
sensor glove design, in Proc. th IEEE Workshop on Embedded Networked Sensors (EmNetS-IV) ,Cork,
Ireland, , pp. -.
. Sun, WSN platform, http://www.sunspotworld.com/.
. J.Gray,Whydocomputersstopandwhatcanbedoneaboutit?in Proc.thSymp.Reliabilityin
DistributedSotwareandDatabaseSystems(SRDS) , Los Angeles, CA, January , pp. -.
. P. Levis, N. Lee, M. Welsh, and D. Culler, TOSSIM: Accurate and scalable simulation of entire TinyOS
applications, in Proc. st ACM Conf. Embedded Networked Sensor Systems (SenSys ) , Los Angeles,
CA, November , pp. -.
. M. Maifi, H. Khan, T. Abdelzaher, and K. K. Gupta, Towards diagnostic simulation in sensor
networks, in Distributed Computing in Sensor Systems . Springer, Berlin/Heidelberg, .
. GloMoSim, Network simulator, http://pcl.cs.ucla.edu/projects/glomosim
. National ICT Australia, National ICT Australia—Eastalia [home], September . [Online].
Available at: http://castalia.npc.nicta.com.au/
. Main page Nsnam, October . [Online]. Available at: http://nsnam.isi.edu/nsnam/index.php/
. L.Girod,N.Ramanathan,J.Elson,T.Stathopoulos,M.Lukac,andD.Estrin,Emstar:Asotwareenvi-
ronment for developing and deploying heterogeneous sensor-actuator networks, ACM Transactions
on Sensor Networks , (), , .
. G. Werner-Allen, P. Swieskowski, and M. Welsh, MoteLab: A wireless sensor network testbed, in
Proc. th Int'l Conf. Information Processing Sensor Networks (IPSN ') , April , pp. -.
. M. Dyer, J. Beutel, L. hiele, T. Kalt, P. Oehen, K. Martin, and P. Blum, Deployment support network—
AtoolkitforthedevelopmentofWSNs,in Proc. th European Workshop on Sensor Networks (EWSN
) ,Delt,theNetherlands,,pp.-.
. V. Turau, M. Witt, and M. Venzke, Field trials with wireless sensor networks: Issues and remedies,
in Proc. of the Int'l Multi-Conference on Computing in the Global Information Technology (ICCGI ') ,
, p. .