XSTAMPP 2.0: new improvements to XSTAMPP Including CAST accident analysis and an extended approach to STPA
| dc.contributor.author | Abdulkhaleq, Asim | |
| dc.contributor.author | Wagner, Stefan | |
| dc.date.accessioned | 2016-05-13T09:30:02Z | |
| dc.date.available | 2016-05-13T09:30:02Z | |
| dc.date.issued | 2016 | de |
| dc.description.abstract | 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/. | en |
| dc.identifier.other | 1780862296 | |
| dc.identifier.uri | http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-ds-87668 | de |
| dc.identifier.uri | http://elib.uni-stuttgart.de/handle/11682/8766 | |
| dc.identifier.uri | http://dx.doi.org/10.18419/opus-8749 | |
| dc.language.iso | en | de |
| dc.rights | info:eu-repo/semantics/openAccess | de |
| dc.subject.ddc | 004 | de |
| dc.title | XSTAMPP 2.0: new improvements to XSTAMPP Including CAST accident analysis and an extended approach to STPA | en |
| dc.type | conferenceObject | de |
| ubs.fakultaet | Informatik, Elektrotechnik und Informationstechnik | de |
| ubs.institut | Institut für Softwaretechnologie | de |
| ubs.konferenzname | STAMP Workshop (5th, 2016, Cambridge) | de |
| ubs.publikation.typ | Konferenzbeitrag | de |
Files
Original bundle
1 - 1 of 1
- Name:
- XSTAMPP 2.0- New Improtvements to XSTAMPP including A-CAST plugin support to CAST Accident Aanalysis .pdf
- Size:
- 652.59 KB
- Format:
- Adobe Portable Document Format
License bundle
1 - 1 of 1
No Thumbnail Available
- Name:
- license.txt
- Size:
- 3.39 KB
- Format:
- Item-specific license agreed upon to submission
- Description: