Supporting Assurance Case Development Using Generative AI - Archive ouverte HAL
Communication Dans Un Congrès Année : 2023

Supporting Assurance Case Development Using Generative AI

Résumé

As the use of cyber-physical systems in safety-critical domains continues to rise, assurance cases have become a widely adopted approach for justifying the safety of these systems. During assurance case development, errors can occur such as logical fallacies and argument incompleteness which can lead to the deployment of unsafe systems. Methods such as Eliminative Argumentation have been proposed to improve confidence in assurance cases by identifying potential doubts in the argument (called defeaters) and arguing that they have been appropriately mitigated; however, using these methods does not guarantee that engineers will identify all relevant defeaters. In this paper, we propose our vision for using generative artificial intelligence to aid in the identification of defeaters in assurance cases to improve their reliability.
Fichier principal
Vignette du fichier
SAFECOMP_2023_paper_9563.pdf (218.7 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04191791 , version 1 (30-08-2023)

Identifiants

  • HAL Id : hal-04191791 , version 1

Citer

Torin Viger, Logan Murphy, Simon Diemert, Claudio Menghi, Alessio Di, et al.. Supporting Assurance Case Development Using Generative AI. SAFECOMP 2023, Position Paper, Sep 2023, Toulouse, France. ⟨hal-04191791⟩

Collections

LAAS SAFECOMP2023
202 Consultations
212 Téléchargements

Partager

More