Prejsť na obsah
Oblasti výskumu

Due to the increasing number of IoT devices and its future estimatations, the question of their reliability and safety, as well as the necessity of their mutual communication is gaining importance. For effective functioning, IoT devices must have sufficient bandwidth (typically slower transmission rates), but extremely energy-efficient. The research infrastructure allows to solve these issues for different platforms, on which the embedded systems for IoT devices are implemented. The aim of research laboratory for the Embedded Systems is to increase the reliability and security of embedded systems, design and testing of embedded systems on various platforms (monolithic processors and microcontrollers, programmable hardware) and with different requirements (with the critical response time, without standard operating system). We also pay special attention to the research of designing energy efficient IoT devices, focusing mainly on the power management of IoT devices, automation of power management and energy efficient mutual communication.

Keywords:
Embedded Systems, Internet of Things, Increased Reliability, Fault Tolerance, Security, Hard Real-Time Systems, Programmable Hardware, Low-Power Devices



Tibor Krajčovič
Associate Professor
e-mail
website
Pavel Čičák
Professor
e-mail
website
Research interest lies at embedded systems, based on monolithic processors and one-chip microcomputers, increasing of embedded systems reliability, and real-time embedded systems.
Research interest lies at digital control systems design, new methods of computer communications, real-time systems, means of hardware (and software) specification, as well as other topics in Computer Engineering.

Katarína Jelemenská
e-mail
website
Dominik Macko
e-mail
Research interest lies at digital systems specification, design and verification.
Research interest lies at digital-systems design automation, system-level specification, power optimization and estimation, and low-power communications connected with the Internet of Things.

Ján Hudec
e-mail
website
Research interest lies at digital system design, testing and verification, algorithms for functional testing systems on chip (SoC) in the devices of Internet of Things.

Selected recent publications

  1. HUDEC, Ján - GRAMATOVÁ, Elena
    An Efficient Functional Test Generation Method for Processors using Genetic Algorithms.
    Journal of Electrical Engineering. Vol. 66, No. 4 (2015), pp. 185-193. ISSN 1335-3632.

  2. MACKO, Dominik - JELEMENSKÁ, Katarína - ČIČÁK, Pavel
    Power-management High-level Synthesis.
    VLSI 2015 IFIP/IEEE International Conference on Very Large Scale Integration, October 5-7, 2015, Daejeon, Korea : proceedings. Los Alamitos : IEEE, 2015, pp. 63-68. ISBN 978-1-4673-9139-9.

  3. ŠTRBA, Attila - KRAJČOVIČ, Tibor
    Operating System for Wireless Embedded Systems Powered by Energy Harvesters.
    Sobh, Tarek; Elleithy, Khaled (Eds.): Emerging Trends in Computing, Informatics, Systems Sciences, and Engineering. Lecture Notes in Electrical Engineering, Volume 151, 2013, pp. 331-344, Springer, 2013, ISBN 978-1-4614-3557-0.

  4. POHRONSKÁ, Mária - KRAJČOVIČ, Tibor
    Using Multiple FPGA Implemented Watchdogs for Improving of Embedded Systems Reliability.
    Journal of Cybernetics and Informatics. Vol. 11., pp. 41-48. ISSN 1336-4774

  5. SEVERÍNOVÁ, Hana - ABAFFY, Jaroslav – KRAJČOVIČ, Tibor
    Control-flow Checking Using Binary Encoded Software Signatures.
    Sobh, T. and Elleithy, Kh. (eds.). Innovations and Advances in Computing, Informatics, Systems Sciences, Networking and Engineering. Lecture Notes in Electrical Engineering, Vol. 313, 2015, pp. 345-347, Springer International Publishing Switzerland, 2015, ISSN: 1876-1100

  6. ĎURÍČEK, Maroš - KRAJČOVIČ, Tibor
    Hybrid Control-Flow Checking with On-Line Statistics.
    4th Eastern European Regional Conference on the Engineering of Computer Based Systems (ECBS-EERC) 2015. Brno, The Czech Republic, August 27-28, 2015

  7. PEREŠÍNI, Ondrej - KRAJČOVIČ, Tibor
    Internet Controlled Embedded System for Intelligent Sensors and Actuators Operation.
    Applied Electronics 2015, 20th International conference. Pilsen, Czech Republic. September 8-9, 2015. 1. vyd. Pilsen : University of West Bohemia, 2015, pp. 185-188. ISSN 1803-7232. ISBN 978-80-261-0385-1.

  8. KUDLAČÁK, František - KRAJČOVIČ, Tibor
    Error Behaviour in PID Control Systems with Dynamic Processes.
    PINKER, J. Applied Electronics 2016: 21st International Conference. Pilsen, September 6-7, 2016, pp. 141-144. ISBN 978-80-261-0601-2. Česká republika / Pilsen : University of West Bohemia, 2016

  9. MACKO, Dominik - JELEMENSKÁ, Katarína - ČIČÁK, Pavel.
    Verification of Power-management Specification at Early Stages of Power-constrained Systems Design.
    Journal of Circuits, Systems, and Computers, Vol. 26, no. 8, August 2017. In press.


Important recent research results and research projects

  1. Intelligent Embedded Systems
  2. Robust MPC for Hybrid Systems (RPHS)
  3. Optimization of low-power design of digital and mixed integrated systems
  4. Manufacturable and Dependable Multicore Architectures at Nanoscale
  5. Methods for the design and verification of digital systems with low power consumption using formal specification languages


Infrastructure

  • 10x EEDT 6.0 development kit for AVR, 51, PIC, ARM, Arduino
  • 10x AM3517 development kit for ARM CORTEX
  • 6x MINNOWBOARD development kit for ATOM
  • 3x EJ-SCT JTAG emulator for ARM CORTEX
  • 3x EJ-SCT JTAG emulator for ATOM
  • 4x AT LA-500 logic analyzer
  • 6x GDS-2204 digital oscilloscope
  • 5x Xilinx Virtex-7 FPGA VC707 development kit
  • 1x Xilinx Kintex-7 FPGA KC705 development kit
  • 5x Xilinx Artix-7 FPGA AC701 development kit
  • 20x i7 based work station
  • 6x i5 based mobile work station



Development system on the base of 32-bit RISC processor with FPGA circuit

General view of the Embedded Systems Laboratory


32-bit systems for embedded applications developed in the laboratory