DST has sponsored a project titled "Verification and validation of IoT systems" with Meenakshi D'Souza as the PI for a period of three years. More details can be found here