• Integrační testování metodou Model-Based Testing - případová studie 

      Autor: Michal Veselka; Vedoucí práce: Sobotka Jan; Oponent práce: Ristovska Biljana
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2019-06-17)
      Cílem této diplomové práce je ověřit možnosti integračního testování metodou Model-Based Testing (MBT). Práce se po úvodním seznámením s problematikou HIL (Hardware-in-the-Loop) testování zaměřuje na návrh modelů popisujících ...
    • Systém zálohovaného napájení atomových hodin 

      Autor: David Šibrava; Vedoucí práce: Roztočil Jaroslav; Oponent práce: Kuna Alexander
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2020-01-30)
      Tato práce se zabývá návrhem systému pro zálohováné napájení atomových hodin a pro monitorování stavu použitých akumulátorů. Zařízení zkonstruované jako součást práce rovněž umožňuje detekci výpadků napájení. Stavy systému ...