Bachelorarbeit BCLR-2015-37

Bibliograph.
Daten
Lux, Patrick: Computer-aided Styleguides for Goal Structuring Notation.
Universität Stuttgart, Fakultät Informatik, Elektrotechnik und Informationstechnik, Bachelorarbeit Nr. 37 (2015).
83 Seiten, deutsch.
CR-Klassif.K.4.1 (Computers and Society Public Policy Issues)
K.6.3 (Software Management)
Kurzfassung

Die vorliegende Bachelorarbeit befasst sich mit der Goal Structuring Notation (GSN) und deren Einsatz im sicherheitskritischen Bereich. Die GSN ist ein grafisches Stilmittel um Argumentationen wohlstrukturiert und anschaulich darstellen zu können. Aufgrund steigender Komplexität in Soft- und Hardwaresystemen der heutigen Zeit wird der Nachweis der funktionalen Sicherheit immer undurchsichtiger und komplexer. In verschiedenen Branchen hat sich das Konzept der Safety-Cases durchgesetzt. Safety-Cases werden verwendet um Argumentationen über die Sicherheit eines Systems darzustellen. Diese Safety-Cases können auf verschiedene Arten modelliert werden, unter anderem mithilfe von Goal Structuring Notation Diagrammen. In dieser Arbeit soll ein Ansatz zur Erstellung von Goal Structuring Notation Diagrammen entstehen und daraufhin implementiert werden. Durch Automatisierungen soll dem Anwender die Erstellung des Diagramms erleichtert werden. Zudem soll durch diese Automatisierungen auch die Qualität des Diagrammes gefordert werden. Dazu werden verschiedene Ansätze in Betracht gezogen.

Volltext und
andere Links
PDF (1284405 Bytes)
Abteilung(en)Universität Stuttgart, Institut für Softwaretechnologie, Sichere und Zuverlässige Softwaresysteme
BetreuerGrunske, Prof. Lars; Höfig, Dr. Kai
Eingabedatum16. November 2018
   Publ. Informatik