BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Predictable and Dependable Low-power Wireless Networks - Marco Zim
 merling\, ETH Zurich
DTSTART:20150203T100000Z
DTEND:20150203T110000Z
UID:TALK57731@talks.cam.ac.uk
CONTACT:Microsoft Research Cambridge Talks Admins
DESCRIPTION:By integrating components for sensing\, communicating\, comput
 ing\, and actuating\, Cyber-Physical Systems (CPSs) enable applications to
  monitor and control physical processes. The use of wireless\, battery-pow
 ered devices unlocks tangible benefits in these emerging CPS settings. How
 ever\, wireless communications is notoriously unreliable\, and small form 
 factors and battery-powered operation impose constraints on the computatio
 n and communication capabilities. These issues present severe threats to C
 PSs\, whose safety-critical nature calls for two key features from the net
 working substrate: (1) predictability at design time\, to analyze the beha
 vior of the system before it is deployed\, and (2) dependability at run-ti
 me\, to ensure the correct functioning of the system despite failures. So\
 , in this talk\, I will pose the following question: Is it possible to pro
 vide predictable and dependable end-to-end communication guarantees on top
  of unreliable multi-hop low-power wireless networks?\n\nI will explain wh
 y it is impractical to address this question using conventional low-power 
 wireless stacks\, and describe our work on designing and building a clean-
 slate communication architecture from the ground up to overcome this probl
 em. In particular\, the proposed architecture provides real-time and virtu
 al-synchrony guarantees on the end-to-end delivery of messages - features 
 that were previously deemed impossible to achieve in these networks. Real-
 time communication is crucial for the correctness of many CPSs\, and virtu
 al synchrony enables the design of fault-tolerant CPSs using state machine
  replication. Moreover\, the architecture allows for predicting the networ
 k’s end-to-end performance using simple models with unprecedented accura
 cy\, which can greatly aid in the design and verification of CPSs.
LOCATION:Auditorium\, Microsoft Research Ltd\, 21 Station Road\, Cambridge
 \, CB1 2FB
END:VEVENT
END:VCALENDAR