CAIN 2025
Sun 27 - Mon 28 April 2025 Ottawa, Ontario, Canada
co-located with ICSE 2025

This program is tentative and subject to change.

Mon 28 Apr 2025 16:45 - 17:00 at 208 - Generative Model Engineering

Justifying the correct implementation of the non functional requirements of mission-critical systems is crucial to prevent system failure. The latter could have severe consequences such as the death of people, and financial losses. Assurance cases (e.g., safety cases, security cases) can be used to prevent system failure. They are structured sets of arguments supported by evidence and aiming at demonstrating that a system’s non functional requirements have been correctly implemented. However, although the availability of complete assurance cases is crucial to allow the research community to contribute to the system assurance field, it remains very challenging to access complete assurance cases due to several concerns such as confidentiality issues. Furthermore, assurance cases are usually very large documents. Still, their creation remains a manual, tedious, and error-prone process that heavily relies on domain expertise. Thus, exploring techniques to support their automatic instantiation becomes crucial. To fill these gaps, our experience paper first demonstrates the feasibility of an AMLAS-based design methodology on a case study aiming at manually creating a safety case for the ML-enabled trajectory prediction component of an open-source autonomous driving system i.e. Baidu Apollo. Our paper then reports our experience in using a Large Language Model (LLM) to automatically re-create the same safety case. The lessons we drawn from this case study provide actionable insights that could benefit researchers and practitioners.

This program is tentative and subject to change.

Mon 28 Apr

Displayed time zone: Eastern Time (US & Canada) change

16:00 - 17:30
Generative Model EngineeringResearch and Experience Papers / Industry Talks at 208
16:00
15m
Talk
DDPT: Diffusion Driven Prompt Tuning for Large Language Model Code Generation
Research and Experience Papers
Jinyang Li , Sangwon Hyun CREST, University of Adelaide, Muhammad Ali Babar School of Computer Science, The University of Adelaide
16:15
15m
Talk
Engineering LLM Powered Multi-agent Framework for Autonomous CloudOpsDistinguished paper Award Candidate
Research and Experience Papers
Kannan Parthasarathy MontyCloud, Karthik Vaidhyanathan IIIT Hyderabad, Rudra Dhar SERC, IIIT Hyderabad, India, Venkat Krishnamachari MontyCloud, Adyansh Kakran International Institute of Information Technology, Hyderabad, Sreemaee Akshathala IIIT Hyderabad, Shrikara Arun IIIT Hyderabad, Amey Karan IIIT Hyderabad, Basil Muhammed MontyCloud, Sumant Dubey MontyCloud, Mohan Veerubhotla MontyCloud
16:30
15m
Talk
Generating and Verifying Synthetic Datasets with Requirements Engineering
Research and Experience Papers
Lynn Vonderhaar Embry-Riddle Aeronautical University, Timothy Elvira Embry-Riddle Aeronautical University, Omar Ochoa Embry-Riddle Aeronautical University
16:45
15m
Talk
LLM-Based Safety Case Generation for Baidu Apollo: Are We There Yet?
Research and Experience Papers
Oluwafemi Odu York University, Alvine Boaye Belle York University, Song Wang York University
17:00
12m
Talk
SqPal - text to SQL GenAI tool for PayPal
Industry Talks
Dan Liyanage PayPal, Mahshid Moha PayPal, Sandy Suresh PayPal
17:12
18m
Other
Discussion
Research and Experience Papers

:
:
:
: