Bachelorarbeit BCLR-2015-47

Bibliograph.
Daten
Sowoidnich, Yannic: Entwicklung eines Eclipse-Plugin für die erweiterte Methode von STPA.
Universität Stuttgart, Fakultät Informatik, Elektrotechnik und Informationstechnik, Bachelorarbeit Nr. 47 (2015).
58 Seiten, deutsch.
CR-Klassif.D.2.4 (Software Engineering Software/Program Verification)
Kurzfassung

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.

Volltext und
andere Links
PDF (1508321 Bytes)
Abteilung(en)Universität Stuttgart, Institut für Softwaretechnologie, Software Engineering
BetreuerWagner, Prof. Stefan; Abdulkhaleq, Asim
Eingabedatum16. November 2018
   Publ. Informatik