This paper presents a manifesto for our forward-looking idea: using assurance cases as data. We argue that engineers produce a lot of data during the assurance ...

Therefore, in this manifesto, we propose to monitor the assurance case development activities, treat assurance cases as data, and learn suggestions that help.

This paper presents a manifesto for our forward-looking idea: using assurance cases as data. We argue that engineers produce a lot of data during the assurance ...

Sep 20, 2023 · This paper presents a manifesto for our forward-looking idea: using assurance cases as data. We argue that engineers produce a lot of data ...

This paper presents a manifesto for our forward-looking idea: using assurance cases as data. We argue that engineers produce a lot of data during the assurance ...

May 13, 2024 · Given the growing interest in employing assurance cases to ensure that systems are developed to meet their requirements, exploring solutions for ...

Aug 30, 2023 · In this paper, we propose our vision for using generative artificial intelligence to aid in the identification of defeaters in assurance cases ...

Jul 18, 2024 · This new ideas paper proposes CoDefeater, an automated process to leverage large language models (LLMs) for finding defeaters.

An assurance case is a structured hierarchy of claims aiming at demonstrating that a mission-critical system supports specific requirements (e.g., safety, ...

Apr 14, 2023 · Abstract. Assurance cases are structured arguments designed to show that a system functions properly in its operational environment.