Department of Electrical and Computer Engineering

Embedded systems

The central theme for embedded systems research is high performance heterogeneous embedded systems (HES) that combine reactive (control-driven) and data-flow processing.

Our current focus is on semiconductor-based systems with the open doors for new emerging implementation technologies such as nano-mechanical and biological systems. The research goes along two major streams of fundamental and application aspects of HES.


Major fundamental research topics and expertise areas include:

  • System-level HES specification, design and synthesis.
  • Embedded systems design languages (Esterel, SystemC, HDLs) and their modification for HES.
  • Formal models of computation for HES.
  • Computing architectures supporting reactivity and parallelisms on the native level.
  • Systems-on-Chip (SoC) for HES applications.
  • Rapid systems prototyping.
  • Design tools and environments.
  • Formal and other verification techniques.
  • Low-power embedded systems.

We consider applications as the driving force for our research and explore the features of embedded systems from the point of view of the application-specific requirements such as:

  • Digital signal processing for wireless and data communications (eg data transmitters and receivers, smart antennas, cryptography and security).
  • Image and video processing (eg enhancement, filtering, face recognition, compression).
  • Speech processing and recognition (eg limited vocabulary embedded speech recognition engine).
  • Control systems techniques (eg self-tuning controllers, Kalman and other adaptive filters, drug-dispensing micropump).
  • Intelligent sensors and measurement systems (eg frequency measurement and frequency relays).
  • Intelligent environments (eg embedded systems networking, intelligent agents).

A number of undergraduate and postgraduate courses contain components of computer and embedded systems engineering. The research and teaching is supported by a number of sponsoring companies, which provide access to advanced commercial tools for use in both educational and research processes.




Correct-by-Construction Approaches for SoC Design
Roopak Sinha, Parthasarathi Roop and Samik Basu.