Sandeep Kulkarni, associate professor of computer science and engineering, has been awarded a research grant from the National Science Foundation for a project title, "Tool Support for Producing High Assurance and Reliable Software for Wireless Sensor Actor Networks." This is a three year joint proposal with Dr. Demirbas from SUNY Buffalo.
This project focuses on development of reliable software for sensor actor networks. It uses two orthogonal approaches. One approach is based on revising sensor network programs to meet additional requirements while generating programs that are correct by construction. Another approach focuses on transforming the generated programs into code while preserving properties of interest. The project will result in development of new algorithms and tools for these two approaches thereby providing high assurance for sensor actor networks.