• Automatizace spolehlivostní analýzy ve vývoji vojenských letounů 

      Autor: Tomáš Pivarči; Vedoucí práce: Lališ Andrej; Oponent práce: Kostov Bogdan
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2023-08-31)
      V oblasti spoľahlivostných analýz je pomerne veľa limitácií. Medzi najvýznamnejšie patrí veľa času potrebného na ich vypracovanie a chýbajúca automatizácia spoľahlivostných analýz. Pri analýze Fault tree analysis (FTA) to ...
    • Bezpečnostní analýza ve vývoji vojenských letounů založená na STAMP 

      Autor: Guanbao Gao; Vedoucí práce: Lališ Andrej; Oponent práce: Sekerešová Zuzana
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2023-09-02)
      S rostoucí komplexitou systému se zvyšuje i riziko vzniku nečekaných poruch vedoucí k nebezpečí. Aby byl nový systém dostatečně bezpečný, dělají se na něj bezpečnostní a spolehlivostní analýzy, které ověří bezpečnost nově ...