ESLAB's current research activites are mainly in the following areas:

• Analysis and optimization of real-time embedded systems.
• Hardware/software co-design.
• Design of fault-tolerant distributed systems.
• Formal verification and model checking.
• SoC testing and design for test.

Completed projects

• Some examples of completed projects at ESLAB can be found here.