Odvozování bezpečnostních požadavků na systém na bázi metody STPA
Inferrence of System Safety Constraints Based on STPA Method
Typ dokumentu
bakalářská prácebachelor thesis
Autor
Sabina Vitová
Vedoucí práce
Grötschelová Kateřina
Oponent práce
Šedivá Kafková Markéta
Studijní obor
Letecká dopravaStudijní program
Technika a technologie v dopravě a spojích 3Instituce přidělující hodnost
ústav letecké dopravyPrá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.htmlVysokoš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áznamAbstrakt
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.
Kolekce
- Bakalářské práce - 16121 [708]
Související záznamy
Zobrazují se záznamy příbuzné na základě názvu, autora a předmětu.
-
Artificial system of controlling renewable hybrid systems
Autor: Tkachev Stanislav; Vedoucí práce: Bemš Július
(České vysoké učení technické v Praze. Vypočetní a informační centrum., 2014-01-22) -
Bezdrátový softwarový systém pro soutěžní kvízovou hru a informační systém pro její herní komunitu
Autor: Vorobyev Vladimir; Vedoucí práce: Balík Miroslav; Oponent práce: Křikava Filip
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2016-05-18)Hlavní autorská motivace je tvorba pohodlné a moderní platformy nutnou pro budování globální komunity kvizových her. Práce obsahuje výzkum komponent platformy, jejích integrace mezí sebou a s sociálními sítí a možné podnikové ... -
Systém pro predikci úspěšnosti a výpočtu skóre módu „mythic+“ ve hřeWorld of Warcraft. – Architektura systému, logika systému, perzistence avizualizace dat.
Autor: Martin Lukeš; Vedoucí práce: Šebek Jiří; Oponent práce: Valenta Adam
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2021-06-01)Tato bakalářská práce se zabývá problémem dosavadního hodnocení módu mythic+ ve hře World of Warcraft a převážně pak vývojem nového systému "KeystonePro", který by měl existující nedostatky pokrýt. Vývoj se skládá ze zvolení ...