用于 STPA 完成、管理与追溯的 LLM 集成框架
软件工程
2025-03-18 v1 人工智能
摘要
在许多安全关键工程领域，危险分析技术是需求提取的重要组成部分。在为此任务提出的方法中，STPA（系统理论过程分析）代表该领域相对较新的发展。该危险分析技术的完成、管理和可追溯性对参与的需求工程师和安全工程师构成了耗时的挑战。在本文中，我们引入了一个免费开源的软件框架，用于通过多个由大语言模型（LLM）驱动的自动化工作流来构建 STPA 模型。在过去的研究中，LLM 已成功集成到各领域的众多工作流中。在这里，我们证明 LLM 可以用于以高度准确性完成与 STPA 相关的任务，从而节省人类工程师的时间和精力。我们在由需求工程师和研究人员构建的真实世界 STPA 模型上实验验证了我们的方法。我们的软件框架源代码可在以下链接获取：https://github.com/blueskysolarracing/stpa。
引用
@article{arxiv.2503.12043,
title = {An LLM-Integrated Framework for Completion, Management, and Tracing of STPA},
author = {Ali Raeisdanaei and Juho Kim and Michael Liao and Sparsh Kochhar},
journal= {arXiv preprint arXiv:2503.12043},
year = {2025}
}