Embedded Software Research Centre focusses on applying academic research in the area of software engineering to help TCS' customers develop high quality software at manageable costs. To enable this, the group has a 'Towards Zero Defects' research program that analyses current defects and develops tools and techniques to detect these earlier in the software development life cycle. Based on the analysis of defects in a few applications the group is now working on the following projects.

  1. Scalable analysis of Statecharts
  2. Precise scalable analysis of C programs
  3. Test data generation from Statecharts and C programs