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://nbn-resolving.de/urn:nbn:de:bsz:93-opus-ds-87668 http://elib.uni-stuttgart.de/handle/11682/8766 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öße | Format | |
|---|---|---|---|---|
| XSTAMPP 2.0- New Improtvements to XSTAMPP including A-CAST plugin support to CAST Accident Aanalysis .pdf | 652,59 kB | Adobe PDF | Öffnen/Anzeigen |
Alle Ressourcen in diesem Repositorium sind urheberrechtlich geschützt.