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

Program (tentative)
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 Implementation 

• • Yutaka Matsuno (Nihon University, Japan)

    • Abstract. We have been conducting research and promoting the adoption of assurance cases in Japan for over 15 years. In this presentation, we will share our experiences, with particular focus on our collaborative research with autonomous driving companies regarding consensus building among diverse stakeholders. We will discuss the relationship between confidence—a central topic in assurance case research—and consensus building.

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

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

• John Rushby (SRI International, United States)

10:05-10:20 LLMs and Context Fallacies

• 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 

• 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)