Inteligentní webové komponenty pro STPA analýzu
Smart web components for System-Theoretic Process Analysis
dc.contributor.advisor | Ahmad Jana | |
dc.contributor.author | Artur Useinov | |
dc.date.accessioned | 2021-06-08T22:52:22Z | |
dc.date.available | 2021-06-08T22:52:22Z | |
dc.date.issued | 2021-06-08 | |
dc.identifier | KOS-958760007305 | |
dc.identifier.uri | http://hdl.handle.net/10467/94714 | |
dc.description.abstract | V posledních letech byla překročena poptávka po budování bezpečnějších systémů ve srovnání s tradičními. Tato poptávka po takovém upgradu vychází z častých změn v našem každodenním životě a technologických inovací, které zavádějí nové příčiny a faktory nehod, a také ze stále složitějších bezpečnostních řešení, která se pokouší vyrovnat se složitostí našeho dnešního světa. V této práci vyvíjíme webovou komponentu struktury řídicí smyčky, která je specifikována jedním z nejnovějších bezpečnostních modelů - STAMP. Tento nástroj pomáhá uživatelům domény vytvořit kontrolní strukturu pro odvození konkrétních nebezpečí nebo pro podporu vyšetřování nehod / incidentů. Analyzujeme, porovnáváme a specifikujeme všechny klady a zápory stávajících bezpečnostních nástrojů založených na STAMP. Poté představíme náš nástroj, popíšeme všechny jeho funkce, softwarové požadavky a techniky, které jsme při implementaci použili. Pro vyhodnocení jsme testovali náš nástroj na realistických příkladech v oblasti bezpečnosti letectví jako případ použití. | cze |
dc.description.abstract | In recent years, the demand for building safer systems compared to the traditional ones has been exceeded. This demand for such an upgrade comes from the frequent changes in our daily life and technological innovation which introduce new causes and factors of accidents and also from the ever more complex safety solutions that attempt to match the complexity of our world today. In this theses, we develop a control loop structure web component that is specified by one of the newest safety models - STAMP. The tool helps domain users to create a control structure to derive specific hazards or support accident/incident investigation. We analyze, compare, and specify all pros and cons of the existing safety tools that are based on STAMP. Then we present our tool, describe all its functionalities, software requirements, and techniques that we used in the implementation. For evaluation, we tested our tool on realistic examples in the aviation safety domain as a use case. | eng |
dc.publisher | České vysoké učení technické v Praze. Vypočetní a informační centrum. | cze |
dc.publisher | Czech Technical University in Prague. Computing and Information Centre. | eng |
dc.rights | 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 | eng |
dc.rights | 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 | cze |
dc.subject | STPA | cze |
dc.subject | STAMP | cze |
dc.subject | analýza rizik | cze |
dc.subject | Control Structure Diagram | cze |
dc.subject | webová aplikace | cze |
dc.subject | JavaScript | cze |
dc.subject | React | cze |
dc.subject | knihovny grafů | cze |
dc.subject | STPA | eng |
dc.subject | STAMP | eng |
dc.subject | Hazard analysis | eng |
dc.subject | Control Structure Diagram | eng |
dc.subject | Web Application | eng |
dc.subject | JavaScript | eng |
dc.subject | React | eng |
dc.subject | Graph libraries | eng |
dc.title | Inteligentní webové komponenty pro STPA analýzu | cze |
dc.title | Smart web components for System-Theoretic Process Analysis | eng |
dc.type | bakalářská práce | cze |
dc.type | bachelor thesis | eng |
dc.contributor.referee | Lališ Andrej | |
theses.degree.grantor | katedra počítačů | cze |
theses.degree.programme | Softwarové inženýrství a technologie | cze |
Soubory tohoto záznamu
Tento záznam se objevuje v následujících kolekcích
-
Bakalářské práce - 13136 [1124]