# An LLM-Integrated Framework for Completion, Management, and Tracing of STPA

arXiv: https://arxiv.org/abs/2503.12043 · HTML: https://mlsanity.com/paper/2503.12043/

## Key facts

- Cited by 2 papers in the map (data through 14 Oct 2026).
- Builds on 9 of its 38 references that are in the map.
- First posted on arXiv 15 Mar 2025.

## Builds on (most cited first, 9 of 9)

- [GPT-4 Technical Report](https://mlsanity.com/paper/2303.08774/) (2023)
- [Using Large Language Models to Simulate Multiple Humans and Replicate Human Subject Studies](https://mlsanity.com/paper/2208.10264/) (2022)
- [Safety Analysis in the Era of Large Language Models: A Case Study of STPA using ChatGPT](https://mlsanity.com/paper/2304.01246/) (2023)
- [Can Large Language Models assist in Hazard Analysis?](https://mlsanity.com/paper/2303.15473/) (2023)
- [From Hazard Identification to Controller Design: Proactive and LLM-Supported Safety Engineering for ML-Powered Systems](https://mlsanity.com/paper/2502.07974/) (2025)
- [Evaluating the Effectiveness of GPT-4 Turbo in Creating Defeaters for Assurance Cases](https://mlsanity.com/paper/2401.17991/) (2024)
- [CoDefeater: Using LLMs To Find Defeaters in Assurance Cases](https://mlsanity.com/paper/2407.13717/) (2024)
- [Applications of natural language processing in aviation safety: A review and qualitative analysis](https://mlsanity.com/paper/2501.06210/) (2025)
- [Observing the Southern US Culture of Honor Using Large-Scale Social Media Analysis](https://mlsanity.com/paper/2410.13887/) (2024)

## Built on by (most cited first, 2 of 2)

- [Who Analyses the Analyser? Self-Validating LLM Hazard Analysis with Constitutional Meta-STPA](https://mlsanity.com/paper/2607.08054/) (2026)
- [From Safety Documentation to Safety Knowledge Support: An Evidence-Grounded LLM Framework for Medical Devices](https://mlsanity.com/paper/2608.12025/) (2026)

## Abstract (arXiv)

In many safety-critical engineering domains, hazard analysis techniques are an essential part of requirement elicitation. Of the methods proposed for this task, STPA (System-Theoretic Process Analysis) represents a relatively recent development in the field. The completion, management, and traceability of this hazard analysis technique present a time-consuming challenge to the requirements and safety engineers involved. In this paper, we introduce a free, open-source software framework to build STPA models with several automated workflows powered by large language models (LLMs). In past works, LLMs have been successfully integrated into a myriad of workflows across various fields. Here, we demonstrate that LLMs can be used to complete tasks associated with STPA with a high degree of accuracy, saving the time and effort of the human engineers involved. We experimentally validate our method on real-world STPA models built by requirement engineers and researchers. The source code of our software framework is available at the following link: https://github.com/blueskysolarracing/stpa.
