Bitte benutzen Sie diese Kennung, um auf die Ressource zu verweisen: http://dx.doi.org/10.18419/opus-11290
Langanzeige der Metadaten
DC ElementWertSprache
dc.contributor.authorHeld, Felix-
dc.date.accessioned2021-02-17T09:28:27Z-
dc.date.available2021-02-17T09:28:27Z-
dc.date.issued2020de
dc.identifier.other1748729322-
dc.identifier.urihttp://nbn-resolving.de/urn:nbn:de:bsz:93-opus-ds-113077de
dc.identifier.urihttp://elib.uni-stuttgart.de/handle/11682/11307-
dc.identifier.urihttp://dx.doi.org/10.18419/opus-11290-
dc.description.abstractSystem-Theoretic Process Analysis (STPA) ist eine Technik, die zur Gefährdungsanalyse komplexer Systeme eingesetzt werden kann [Lev16]. Das an der Universität Stuttgart entwickelte System NAXT ist ein Programm zur Durchführung von STPA-Analysen. Die Software in Systemen kann Ursprung von Gefährdungen sein, um diese zu verhindern ist die Verifikation der Software sinnvoll. Allerdings unterstützt NAXT bisher die Analyse der in den Systemen eingesetzten Software nicht. Asim Abdulkhaleq und Stefan Wagner stellen in ihren Arbeiten [AW15; AWL15] eine Möglichkeit vor, die Verifikation von Software in den STPA-Prozess einzubauen. Diese Arbeit stellt den Entwurf und die Umsetzung einer Erweiterung von STPA in NAXT um diesen Schritt vor. NAXT wird das Verifizieren von Software durch Model Checking erleichtern. Hierfür wird eine Möglichkeit geboten, Anforderungen an die Software abzuleiten und formal zu erfassen. Ebenfalls wird eine Möglichkeit geboten, eine Verifikation mit den Programmen NuSMV und SPIN aus NAXT zu starten.de
dc.language.isodede
dc.rightsinfo:eu-repo/semantics/openAccessde
dc.subject.ddc004de
dc.titleErweiterung der Einzelplatzanwendung des Systems XSTAMPP 4 um die Verfeinerung des Unsafe Control Actions für ein Model Checkde
dc.title.alternativeExtension of the desktop application of XSTAMPP 4 with the refinement of unsafe control actions with model checken
dc.typebachelorThesisde
ubs.fakultaetInformatik, Elektrotechnik und Informationstechnikde
ubs.institutInstitut für Softwaretechnologiede
ubs.publikation.seiten45de
ubs.publikation.typAbschlussarbeit (Bachelor)de
Enthalten in den Sammlungen:05 Fakultät Informatik, Elektrotechnik und Informationstechnik

Dateien zu dieser Ressource:
Datei Beschreibung GrößeFormat 
Felix_Held_BA.pdf3,23 MBAdobe PDFÖffnen/Anzeigen


Alle Ressourcen in diesem Repositorium sind urheberrechtlich geschützt.