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

Sabina Vitová

Inferrence of System Safety Constraints Based on STPA Method

Typ dokumentu

bakalářská práce
bachelor thesis

Autor

Sabina Vitová

Vedoucí práce

Grötschelová Kateřina

Oponent práce

Šedivá Kafková Markéta

Studijní obor

Letecká doprava

Studijní program

Technika a technologie v dopravě a spojích 3

Instituce přidělující hodnost

ústav letecké dopravy

Práva

A university thesis is a work protected by the Copyright Act. Extracts, copies and transcripts of the thesis are allowed for personal use only and at one?s own expense. The use of thesis should be in compliance with the Copyright Act http://www.mkcr.cz/assets/autorske-pravo/01-3982006.pdf and the citation ethics http://knihovny.cvut.cz/vychova/vskp.html
Vysokoškolská závěrečná práce je dílo chráněné autorským zákonem. Je možné pořizovat z něj na své náklady a pro svoji osobní potřebu výpisy, opisy a rozmnoženiny. Jeho využití musí být v souladu s autorským zákonem http://www.mkcr.cz/assets/autorske-pravo/01-3982006.pdf a citační etikou http://knihovny.cvut.cz/vychova/vskp.html

Metadata

Zobrazit celý záznam

Abstrakt

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.