Embedded systems

Research in high-performance, heterogeneous embedded systems that combine reactive and data-flow processing.

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

We largely focus on on semiconductor-based systems open to new emerging implementation technologies such as nanomechanical and biological systems. The research complements the major streams of fundamental and application-based research in HES.

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

Our research

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)

Our people