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)