Tool-Support for Producing High-Assurance and Reliable Software for Wireless Sensor Actor Networks

Wireless sensor networks (WSNs) have been mainly used for data collection purposes, and have not been employed in the context of any consistency- or safety-critical applications. As such software development for WSNs has been done mostly on a best-effort basis. However, as WSNs get more integrated with actuation capabilities, the resulting wireless sensor actor networks (WSANs) require more assurance and survivability guarantees. The goal of this project is to design and implement the tool-support necessary for achieving assurance and reliability of WSANs software.

The project will produce a transformation tool that allows programs for WSANs to be written in high-level models traditionally used to describe abstract distributed programs and automatically transforms these abstract programs, while preserving their correctness and reliability properties, into programs deployed in WSANs. The project will also develop a synthesis tool that manipulates the given abstract distributed programs for the automated addition of desired level of fault-tolerance. Finally, the project will design a framework that guards against the corruption of the auxiliary state introduced at the concrete system to ensure that the deployed program is verifiably reliable.


  • Doctoral Student Murat Ali Bayir graduated, Congratulations Murat! May 2010.
  • Crowd-Sourced Sensing and Collaboration Project got Google Research Award! Click here for details, March 2010.
  • Asst. Prof. Dr. Demirbas got NSF Project Grant! Click here for details, September 2009.
  • Doctoral Student Xuming Lu graduated, Congratulations Xuming! May 2009.
  • Asst. Prof. Dr. Demirbas got Office of Naval Research Grant! Click here for details, April 2009.
  • Two papers accepted to WOWMOM 2009 from Ubicomp Lab!, Click here for details, December 2008.
  • Asst. Prof. Dr. Demirbas awarded NSF Career Award! Click here for details, January 2008.

© Copyright by UbiComp Lab., Dept. of Computer Science and Engineering, SUNY Buffalo.
All rights reserved.