Bachelor Thesis BCLR-2015-37

BibliographyLux, Patrick: Computer-aided Styleguides for Goal Structuring Notation.
University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Bachelor Thesis No. 37 (2015).
83 pages, german.
CR-SchemaK.4.1 (Computers and Society Public Policy Issues)
K.6.3 (Software Management)
Abstract

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.

Full text and
other links
PDF (1284405 Bytes)
Department(s)University of Stuttgart, Institute of Software Technology, Software Reliability and Security
Superviser(s)Grunske, Prof. Lars; Höfig, Dr. Kai
Entry dateNovember 16, 2018
   Publ. Computer Science