The focus of our current research activities is on design and verification of Embedded Systems and Systems-on-Chip (SoC). We are interested in both the hardware and the low-level software (firmware) of the systems. Some of our research projects are particularly focussed on the interaction between hardware and software.
Besides targeting traditional design goals such as high performance and low power consumption, a particular objective of our research is to make contributions for achieving high reliability and the functional safety of the designed and manufactured systems. The requirement of functional safety is driven by an increased use of embedded systems technology in safety-critical applications such as in avionics and in automotive systems (e.g., autonomous cars). Another driver of this research field are new manufacturing techniques in “smart factories” (Industry 4.0) which impose new challenges on the reliability and safety of the underlying embedded systems technology.
Current research topics are:
- Design and verification of Embedded Systems with "sound abstractions" [more]
- Energy saving IT systems by improved power closure in SoC design [more]
- Application of Computer Algebra in SoC data path verification [more]
- Firmware Verification in SoC modules [more]
- HW/SW cross-layer models for analyzing the effect of HW faults on the SW layer
- Binary-level embedded software verification