Konceptualizace vybraných částí modelu bezpečnosti STAMP

Abstract

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.