Dependable Systems Research Group

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
  • Cyber-physical, critical, real-time and reconfigurable systems
  • Functional verification and modeling checking of systems
  • Assessment of dependability attributes of systems
  • Novel and unconventional approaches to dependability related problems              

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

  • The group operates since 2000, has successfully participated in two European COST projects, has produced 7 non-publication products (software, prototype, etc.) and more than 170 publications (including 2 books, 2 monographs, 1 book chapter, 7 defended dissertations, 18 journal articles and over 100 articles in conference proceedings).
  • Typically, 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, ARM and tools from Mentor Graphics.

Contact

Dependable Systems Research Group
Brno University of Technology, Faculty of Information Technology
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.81.0.22
Switch to IPv6 connection

DNSSEC [dnssec]