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…
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…
A Pilot Study on LLM-Based Agentic Translation from Android to iOS: Pitfalls and Insights
Zhili Zeng, Kimya Khakzad Shahandashti, Alvine Boaye Belle +3
The rapid advancement of mobile applications has led to a significant demand for cross-platform compatibility, particularly between the Android and iOS platforms. Traditional appro…
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…