Fault Tolerant Systems Design, Diagnostics and Testing

The research group is primarily engaged in modeling, realization and analysis of electronic systems regarding their dependability with special attention paid to reliability by the means of fault tolerance, safety and verification of related properties.

Research interests

  • Reliability and safety
  • Fault injection and fault tolerant systems
  • Reconfigurable systems
  • Functional verification and modeling checking of cyber-physical and critical systems
  • Fault tolerant neural networks
  • Assessment of dependability attributes of systems

Current research themes

  • Increasing dependability by means of partial dynamic reconfiguration in an FPGA (contact: Zdeněk Kotásek).  Keywords: partial dynamic reconfiguration, control, controller, FPGA.
  • Means of a fault injection into an FPGA (contact: Zdeněk Kotásek).  Keywords: fault, injection, FPGA.
  • Methods for acceleration of functional verification (contact: Marcela Šimková).  Keywords: functional verification, acceleration, automation.
  • Dependability of critical and cyber-physical systems (contact: Josef Strnadel). Keywords: dependability, quantification of dependability attributes, processor, operating system, real time, control, formal verification, model checking.

Accomplishments

Cooperation

  • We welcome cooperation and offer the opportunity to engage others in our research topics (e.g., during the Ph.D. study or intership) or doing a short-term work (e.g., during the project practice, Bc. or MSc. thesis). 
  • We offer our institutional, industrial and other partners, e.g., the possibility of joint participation in national, European or international projects.

More information

  • Among other things, group members publish their papers at international conferences such as IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS) or Euromicro Conference on Digital System Design (DSD) and in journals such as Microprocessors and Microsystems or Computing and Informatics.
  • For realization purposes, we use particularly field programmable gate arrays (FPGA) and development tools from Xilinx, microcontrollers (MCU) and development tools from NXP and tools from Mentor Graphics.

Contact


Brno University of Technology
Faculty of Information Technology
Department of Computer Systems
Božetěchova 2
612 66 Brno
Czech Republic

Tel.: +420 54114-1223
Fax.: +420 54114-1270
E-mail: kotasek@fit.vutbr.cz

Your IPv4 address: 54.80.82.9
Switch to IPv6 connection

DNSSEC [dnssec]