3 papers
cs.RO2026
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…
cs.SE2025
LLMs as Judges: Toward The Automatic Review of GSN-compliant Assurance Cases
Gerhard Yu, Mithila Sivakumar, Alvine B. Belle +3
Assurance cases allow verifying the correct implementation of certain non-functional requirements of mission-critical systems, including their safety, security, and reliability. Th…
cs.SE2025
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…