An LLM-Integrated Framework for Completion, Management, and Tracing of STPA
This work addresses a domain-specific problem for requirements and safety engineers by providing an incremental improvement through automation of existing STPA workflows.
The paper tackles the time-consuming challenge of completing, managing, and tracing STPA hazard analysis in safety-critical engineering by introducing an open-source software framework that uses large language models (LLMs) to automate tasks with high accuracy, saving human effort.
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.