Program

Keynote Speaker: Prof. Betty Cheng (Michigan State University, MI, USA)

Model-Driven Approaches to Addressing Assurance for AI-enabled Autonomous Systems in the Face of Uncertainty

Abstract: This presentation will overview several research projects that explore how model-driven requirements engineering can been used to model, analyze, and mitigate uncertainty arising in three different aspects of high-assurance autonomous systems. First, uncertainty about the physical environment can lead to suboptimal, and sometimes catastrophic, results as the system tries to adapt to unanticipated or poorly-understood environmental conditions. Second, uncertainty in the cyber environment can lead to unexpected and adverse effects, including not only performance impacts (load, traffic, etc.) but also potential threats or overt attacks. Finally, uncertainty can exist with the components themselves and how they interact upon reconfiguration, including unexpected and unwanted feature interactions. Each of these sources of uncertainty can potentially be identified and mitigated at design time and run time. All of these factors are further highlighted by the increasing role of AI, which we will also explore in this talk.  Based on a number of collaborative projects involving industry applications, we share lessons learned and identify research challenges to applying model-driven requirements engineering to address uncertainty posed by the changing roles of humans, computers, and their collective ecosystem. 

Full-day detailed program (tentative)

Audience are requested to turn their cameras on during the presentations

8:30 - 10:00 : Session 1: Welcome and Keynote Talk 

• • Workshop opening by Juergen Dingel

  • Keynote by Prof. Betty Cheng: Model-Driven Approaches to Addressing Assurance for AI-enabled Autonomous Systems in the Face of Uncertainty

10:00 - 10:30 : Coffee Break 

10:30 - 12:00 : Session 2. Chair: TBD 

• • 10:30 - 10:55 
    Rahmanu Hermawan, Alessio Bucaioni, Eduard Paul Enoiu, and Wasif Afzal
    Benchmarking Large Language Models for Root Cause Analysis in Train Control Software Testing

  • 10:55 - 11:15
    Yon Vanommeslaeghe, Bert Van Acker and Paul De Meulenaere
    Towards Seamless Processor-in-the-Loop Testing with FMI 3.0

  • 11:15 - 11:35
    Sebastian Daag and Johan Cederbladh
    Investigating Simulation for Safety Analysis of Battery Systems in an Active Solar Car Project

  • 11:35  - 12:00
    Romain Pascual, Arne Lange, Thomas Weber, Lars König, Michael Kirsten and Terru Stübinger
    Towards Examining the Complexity of Consistency

  • Informal discussion : 10 minutes (if time permits)