Dependable Systems Research Group

Team members

Čekan Ondřej, Ing., Ph.D. student, UPSY FIT VUT
 
Drábek Vladimír, doc. Ing., CSc., researcher, UPSY FIT VUT
  • diagnosis of digital systems
  • fault-tolerant and fail-safe systems
  • design automation with VHDL
  • algorithms of arithmetic calculations
  • applications of finite-field algebra
  • compression and processing of multimedia data
  • graphical and multimedia processors
Kaštil Jan, Ing., Ph.D. student, UPSY FIT VUT
  • Návrh systémů do FPGA
Kotásek Zdeněk, doc. Ing., CSc., principal researcher, UPSY FIT VUT
  • Digital circuit diagnostics and testing
  • Digital circuit testability analysis
  • Design and synthesis for testability
  • Fault-tolerant systems design methodologies
Krčma Martin, Ing., Ph.D. student, UPSY FIT VUT
 
Lojda Jakub, Ing., Ph.D. student, UPSY FIT VUT
 
Pánek Richard, Ing., Ph.D. student, UPSY FIT VUT
 
Podivínský Jakub, Ing., Ph.D. student, UPSY FIT VUT
 
Strnadel Josef, Ing., Ph.D., researcher, UPSY FIT VUT
  • Dependability 
  • Embedded, critical and cyber-physical systems
  • Real-time (operating) systems
  • Modeling and analysis of dynamic systems
  • Formal verification and model checking
  • Application of timed automata
Szurman Karel, Ing., Ph.D. student, UPSY FIT VUT
 
Zachariášová Marcela, Ing., Ph.D., researcher, UPSY FIT VUT
  • Functional verification (SystemVerilog, OVM).
  • Hardware accelerated functional verification using FPGA technology.
  • Coverage driven verification using genetic programming and machine-learning algorithms. 
  • Design and testing of fault-tolerant systems.
  • Automated generation of verification environments.

Your IPv4 address: 54.166.203.17
Switch to IPv6 connection

DNSSEC [dnssec]