SmartGSN: an online tool to semi-automatically manage assurance cases
Fuente:
arXiv
Guardado en:
| Autores principales: | , , , , , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2024
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866916687034449920 |
|---|---|
| author | Odu, Oluwafemi Beltran, Daniel Méndez Gutiérrez, Emiliano Berrones Belle, Alvine B. Yu, Gerhard Sherafat, Melika |
| author_facet | Odu, Oluwafemi Beltran, Daniel Méndez Gutiérrez, Emiliano Berrones Belle, Alvine B. Yu, Gerhard Sherafat, Melika |
| contents | 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] |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2410_16675 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | SmartGSN: an online tool to semi-automatically manage assurance cases Odu, Oluwafemi Beltran, Daniel Méndez Gutiérrez, Emiliano Berrones Belle, Alvine B. Yu, Gerhard Sherafat, Melika Software Engineering 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] |
| title | SmartGSN: an online tool to semi-automatically manage assurance cases |
| topic | Software Engineering |
| url | https://arxiv.org/abs/2410.16675 |