[HTML][HTML] Automatic instantiation of assurance cases from patterns using large language models

O Odu, AB Belle, S Wang, S Kpodjedo… - Journal of Systems and …, 2025 - Elsevier
An assurance case is a structured set of arguments supported by evidence, demonstrating
that a system's non-functional requirements (eg, safety, security, reliability) have been …

DESIGN AND AUTOMATIC GENERATION OF SAFETY CASES OF ML-ENABLED AUTONOMOUS DRIVING SYSTEMS

M Sivakumar - 2024 - yorkspace.library.yorku.ca
Safety cases play a pivotal role in ensuring system reliability and acceptability, providing a
structured argument supported by evidence. However, gaps in safety case literature hinder …

DevCase: design and implementation of a novel web-based graphical editor for safety cases complying with the GSN

Y Wang, M Sivakumar, A Boaye Belle… - Available at SSRN …, 2023 - papers.ssrn.com
In the realm of safety-critical systems, justifying their safety prior to deployment is not just a
necessity, but a mandate. Hence, the creation of compelling safety cases becomes a …