SmartGSN：半自动化管理保证案例的在线工具
软件工程
2025-04-15 v2
摘要
制定行业标准并确保关键任务系统的生产者遵守这些标准，对于促进消费者接受至关重要。此类系统的生产者可以依靠保证案例向监管机构证明他们如何遵守了这些标准，以帮助防止可能导致人员伤亡和环境破坏的系统故障。在本文中，我们介绍SmartGSN，一款创新的在线工具，它依赖大型语言模型来（半）自动化地管理符合GSN（一种非常流行的用于图形化表示保证案例的符号）的保证案例。对SmartGSN的评估表明，它在为跨越多个应用领域的五个系统手动创建的保证案例中，具有很强的检测保证案例模式的能力。SmartGSN可通过[https://smartgsn.vercel.app]在线访问，演示视频可在[https://youtu.be/qLrTHf-SZbM]观看。
引用
@article{arxiv.2410.16675,
title = {SmartGSN: an online tool to semi-automatically manage assurance cases},
author = {Oluwafemi Odu and Daniel Méndez Beltran and Emiliano Berrones Gutiérrez and Alvine B. Belle and Gerhard Yu and Melika Sherafat},
journal= {arXiv preprint arXiv:2410.16675},
year = {2025}
}