Digital Design and Dependability (DDD)

We focus on research and development of applications in digital design targeted primarily to embedded systems, i.e. the methodology of digital design with respect to limiting requirements, including size, speed, testability, dependability, and resistance to faults and attacks. Our research is also focused on theoretical problems, formal verification, and suitable ways of modelling that allow prediction of required parameters. For specific practical projects and experimental verification of partial results, we use specialized laboratories that have the necessary equipment, reconfigurable hardware and software (FPGA, SoC), humanoid and industrial robots, and necessary design tools.

More about us