Our research is focussed on dependable systems: These are systems where reliance can justifiably be placed on their delivered service. Dependability is usually achieved by the application of various means for improving the trustworthiness in the correctness of the delivered service. This includes, for example, but is not limited to test and verification of software and hardware components, but also the implementation of fault tolerance techniques, such that the system is able to cope with various faults during runtime. We are especially interested in

  • Diagnostic self-test in the field for processors
  • Fault-tolerance techniques for processors
  • Middleware for reliable sensor nodes
  • Architectural synthesis for processors

Current research projects

Reliability for highly versatile and complex distributed applications. A collaboration between university, IHP and Brandenburg research partners.

Combination of online test and self-repair for highly reliable process-based nano-electronic systems