4 papers
Safety Case Patterns for VLA-based driving systems: Insights from SimLingo
Gerhard Yu, Fuyuki Ishikawa, Oluwafemi Odu +1
Vision-Language-Action (VLA)-based driving systems represent a significant paradigm shift in autonomous driving since, by combining traffic scene understanding, linguistic interpre…
SmartGSN: an online tool to semi-automatically manage assurance cases
Oluwafemi Odu, Daniel Méndez Beltran, Emiliano Berrones Gutiérrez +3
Developing industry-wide standards and ensuring producers of mission-critical systems comply with them is crucial to fostering consumer acceptance. Producers of such systems can re…
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…