My current research interests involve design of executable specification language for modeling requirements of Reactive Systems. In various domains such as telecommunications, transportation and avionics, the system consists of large number of similar interacting objects, which can be often grouped into classes.

As part of ongoing research with Dr. Abhik Roychoudhury and Prof. P. S. Thiagarajan,  a modeling and simulation framework for such interacting process-classes has been developed and we are now looking at testing and code-generation for them. The key contribution so far is that we propose a mechanism for grouping together active objects into `behavioral-subclasses', solely based on behavior during simulation. We do not refer to or use object identities anywhere during modeling or simulation. Though we achieve symbolic execution framework using this approach, maintaining object associations (static + dynamic) turns out to be a challenging task.

The details of the current work with references are available here. Interested people may download the simulator and test some examples provided at the site (or may even model their own and try out !!).