Accelerated network technologies

Akcelerované síťové technologie - schéma

Research in the field of methods for accelerating key tasks related to computer network monitoring and security. For acceleration, field-programmable gate arrays (FPGA) are used, which allow processing packets within networks with a penetrability 100 Gb/s.

 

Automatic verification

Printed Circuit Board

Research of methods used for automated analysing and verifying computer systems, including both formal analysis and verification, and intelligent testing and dynamic analysis. The objective is to increase the versatility, reliability and scalability of the present approaches taken with regard to automatic analysis and verification procedures. Infinite status systems are accentuated (i.e. systems with dynamic data or control structures, properties, etc.), as well as parallel programs and the verification of systems developed with the use of the latest HW/SW design methods.

 

Evolution design

Evoluční návrh - mutace obvodu

Research of the methods used for the evolution design of digital circuits. The objective is to automatically transform an abstract specification to develop digital circuits that will comply with pre-defined limits. It is anticipated that the evolution design will result in an innovative solution. Further utilisation of the evolution design is anticipated in the field of autonomous hardware reconfiguration.

 

HW/SW Co-design

HWSW codesign - shutterstock_12654325

Research and implementation of algorithms for modern design systems that are used for developing processors.
These design systems are based on the concept of a hardware/software co-design, enabling automated development of support tools such as translators, simulators, etc.

 

Modelling, simulation and optimization

microchip integrated on motherboard

Use of executable models in the design, implementation and maintenance of computer systems.
These models will enable the simulation, optimisation and code generation for target implementation. Furthermore, it will be easier to adapt these systems to changing conditions throughout their life.

 

Networks, protocols and embedded systems

Sítě, protokoly a vestavěné systémy

Research methods and algorithms used for modelling, designing and analysing computer networks and network components, both the versatile i.e. at the Internet level, and the specific, mainly cybernetic-physical system networks. Utmost attention is paid to the design and verification of the properties of such networks, as well as to creating tools to support or automate the design and its testing.

 

Biometric systems’ security

scanning fingerprint

In the field of biometric system security, we focus on detecting vivacity (verification whether a user who has presented their system biometrics is alive - and whether false biometrics may have been used); we are interested in the influence of skin diseases on fingerprint recognition (whether it is possible to tell a disease from a contaminated finger, or whether the quality of the fingerprint affected by a dermatologic disease may have been improved); 3D face geometry recognition (increased biometric entropy in comparison to 2D systems); 3D palm geometry recognition (another innovative method that increases recognition ability compared to standard 2D systems); face thermoscreen recognition (the screens show high resistance to falsification); and the eye phenomenon (recognition of the retina and the iris). This research activity includes connection through biometric passports, where a 2D face and fingerprints are used, and iris integration comes into play as well.

Researchers’ Night at IT4Innovations (2017-10-06)
Invitation to Researchers’ Night at IT4Innovations – 2017/10/06 We invite you to the largest pan-European […]
6th Annual Conference of IT4Innovations and 1st Users Conference
6th Annual Conference of IT4Innovations and 1st Users Conference We would like to invite you […]
Invitation to the course Creating Robust Software for Better Scientific Outcome (2017-10-04 to 2017-10-05)
When: Wednesday October 4, 2017, 9.30am – Thursday October 5, 2017, 3.30pm Where: campus VŠB-TUO […]
Invitation to the seminar HPC for small and medium enterprises (2017-09-07)
Invitation to the seminar HPC for small and medium enterprises (7/9/2017) We would like to […]
Press Release: IT4Innovations will have a new Director
All news