PASTA: Pragmatic Automated System-Theoretic Process Analysis

Jette Petzold · Jana Kreiß · Reinhard von Hanxleden

5 citations0/0 files storedInternational Conference on Dependable Systems & Networks/Proceedings

No readable copy stored yet — this record is metadata only.

No open-access location is known for this record yet.

Literature note Cite in a project Citation map

Risk and Safety Analysis Model-Driven Software Engineering Techniques Safety Systems Engineering in Autonomy

Abstract

System- Theoretic Process Analysis (STPA) is a relatively new hazard analysis technique. Several tools supporting the STPA process already exist. However, they are mostly textual. In this paper we present a Domain Specific Language (DSL) for STPA with an automatic visualization of the STPA components. This combines the advantages of textual and graphical approaches. The DSL is implemented with open source tooling, realized as a Visual Studio Code Extension using Langium for the language server and Sprotty for the visualization. A comparison suggests that the DSL has potential to be a good alternative to other STPA supporting tools.

Paper brief

Loading…

Cite this work

Citation unavailable for this work.

BibTeX RIS CSL-JSON

No public copy is stored for this record, so only the metadata is cited.

Citations in this library

Citation map →

Stored only when both papers are in the corpus — 5 citations exist upstream.

References

2012Engineering a safer world: systems thinking applied to safety 2015XSTAMPP: An eXtensible STAMP platform as tool support for safety engineering 2019WebSTAMP: a Web Application for STPA & STPA-Sec 2020A Sociotechnical Approach to UAV Safety for Search and Rescue Missions 2015A rule-based approach for safety analysis using STAMP/STPA

Explore the map →

Papers that cite the same references — the relational fallback while embeddings are still backfilling.

Imported from OpenAlex (CC0) — nothing here is generated.