Entwicklung eines Eclipse-Plugin für die erweiterte Methode von STPA

Abstract

Heutige Softwaresysteme werden immer größer und komplexer. Dieser Umstand macht es erforderlich eine zuverlässige Methode zu haben, diese Systeme auf Fehlverhalten oder auf gefährdende Situationen für Menschen zu untersuchen. Diese Arbeit versucht ein Werkzeug zu erstellen, welches zukünftige Unfall- und Sicherheitsanalysen dabei unterstützen kann, die untersuchten Systeme so sicher wie möglich zu gestalten. Die Software wird ein Plugin für die von der Universität entwickelte „XSTAMPP Plattform“, und versucht somit dessen Funktionalität zu erweitern. Dafür wird die erweiterte Methode von STPA als Funktionalität in das Plugin integriert (basierend auf der Arbeit von John Thomas), sowie einige Verbesserungen welche dabei helfen sollen, den Analyseprozess zu automatisieren (basierend auf der Arbeit von Asim Abdulhaleq). Dieses Dokument beschreibt aus welchen Gründen das neue Tool nützlich und erforderlich ist. Außerdem dokumentiert es den Entwicklungsprozess der neuen Software.

Softwaresystems grow larger and larger. Over the years they got more complex and difficult to understand. That’s why it is more important than ever to have a reliable method to investigate these systems for any hazardous behaviour. There are some techniques out there to solve this problem, but this thesis tries to implement and improve a new procedure called „extended STPA“. The new Software will come as plugin for the „XSTAMPP Platform“ developed by the University of Stuttgart and tries to extend the functionality of this platform (the ideas for these extended functionalities come from John Thomas and Asim Abdulkhaleq). This document describes the new tool and all its functionalities, as well as why this tool is important to accident analysis.