Konceptualizace vybraných částí modelu bezpečnosti STAMP
Conceptualization of Selected Parts of STAMP Safety Model
Typ dokumentu
bakalářská prácebachelor thesis
Autor
Guskova Natalia
Vedoucí práce
Lališ Andrej
Oponent práce
Kostov Bogdan
Studijní obor
Letecká dopravaStudijní program
Technika a technologie v dopravě a spojíchInstituce přidělující hodnost
ústav letecké dopravyObhájeno
2018-09-20Prá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
Cílem předložené bakalářské práce "Konceptualizace vybraných částí modelu bezpečnosti STAMP" je vytvoření konceptuálního modelu s využitím ontologií. Model je tvořen ze dvou částí, které jsou identifikovány jako klíčové v teorii STAMP: řídící smyčka (Control loop) a analýza STPA (System-Theoretic Process Analysis). Pro modelování byla zvolena ontologie UFO (Unified Foundational Ontology), koncepty které jsou využívané v modelovacím jazyce OntoUML a proto také výsledné modely jsou v tomto jazyce. Pro modelování konceptů, které modelovací jazyk OntoUML nepodporuje, byl použitý grafický editor yEd a samotná ontologie UFO. Model byl úspěšně vytvořen, validován a tím připraven pro jeho případné využití v řízení bezpečnosti. Model může být také využit pro následující rozvoj problematiky řízení bezpečnosti a vytvoření kompletního modelu STAMP. The goal of this bachelor thesis "Conceptualization of Selected Parts of STAMP Safety Model" is the creation of conceptual model using ontology engineering. The model is made of two parts, which were identified as the core concepts in STAMP theory: a control loop and a System-Theoretic Process Analysis (STPA). For modeling, UFO ontology was chosen (Unified Foundational Ontology) which concepts are used in OntoUML language and so the resulting models are also in OntoUML. To model concepts out of support of the OntoUML language, yEd graphic editor was used with the very UFO ontology. The model was created in the Menthor Editor application and represented in this work by the yEd editor. The model has been successfully created, validated and now it is ready for its potential use in safety management. The model can also be used to develop solutions to safety issues and to create a complete STAMP model.
Kolekce
- Bakalářské práce - 16121 [708]