Inteligentní webové komponenty pro STPA analýzu

Artur Useinov

Smart web components for System-Theoretic Process Analysis

Type of document

bakalářská práce
bachelor thesis

Author

Artur Useinov

Supervisor

Ahmad Jana

Opponent

Lališ Andrej

Study program

Softwarové inženýrství a technologie

Institutions assigning rank

katedra počítačů

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
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

Show full item record

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í.

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.