Real-Time Configuration of Networked Embedded Systems
Abstract
This project focused on the development of synchronization algorithms and software for a network of MICA (or Berkeley) motes. Automata and Petri net models of operational aspects were derived and verification techniques were used to guarantee correctness. A major part of this project was dedicated tot the Red Force Tagging or Tag Mote project. This report describes detailed descriptions of the developed TagMote hardware, software and algorithms. This report also describes fundamental contributions to the communications in wireless sensor networks. The networking results address issues brought forth because of the increasing number of sensor nodes in applications of interest. Also in this project, new results are described on overload management of distributed control to address problems arising in the fairing application of Boeing. In summary, the first part of this report describes the Red Force Tagging project, while the second part describes the Networking research results. The appendices contain further information and copies of publications. Copies of PI presentations are also included.
Document Details
- Document Type
- Technical Report
- Publication Date
- May 01, 2005
- Accession Number
- ADA435123
Entities
People
- Panos Antsaklis
- Raymond A. Liuzzi
Organizations
- University of Notre Dame