PASTA: Pragmatic Automated System-Theoretic Process Analysis

DSN(2023)

引用 0|浏览7
暂无评分
摘要
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.
更多
查看译文
关键词
STPA, DSL, VS Code Extension, Automatic Visualization, Sprotty
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要