Bachelor Thesis BCLR-2015-47

BibliographySowoidnich, Yannic: Entwicklung eines Eclipse-Plugin für die erweiterte Methode von STPA.
University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Bachelor Thesis No. 47 (2015).
58 pages, german.
CR-SchemaD.2.4 (Software Engineering Software/Program Verification)
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.

Full text and
other links
PDF (1508321 Bytes)
Department(s)University of Stuttgart, Institute of Software Technology, Software Engineering
Superviser(s)Wagner, Prof. Stefan; Abdulkhaleq, Asim
Entry dateNovember 16, 2018
   Publ. Computer Science