Výzkumná skupina Spolehlivé číslicové systémy
Hlavní výzkumník
Výzkumník
Strnadel Josef, Ing., Ph.D.
Výzkumník
- Spolehlivost
- Vestavné, kritické a kyberfyzikální (kyberfyzické) systémy
- Real-time (operační) systémy
- Modelování a analýza dynamických systémů
- Formální verifikace a ověřování modelů, statistické ověřování modelů
- Aplikace časovaných automatů
Zachariášová Marcela, Ing., Ph.D.
Výzkumnice
- Funkční verifikace (SystemVerilog, UVM) digitálních a digitálně-analogových obvodů, procesorů.
- Verifikace pomocí portovatelných stimulů.
- Hardwarová akcelerace funkční verifikace pomocí FPGA.
- Verifikace řízená pokrytím s využitím genetického programování a jiných samoučících se algoritmů.
- Návrh a testování systémů odolných proti poruchám.
- Automatické generování UVM verifikačních prostředí.