2 citations · 3 across the 7 of their papers we have counts for
4 papers · 1 filter
Automatic Instantiation of Assurance Cases from Patterns Using Large Language Models
Oluwafemi Odu, Alvine B. Belle, Song Wang +3
An assurance case is a structured set of arguments supported by evidence, demonstrating that a system's non-functional requirements (e.g., safety, security, reliability) have been…
A PRISMA-Driven Bibliometric Analysis of the Scientific Literature on Assurance Case Patterns
Oluwafemi Odu, Alvine Boaye Belle, Song Wang +1
Justifying the correct implementation of the non-functional requirements (e.g., safety, security) of mission-critical systems is crucial to prevent system failure. The later could…
Evaluating the Effectiveness of GPT-4 Turbo in Creating Defeaters for Assurance Cases
Kimya Khakzad Shahandashti, Mithila Sivakumar, Mohammad Mahdi Mohajer +3
Assurance cases (ACs) are structured arguments that support the verification of the correct implementation of systems' non-functional requirements, such as safety and security, the…
I came, I saw, I certified: some perspectives on the safety assurance of cyber-physical systems
Mithila Sivakumar, Alvine B. Belle, Kimya Khakzad Shahandashti +5
The execution failure of cyber-physical systems (e.g., autonomous driving systems, unmanned aerial systems, and robotic systems) could result in the loss of life, severe injuries,…