Bitte benutzen Sie diese Kennung, um auf die Ressource zu verweisen: http://dx.doi.org/10.18419/opus-8749
Autor(en): Abdulkhaleq, Asim
Wagner, Stefan
Titel: XSTAMPP 2.0: new improvements to XSTAMPP Including CAST accident analysis and an extended approach to STPA
Erscheinungsdatum: 2016
Dokumentart: Konferenzbeitrag
Konferenz: STAMP Workshop (5th, 2016, Cambridge)
URI: http://elib.uni-stuttgart.de/handle/11682/8766
http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-ds-87668
http://dx.doi.org/10.18419/opus-8749
Zusammenfassung: XSTAMPP (eXtensible STAMP Platform ) is a software tool developed to serve the widespread adoption and use of STAMP methodologies in different domains. The first version of XSTAMPP supported only the STPA application. In this paper, we present a new version of XSTAMPP, including CAST accident analysis and extended approach to STPA. We developed two new plug-in tools called (1) A-CAST (Automated CAST) which implements the CAST activities and (2) XSTPA (Extended Approach to STPA) which supports automatically generating the context tables which will be used to refine the safety requirements and automatically transform the refined safety requirements into a formal specification in Linear Temporal Logic (LTL) to support verification activities. XSTAMPP 2.0 is available as an open source platform at our repository http://sourceforge.net/projects/stampp/files/2.0.0/.
Enthalten in den Sammlungen:05 Fakultät Informatik, Elektrotechnik und Informationstechnik

Dateien zu dieser Ressource:
Datei Beschreibung GrößeFormat 
XSTAMPP 2.0- New Improtvements to XSTAMPP including A-CAST plugin support to CAST Accident Aanalysis .pdf652,59 kBAdobe PDFÖffnen/Anzeigen


Alle Ressourcen in diesem Repositorium sind urheberrechtlich geschützt.