By converging the cyber world with the physical world, Cyber-Physical Systems (CPS) is expected to create a great impact on computer science and the society. This thesis proposes several real-time building blocks for CPS infrastructures.
As for real-time wireless LAN, I compare various wireless communication paradigms and show that by deploying largest processing gain possible (i.e. lowest bit rate), DSSS-CDMA cell phone paradigm (i.e. each control loop occupies a CDMA channel between the remote station and the base station) achieves much higher reliability/robustness than main stream alternatives, such as IEEE 802.11, IEEE 802.15.4, and convolutional coding. For example, if a control loop sends one packet per second with a packet size of 152 bits, a DSSS-CDMA communication link using largest processing gain possible takes about 20dB more power to jam compared to an IEEE 802.11b link using packet retransmission. If the control loop sends ten packets per second, a DSSS-CDMA communication link is about 10dB more robust than an IEEE 802.11b link.
As for real-time wired network, I propose a real-time crossbar switch design, which is not only compatible to, but also simpler than the main stream iSLIP switch design. Specifically, since real-time flows are predetermined and run consistently for long time, an iSLIP switch can be easily revised into a real-time switch: we only need to grant according to a deterministic schedule; and eliminate the request and accept steps. The schedule can be represented as an N by M matrix S, where N is the number of input(output) ports of the crossbar switch, and M cell-time is the period of the schedule. Let S(i,k) denote the element at the ith row and kth column of S. Then at the kth cell-time of each period, the ith input port forwards a cell to the S(i,k)th output port. Basically, this means the switch serves each real-time flow with clock-driven time-slicing. A flow of period P cell-time and message size of C cells are over-provisioned with a server that forwards ceil(C/floor(P/M)) cells every M cell-time. By mapping each real-time flow to a server, we derive an N by N demand matrix D. The element at the ith row and jth column of D, denoted as D(i,j), means every M cell-time, input port i has to forward D(i,j) cells to output j. We prove that as long as each input (output) is required to forward (receive) no more than M cells per M cell-time period, demand matrix D can always be scheduled within polynomial time (O(power(N,4))).
I also designed a hard real-time, fast, and lightweight acoustic event localization protocol, the Lightning Protocol, for wireless sensor networks. Basically, wireless sensors are deployed in a square grid pattern. Every sensor is colored i (i = 1, 2, 3, 4), so that for any point on the plane, the enclosing four sensors have distinct colors. A sensor is either in RF listening or broadcasting mode (never both). Whenever a free (i.e. its state is neither winner nor loser) sensor hears the acoustic event, it broadcasts a noise on the wireless carrier for i time units. After that, if it does not hear any other noise on the wireless carrier, it wins the election; otherwise it loses the election. Whenever a free sensor hears a noise on the wireless medium, it loses the election. I prove this protocol elects the closest sensor with only O(1) RF broadcast within O(1) time. Energy Efficient Lightning Protocol is also designed, which only turns on RF module during localization period. Experiments using U. C. Berkeley Mica Motes show the feasibility of the protocol in lab environments.
|School:||University of Illinois at Urbana-Champaign|
|School Location:||United States -- Illinois|
|Source:||DAI-B 69/11, Dissertation Abstracts International|
|Keywords:||Acoustic event localization, Embedded systems, Industrial control|
Copyright in each Dissertation and Thesis is retained by the author. All Rights Reserved
The supplemental file or files you are about to download were provided to ProQuest by the author as part of a
dissertation or thesis. The supplemental files are provided "AS IS" without warranty. ProQuest is not responsible for the
content, format or impact on the supplemental file(s) on our system. in some cases, the file type may be unknown or
may be a .exe file. We recommend caution as you open such files.
Copyright of the original materials contained in the supplemental file is retained by the author and your access to the
supplemental files is subject to the ProQuest Terms and Conditions of use.
Depending on the size of the file(s) you are downloading, the system may take some time to download them. Please be