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

Principal Investigators : Murat Demirbas and Sandeep Kulkarni

Proposal Summary

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.

Publications from this project

  1. Mahesh Arumugam, Murat Demirbas and Sandeep Kulkarni. "Slow is fast" for Wireless Sensor Networks in the Presence of Message Losses., The 12th International Symposium on Stabilization, Safety, and Security of Distributed Systems, 2010.
  2. Fuad AbuJarad and Sandeep Kulkarni. Complexity Issues in Automated Model Revision Without Explicit Legitimate States. The 12th International Symposium on Stabilization, Safety, and Security of Distributed Systems, 2010.
  3. Fuad Abujarad, Towards Automated Model Revision of Fault Tolerant Systems. PhD thesis, 2010.
  4. Fuad Abujarad, Sandeep S. Kulkarni. Automated constraint-based addition of nonmasking and stabilizing fault-tolerance. Theor. Comput. Sci. 412(33): 4228-4246, 2011.
  5. O. Soysal and M. Demirbas. Optimistic Concurrency Control for multihop sensor networks. International Wireless Communications and Mobile Computing Conference, pages 89-94, 2011.
  6. O. Soysal, S. Ayyorgun, M. Demirbas. PowerNap: An Energy Efficient MAC Layer for Random Routing in Wireless Sensor Networks. IEEE SECON, 2011.
  7. M. Demirbas, S. Tasci, S. Kulkarni. "Maestro: A cloud computing framework with automated locking." Workshop on Management of Cloud Systems, 2012.
  8. R. Hajisheykhi, L. Zhu, M. Arumugam, M. Demirbas, S. Kulkarni. “Slow is Fast” for Wireless Sensor Networks in the Presence of Message Losses. Journal of Parallel and Distributed Computing (JPDC ). Under review, 2013.

Software tools resulting from this project and more publications including work by the CoPI Sandeep Kulkarni are available from this link.


This material is based upon work supported by the National Science Foundation under Grant No. 0916504. Any opinions, findings and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the National Science Foundation (NSF).