Experimentation and Integration Plans

Experimentation and Integration Plans.

We plan to develop this NEST platform in close collaboration with the other NEST teams. The initial networked sensor node is based on a prototype developed with Prof. Kris Pister as part of his SmartDust work. We have already developed versions of it that are in used by Deborah Estrin's Groups at UCLA, and we have been working closely with Gaetano Borriello's group at University of Washington. We have a regular conference call and retreats. We intend to expand that aspect. We are developing tutorial material and documentation for TinyOS and scheduling preliminary workshops with the Sensit community. Intel and Crossbow have picked up parts of this technology.

Our approach is to get an initial version of the testbed and TinyOS programming environment out into the NEST community very early into the program. We intend to distribute testbeds 6 months into the program and hold an initial programming workshop to get all the teams on an active working basis, beyond the regular PI meetings.

We will then set up a repository to facilitate sharing software components and a shared support structure. Early algorithm development experience will provide critical feedback into the development of the FSM programming environment, debugging and visualization tools, and simulator.

We have a ten-month period of active feedback and interaction with the other contractors in shaping the main NEST platform, which will be delivered at 20 months. We will work closely with contractors at that point in developing testbeds tailored to their application and algorithm areas.

We intend that the phase 1 platform will be used heavily in composing algorithms developed by multiple contractors into larger applications. Thus, joint experiments will be natural. We have planned a second larger workshop around deploying the phase 1 platform and the macrocomputing environment.

Simulation tools will be actively shared throughout. We intend to borrow heavily from existing simulation code, such as NS, in the early development. We will set up a simulation service on our large clusters available to all NEST participants.

Internally we hold biannual retreats to bring together our students and industrial participants, and these would include other NEST contractors.

Section III. Additional Information




Figure 1: Prototype Network Microsensor Platform. Left is motherboard with microcontroller, low-power radio and expansion connector. Center is sensor protoboard containing photosensor, thermistor, and breadboard area. Right is 3D accelerometer board. Far right shows “laptop lab” with wireless sensor stack bay.






Figure 2: TinyOS Component graph for ad hoc networked sensor application



References
[chiodo95synthesis] M. Chiodo et al., Synthesis of Software Programs for Embedded Control Applications, Proc. of the 32nd DAC, June 1995, pp.587-592.
[os_bench] "Real-Time Consult",

http://www.realtime-info.com/encyc/market/rtos/eval_introduction.htm

[os9] "Microware OS-9", http://www.microware.com/ProductsServices/Technologies/os-91.html
[wince] Microsoft Corp., "Microsoft Windows CE", http://www.microsoft.com/windowsce/embedded/
[qnx-whitepaper] Dan Hildebrand, "An Architectural Overview of QNX",

http://www.qnx.com/literature/whitepapers/archoverview.html

[qnx-nutrino] QNX Software Systems Ltd., "QNX Neutrino Realtime OS",

http://www.qnx.com/products/os/neutrino.html

[bluetooth] "The Official Bluetooth Website",http://www.bluetooth.com
[uclinux] "uClinux, The Linux/Microcontroller Project",

http://www.uclinux.org/

[DIMMPClinux] EMJ EMBEDDED SYSTEMS, "White Dwarf Linux",

http://www.emjembedded.com/linux/dimmpc.html

[vxworks] "vxWorks 5.4 Datasheet",

http://www.windriver.com/products/html/vxwks54_ds.html

[palmos] "PalmOS Software 3.5 Overview",

http://www.palm.com/devzone/docs/palmos35.html

[picoradio] "Pico Radio",

http://bwrc.eecs.berkeley.edu/Research/Pico_Radio

[posek] "pOSEK, A super-small, scalable real-time operating system for high-volume, deeply embedded applications", http://www.isi.com/products/posek/index.htm
[bahl] P. Bahl and V. N. Padmanabhan, RADAR: An In-Building RF-Based User Location and Tracking System, Proceedings of IEEE INFOCOM 2000, Tel-Aviv, Israel, March 2000
[creem] "Barry Kauler, "CREEM Concurrent Realitme Embedded Executive for Microcontrollers",

http://www.goofee.com/creem.htm

[RFM] "RF Monolithics", http://www.rfm.com/products/data/tr1000.pdf
[arm-thumb] "Atmel AT91 Arm Thumb", http://www.atmel.com/atmel/products/prod35.htm
[atmel-avr] "Atmel AVR 8-Bit RISC processor",

http://www.atmel.com/atmel/products/prod23.htm

[winnt_overhead] VenturCom, Inc., "RTX vs. Windows NT Performance - See the Differences!",

http://www.vci.com/products/vci_products/rtx/rtx_vs_nt_performance.html

[ariel] Microware Ariel Technical Overview",

http://www.microware.com/ProductsServices/Technologies/ariel_technology_brief.html

[psos] "pSOSystem Datasheet",

http://www.windriver.com/products/html/psosystem_ds.html

[MANET] Mobile Ad-hoc Networks (manet)

http://www.ietf.org/html.charters/manet-charter.html
[TAM] D. Culler et. al., "Fine grain parallelism with minimal hardware

support: A compiler-controlled treaded abstract machine", Proceedings

of 4th International Conference on Architectural Support for

Programming Languages and Operating Systems", April 1991.

[smartdust] S. J. Pister, J. M. Kahn and B. E. Boser. Smart Dust:

Wireless Networks of Millimeter-Scale Sensor Nodes. Highlight

Article in 1999 Electronics Research Laboratory Research Summary.
[scout] A. B. Montz and D. Mosberger and S. W. O'Malley and L. L. Peterson and T. A. Proebsting., "Scout: A Communications-Oriented Operating System.", Hot OS, May 1995
[x-kernel] N. C. Hutchinson and L. L. Peterson.,

"The x-kernel: An architecture for implementing network protocols.",

IEEE Transactions on Software Engineering, 17(1):64--76, Jan 1991.
[stackable] J. S. Heidemann and G. J. Popek., "File-system development

with stackable layers", ACM Transactions on Computer Systems,

12(1):58--89, Feb 1994.
[weiser-scheduling] M. Weiser and B. Welch and A. Demers and S. Shenker, "Scheduling for reduced CPU energy.", Proceedings of the First Symposium on Operating Systems Design and Implementation (OSDI), pp. 13--23.
[weC] McLurkin, James, "Algorithms for Distributed Sensor Networks",

Masters Thesis for Electrical Engineering at the Univeristy of

California, Berkeley, Dec. 1999.
[smartdust-page] Pister, K.S.J.,

http://www.atmel.com/atmel/products/prod23.htm

[CullerSingh] D. E. Culler, J. P. Singh, and A. Gupta. Parallel

Computer Architecture A Hardware/Software Approach. Morgan

Kaufmann Publishers, 1 edition, 1999.
[TvE92] T. von Eicken, D.E. Culler, S.C. Goldstein, and

K.E. Schauser. Active Messages: a Mechanism for Integrated

Communication and Computation. In The 19th Annual International

Symposium on Computer Architecture, pages 256--266, Gold Coast,

Australia, May 1992.
[activebadge] Roy Want and Andy Hopper. Active badges and personal

interactive computing objects. IEEE Transactions on Consumer

Electronics, 38(1):10--20, Feb 1992.
[posix] IEEE Standard P1003.4 (Real-time extensions to POSIX). IEEE,

345 East 47th St., New York, NY 10017, 1991.",

[ piconet]"F. Bennett, D. Clarke, J. Evans, A. Hopper, A. Jones and

D. Leask. Piconet: Embedded Mobile Networking. IEEE Personal

Communications, 4(5), October 1997.
[highperfweb] James Hu and Irfan Pyarali and Douglas C. Schmidt, "Measuring the Impact of Event Dispatching and Concurrency Models on Web Server Performance Over High-speed Networks", Proceedings of the 2 nd Global Internet Conference. IEEE", Nov. 1997.
[ wins] G. Pottie, W. Kaiser, L. Clare and H. Marcy. Wireless, "Integrated Network Sensors", Submitted for publication, 1998.
[GW+00] The Ninja Architecture for Robust Internet-Scale Systems and Services, Steven D. Gribble, Matt Welsh, Rob von Behren, Eric A. Brewer, David Culler, N. Borisov, S. Czerwinski, R. Gummadi, J. Hill, A. Joseph, R.H. Katz, Z.M. Mao, S. Ross, and B. Zhao. To appear in Computer Networks,Special Issue on Pervasive Computing, June, 2000.
[WC00] Achieving Robust, Scalable Cluster I/O in Java, Matt Welsh and David Culler. In Proceedings of the Fifth ACM SIGPLAN Workshop on Languages, Compilers, and Runtime Environments for Scalable Computers (LCR2K), Rochester, NY, June, 2000.
[BD+92] Proteus: A High-Performance Parallel-Architecture Simulator. Eric A. Brewer, Chrysanthos N. Dellarocas, Adrian Colbrook, and William E. Weihl. Technical report MIT/LCS/TR-516; a shorter version appeared in the Proceedings of the ACM SIGMETRICS and Performance '92 Conference, Newport, Rhode Island, May 1992.
[BK94] How to Get Good Performance from the CM-5 Data Network. Eric A. Brewer and Bradley C. Kuszmaul. Proceedings of the 1994 International Parallel Processing Symposium, Cancun, Mexico, April 1994.
[H+99] Interactive Data Analysis with CONTROL. Hellerstein et al. IEEE Computer, August 1999
[bebop1] Thomas Ball and Sriram Rajamani. Bebop: A symbolic model checker for

boolean programs. SPIN '00: Model Checking of Software, 2000.

[prefix] William R. Bush, Jonathan D. Pincus, and David J. Sielaff.

A static analyzer for finding dynamic programming errors.

Software Practice and Experience, 30:775--802, 2000.
[engler] Dawson Engler, Benjamin Chelf, Andy Chou, and Seth Hallem.

Checking system rules using system-specific, programmer-written

compiler extensions. Proceedings of the Fourth Symposium on Operating

Systems Design and Implementation (OSDI), October 2000.

[fuzz] B.P. Miller, L. Fredricksen, and B. So.

An empirical study of the reliability of Unix utilities.

Communications of the ACM, 33(12):32--44, December 1990.
[inject] A.K. Ghosh, T. O'Connor, and G. McGraw.

An automated approach for identifying potential vulnerabilities in software.

Proc. IEEE Symp. on Security and Privacy, pages 104--114, May 1998.
[overruns] David Wagner, Jeffrey S. Foster, Eric A. Brewer, and Alexander Aiken.

A first step towards automated detection of buffer overrun

vulnerabilities. 2000 ISOC Symposium on Network and Distributed System

Security (NDSS).

[verisoft] P. Godefroid. Model checking for programming languages

using VeriSoft. Proceedings of the 24th ACM Symposium on Principles

of Programming Languages, pages 174--186, 1997.
[eraser] S. Savage, M. Burrows, G. Nelson, P. Sobalvarro.

Eraser: A dynamic data race detector for multithreaded prorams.

ACM Transactions on Computer Systems, 15(4):391--411, November 1997.
[rivet] Derek L. Bruening, Systematic testing of multithreaded

Java programs, Masters thesis, MIT, 1999.

1 In building scalable clusters, we found it challenging to orient researchers toward working at the aggregate level, rather than opening a window on each of several machines.

2 The behavior of such a component is more sophisticated than for a serial line. Given the signal characteristics of low-power RF, it must scan for a start symbol, not just a start bit. It must also provide aspects of media access control, such collision sensing, backoff, and phase adjustment.

3 We find that with low-power RF, signal strength is too strongly effected by interference in the nodes environment to be useful in location determination indoors. Interestingly, bit error rates have been shown to be a much more reliable indicator of proximity.

4 It is troubling to note that while there is a large amount of information on code size of embedded OSes, there are very few hard performance numbers published. [os_bench] has started a program to test various real-time operating systems yet they are keeping the results confidential - you can view

them for a fee.