|
|
 |
|
Formal Methods Seminar by Roger Kieckhafer |
|
Date: July 12, 2006
Time: 1:00pm
Location: NASA LaRC, Building 1220, Room 110
Additional Information: Presentation (PDF)
WIHART: A Wireless Infrastructure for High Assurance Real Time
Sensor Networks
Roger Kieckhafer, Michigan Technological University
This talk will present a novel wireless sensor network (WSN) paradigm customized for high assurance hard real-time applications. The overall objective is to improve the reliability of inherently unreliable wireless communication for use in high assurance applications by adopting, adapting, and extending the fundamental theory and techniques found in safety-critical wired systems.
WIHART is motivated by a series of WSN applications within confines of fixed facilities and structures, many of which severely restrict the range of wireless communication. Examples include:
- Safety, security, and health monitoring in structures such as buildings, mines, tunnels, and large aircraft;
- Intelligent transportation infrastructures along roadways, runways, taxiways, or waterways;
- Intrusion monitoring along fence lines, borders, and other perimeters;
- Rapid, automated deployment for reconnaissance in caves and other unknown structures.
In particular, this talk will introduce:
- A family of novel sensor network topologies which enable hard real time performance based on structured redundancy;
- Media access control and routing protocols that guarantee temporal predictability;
- A new hybrid fault-model, along with Byzantine-safe voting and clock synchronization algorithms specifically tuned to the fault behaviors expected in WSNs;
- Applications for which WIHART is currently under consideration
- The WIHART testbed facility currently under construction at Michigan Tech.
|
|
|
Home