Odvozování bezpečnostních požadavků na systém na bázi metody STPA

Abstract

Bezpečnostní požadavky na moderní systémy jsou jedním z klíčových nástrojů, jak zajišťovat přijatelnou míru bezpečnosti v moderních komplexních systémech, jakými je i letecká doprava. Metoda STPA (Systems Theoretic Process Analysis) je jedním ze současných analytických nástrojů, který umožňuje metodicky generovat takové požadavky přímo z popisu systému. STPA analýza některé z požadavků explicitně definuje, jiné však zůstávají implicitní. Práce cílí na explicitní identifikaci všechny typů bezpečnostních požadavků, které lze odvodit z dokončené STPA analýzy tak, aby je bylo možné odvozovat v praxi letecké dopravy.

Safety constraints in modern technology systems are one of the key components for ensuring the sufficient amount of safety in modern complex systems, including air transport. STPA (Systems Theoretic Process Analysis) is one of the contemporary analytical tools which allow us to methodically generate these safety constraints directly from the specification of the system. STPA specifically defines some of the requirements, whereas other requirements remain implicitly. The aim of this thesis is the explicit identification of various types of safety constraints that are deducible from the completed STPA analysis, that can be derived in the air transport practice.