Digital Design & Dependability Research Group
Digital Design & Dependability Research Group



Laboratories

Hardware Workshop and Laboratory (HWLab)

The HWLab is a faculty workshop that provides both staff and students with space and facilities for pottering, tinkering and tuning of embedded systems.

See the faculty webpages

Embedded Security Lab

In the Embedded Security Lab, we focus on all aspects of the security of embedded devices. Today, computer systems control not just cars and trains, but also smart homes or whole cities. The right implementation of cryptographic algorithms is critical in order to ensure the security of these autonomous systems; in IoT also with the additional requirements on small size and low consumption.

See the faculty webpages

Laboratory of Intelligent Embedded Systems (LIVS)

We integrate artificial intelligence and embedded systems. We prepare students for Industry 4.0. Students can work with humanoid robots, industrial cooperative robots and a wide range of wheeled or six-legged robots and drones. We use a server with high-performance graphics cards for artificial intelligence algorithms and deep neural networks learning.

See the faculty webpages

Network Traffic Monitoring Lab (NETMON)

The laboratory’s primary goal is research and development in the field of monitoring of high-speed computer network traffic and infrastructures, the internet of things (IoT), network traffic analysis and detection of anomalies, i.e. malicious or suspicious traffic.

Our activities are focused on processing of data at various levels. This means that we deal with hardware acceleration (using the technology of FPGA and COMBO cards) using the modern P4 language, processing information about network flows, analysis of detected security incidents. The laboratory was established thanks to the long-term cooperation with the national academic network operator CESNET.

See the faculty webpages

Safety Lab

In the laboratory, we carry out expert analyses focused on the reliability of systems, products and bespoke SMART solutions for Industry 4.0. We are involved in the development of individual products with the aim to increase the overall reliability. We also model system architectures (RBD, FTA, Markov models, etc.) and we look into new methods of calculating RAMS reliability parameters with respect to current technology in accordance with valid standards or by estimates from operational data. Last but not least, we design databases for the collection of operational data for more realistic estimates of the reliability parameters.

See the faculty webpages


Laboratories

Hardware Workshop and Laboratory (HWLab)

The HWLab is a faculty workshop that provides both staff and students with space and facilities for pottering, tinkering and tuning of embedded systems.

See the faculty webpages

Embedded Security Lab

In the Embedded Security Lab, we focus on all aspects of the security of embedded devices. Today, computer systems control not just cars and trains, but also smart homes or whole cities. The right implementation of cryptographic algorithms is critical in order to ensure the security of these autonomous systems; in IoT also with the additional requirements on small size and low consumption.

See the faculty webpages

Laboratory of Intelligent Embedded Systems (LIVS)

We integrate artificial intelligence and embedded systems. We prepare students for Industry 4.0. Students can work with humanoid robots, industrial cooperative robots and a wide range of wheeled or six-legged robots and drones. We use a server with high-performance graphics cards for artificial intelligence algorithms and deep neural networks learning.

See the faculty webpages

Network Traffic Monitoring Lab (NETMON)

The laboratory’s primary goal is research and development in the field of monitoring of high-speed computer network traffic and infrastructures, the internet of things (IoT), network traffic analysis and detection of anomalies, i.e. malicious or suspicious traffic.

Our activities are focused on processing of data at various levels. This means that we deal with hardware acceleration (using the technology of FPGA and COMBO cards) using the modern P4 language, processing information about network flows, analysis of detected security incidents. The laboratory was established thanks to the long-term cooperation with the national academic network operator CESNET.

See the faculty webpages

Safety Lab

In the laboratory, we carry out expert analyses focused on the reliability of systems, products and bespoke SMART solutions for Industry 4.0. We are involved in the development of individual products with the aim to increase the overall reliability. We also model system architectures (RBD, FTA, Markov models, etc.) and we look into new methods of calculating RAMS reliability parameters with respect to current technology in accordance with valid standards or by estimates from operational data. Last but not least, we design databases for the collection of operational data for more realistic estimates of the reliability parameters.

See the faculty webpages