Date of Award


Document Type


Degree Name

Doctor of Philosophy (PhD)

Legacy Department

Computer Science

Committee Chair/Advisor

Hallstrom, Jason O

Committee Member

Malloy , Brian A

Committee Member

Grossman , Harold C

Committee Member

Smotherman , Mark K


Embedded network systems are gaining adoption and emerging as the next step in the shift toward ubiquitous computing. Deployments range in scale from tens of devices to over a thousand; applications can be massively parallel and distributed, executing over unreliable links and devices. The programming model used to develop these systems is fundamentally different than the models provided by traditional imperative programming languages; many existing software engineering tools and techniques cannot be applied. In particular, the lack of tools and techniques to analyze, instrument, and visualize these systems make their development more difficult.
We present a framework to address these difficulties in the context of the nesC development platform. The three components of this framework are: (1) a real-time interactive, open platform for analyzing program and network behavior; (2) a source code analysis and instrumentation framework to support a range of static analysis and instrumentation activities; and (3) a control-flow visualization framework for resource-constrained embedded network devices.



To view the content in your browser, please download Adobe Reader or, alternately,
you may Download the file to your hard drive.

NOTE: The latest versions of Adobe Reader do not support viewing PDF files within Firefox on Mac OS and if you are using a modern (Intel) Mac, there is no official plugin for viewing PDF files within the browser window.