System Assurance in The Era of Large Language Models (LLMs)
Join the IEEE Toronto Instrumentation & Measurement – Robotics & Automation Joint Chapter for a technical talk presented by Dr. Alvine B. Belle from York University.
Monday, June 29, 2026 @ 2:00 – 3:00 PM (EST)
Abstract:
Justifying the correct implementation of the non-functional requirements (e.g., safety, security, reliability) of mission-critical systems is crucial to prevent system failure. The latter could have severe consequences such as the death of people, financial losses, and environmental damage. Assurance cases (e.g., safety cases, security cases) can be used to prevent system failure. They therefore support system assurance. Assurance cases 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, labor-intensive, and error-prone process that heavily relies on domain expertise. Therefore, relying on (semi-)automated techniques such as those supported by generative AI through LLMs (Large Language Models) could alleviate the task of assurance case developers by facilitating the execution of all activities related to the assurance case lifecycle.
In this talk, Dr. Belle will present the current solutions on LLM-based system assurance to inform future research on this topic. She will illustrate these solutions with various case studies spanning several application domains (e.g., healthcare, automotive, and nuclear).
Date and Time
Location
Hosts
Registration
-
Add Event to Calendar
Loading virtual attendance info...
- Starts 21 May 2026 04:00 AM UTC
- Ends 27 June 2026 04:00 AM UTC
- No Admission Charge
Speakers
Alvine B. Belle, PhD
Biography:
Dr. Belle is a Cameroonian/Canadian computer scientist. She got into university at sixteen. She holds a PhD in software engineering from the University of Quebec (Ecole de Technologie Supérieure). She has completed a 2-year industrial postdoctoral in software engineering at the University of Ottawa. After completing her industrial postdoctoral, she worked for the federal public service of Canada. She has recently completed a three-year graduate diploma in public administration and governance at McGill University. The curriculum of that diploma strengthened her skills in project management, and equipped her with strong leadership competencies. That curriculum also gave her the tools required to successfully manage very large and diverse organizational teams, and interpret the legal and ethical issues relevant to public organizations.
Dr. Belle is currently working as an Assistant Professor in the Department of Electrical Engineering and Computer Science at Lassonde School of Engineering. She is the head of the DARE! research group.
Since her arrival at York University in July 2021, Dr. Belle has supervised nearly forty (40) students and postdoctoral researchers and secured nearly ten million in funding as a PI, co-PI and co-applicant. Her funding comes from several organizations such as NSERC, Connected Minds, CFREF (Canada First Research Excellence Fund), Mitacs, and IDRC (International Development Research Centre).
Dr. Belle is the reviewer of several high impact factor journals, including the ACM TOSEM (Transactions on Software Engineering and Methodology) journal, the Empirical Software Engineering journal, the IEEE Transactions on Intelligent Vehicles journal, the IEEE Software magazine, the Software system Modeling (SoSym) journal, the Software Quality journal, the Information and Software Technology journal, and the Requirement Engineering journal.
Dr. Belle is also a mother, and she is very passionate about poetry, winning several local and international poetry contests. She speaks both French (her third language) and English (her fourth language).