Supporting Assurance Case Development Using Generative AI - 42nd International Conference on Computer Safety, Reliability and Security Access content directly
Conference Papers Year : 2023

Supporting Assurance Case Development Using Generative AI

Abstract

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
Origin : Files produced by the author(s)

Dates and versions

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

Identifiers

  • HAL Id : hal-04191791 , version 1

Cite

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
113 View
126 Download

Share

Gmail Facebook X LinkedIn More