SmartGSN：一个半自动管理保证案例的在线工具
SmartGSN: an online tool to semi-automatically manage assurance cases
AI总结：
本文提出在线工具SmartGSN，利用大型语言模型半自动化管理符合GSN符号的保证案例，并在五个跨领域系统的保证案例中验证了其模式检测能力。
摘要：
制定行业范围的标准并确保关键任务系统的生产者遵守这些标准，对于促进消费者接受至关重要。此类系统的生产者可以依靠保证案例向监管机构展示他们如何遵守这些标准，以帮助防止可能导致人员伤亡和环境破坏的系统故障。在本文中，我们介绍了SmartGSN，这是一个创新的在线工具，它依靠大型语言模型来（半）自动化管理符合GSN的保证案例——GSN是一种非常流行的以图形方式表示保证案例的符号。对SmartGSN的评估证明了其强大的能力，能够在为跨越多个应用领域的五个系统手动创建的保证案例中检测保证案例模式。SmartGSN可在[https://smartgsn.vercel.app]在线访问，演示视频可在[https://youtu.be/qLrTHf-SZbM]观看。
英文摘要：
Developing industry-wide standards and ensuring producers of mission-critical systems comply with them is crucial to fostering consumer acceptance. Producers of such systems can rely on assurance cases to demonstrate to regulatory authorities how they have complied with such standards to help prevent system failure, which could result in fatalities and environmental damage. In this paper, we introduce SmartGSN, an innovative online tool that relies on Large Language Models to (semi-)automate the management of assurance cases complying with GSN - a very popular notation to graphically represent assurance cases. The evaluation of SmartGSN demonstrates its strong capability to detect assurance case patterns within the assurance cases manually created for five systems spanning several application domains. SmartGSN is accessible online at [https://smartgsn.vercel.app], and a demonstration video can be viewed at [https://youtu.be/qLrTHf-SZbM]
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
