• 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ě ...
    • Identifikace parametrů pro prioritizaci bezpečnostních doporučení 

      Autor: Aleš Mareček; Vedoucí práce: Guskova Natalia; Oponent práce: Štumbauer Oldřich
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2024-08-29)
      Systems-Theoretic Accident Model and Proceses (STAMP) je v současnosti často využívaným modelem pro analýzu bezpečnosti. Model STAMP prokázal svou nezpochybnitelnou účinnost při identifikaci bezpečnostních problémů. Přes ...