Workshop Date, Venue and Location. Oct. 21, Radisson Hotel Paulista, São Paulo

Program
Note. All times are Brasília Standard Time (BST UTC -3).
Time zone conversions. PDT US: -4h ; EDT US: -1h ; BST UK +3h ; CEST Europe: +4h ; JST Japan +12h

Opening Remarks (5 minutes, 09:00 - 09:05) 

• • Shuji Kinoshita (University of Nagasaki, Japan)

Session 1: (09:05-10:20)

Chair: Shuji Kinoshita (University of Nagasaki, Japan)

09:05-09:45 Invited Talk. Assurance Cases for Consensus Building: Lessons from Japanese Practice (Online)

• • Yutaka Matsuno (Nihon University, Japan)

    • Abstract. We have been researching and promoting assurance cases in Japan for over 15 years. This presentation shares insights from our experience, particularly from collaborative research with an automated driving company on building consensus among diverse stakeholders. We examine how confidence—a central concept in assurance case research—and stakeholder consensus building complement each other, and share practical lessons learned from Japanese practice.

09:50-10:05 AI Assurance Needs a Systems Engineering Approach (Online)

• Robin Bloomfield (CSR City St George's, University of London, United Kingdom)

• John Rushby (SRI International, United States)

10:05-10:20 LLM Safety and Context Fallacies (Online)

• Shaun Feakins (University of York, United Kingdom)

• Ibrahim Habli (University of York, United Kingdom)

• Phillip Morgan (University of York, United Kingdom)

Morning Coffee Break (30 minutes, 10:20 - 10:50)

Session 2: (10:50-11:50)

Chair: Irfan Sljivo (KBR / NASA Ames Research Center, USA) 

10:50-11:20 Linking Medical Device Assurance Cases  (Online)

• Tiago de Moraes Machado (McMaster University, Canada)

• Mark Lawford (McMaster University, Canada)

• Richard F. Paige  (McMaster University, Canada)

• Alan Wassyng (McMaster University, Canada)

11:20-11:50 Security Resilience Evaluation of MQTT-based IoT Brokers Considering Denial of Service Attacks

• Valdir Silva (Federal Rural University of Pernambuco, Brazil)

• Diego Gomes (University of Coimbra, Portugal)

• Eduardo Felix(University of Coimbra, Portugal)

• Bruno Jesus (University of Coimbra, Portugal)

• Milton Lima (Center for Advanced Studies and Systems of Recife, Brazil)

• Fernando Lins (Federal Rural University of Pernambuco, Brazil)

Closing remarks (5 minutes, 11:50 - 11:55)

• • Irfan Sljivo (KBR / NASA Ames Research Center, USA)