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)
Licence

Dates et versions

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

Licence

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

568 Consultations
492 Téléchargements

Partager

  • More