Inteligentní webové komponenty pro STPA analýzu

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.