Software Certification Consortium (SCC) #23 Program Agenda
Software Certification Consortium Meeting #23
Safe & Secure Remote Operation of Safety-Critical Systems
May 15-16, 2025 | Maryland Inn - Historic Inns of Annapolis
Co-located with the HCSS Conference
Conference Archives: https://sos-vo.org/group/scc/meetings
| THURSDAY, MAY 15 | |
| 0730 - 0845 | BREAKFAST |
| 0845 - 0930 | Welcome – Introductions |
| 0930 - 1000 | Safety for Embodied Artificial Intelligence Phil Koopman (Carnegie Mellon University) |
| 1000 - 1020 | Discussion |
| 1020 - 1035 | Refreshment Break |
| 1035 - 1105 | Safety Engineering Challenges in the Large Language Model Era Ramesh S (General Motors R&D) |
| 1105 - 1135 | AI-Enabled Eliminative Argumentation: Increasing Confidence in Assurance Cases through LLM Defeater Generation Torin Viger (University of Toronto) |
| 1135 - 1215 | Moderated Discussion |
| 1215 - 1315 | LUNCH |
| 1315 - 1345 | Promises, Promises: AI and Certification Bill Scherlis (Carnegie Mellon University) |
| 1345 - 1415 | People Struggle to Produce Good Assurance Cases… Would AI Do Any Better? Robin Bloomfield (City and St George's, University of Greater London) |
| 1415 - 1500 | Moderated Discussion |
| 1500 - 1515 | Refreshment Break |
| 1515 - 1715 | Panel Discussion: Safety of AI-enabled Systems and AI in Assurance of Safety: Are We Creating Self-Licking Ice Panelists: Phill Koopman, Ramesh S, Marsha Chechik, Bill Scherlis, Robin Bloomfield, Sarah Lehman |
| 1715 - 1730 | Wrap-up Day 1 |
| Pay your own way dinner - Thursday Evening | |
| FRIDAY, MAY 16 | |
| 0730 - 0845 | BREAKFAST |
| 0845 - 0900 | Welcome – Introductions |
| 0900 - 0930 | Examining Proposed Uses of LLMs to Produce or Assess Assurance Arguments Mallory Graydon & Sarah Lehman (NASA) |
| 0930 - 1000 | Ontology-based Representation for Assurance and Compliance Barbara Gallina (Mälardalen University) |
| 1000 - 1030 | Moderated Discussion |
| 1030 - 1045 | Refreshment Break |
| 1045 - 1115 | Protecting Safety-Critical Software Intensive Systems: Strong Partitioning Using the Verified seL4 Microkernel and Formal Methods-Integrated Model-Based Development with SysMLv2 and Rust John Hatcliff (Kansas State University) |
| 1115 - 1145 | Protecting Safety-Critical Software Intensive Systems from Malicious Action Harald Ruess (Stanford Research Institute) |
| 1145 - 1215 | Moderated Discussion |
| 1215 - 1315 | LUNCH |
| 1315 - 1430 | Discussion: What Are the Current Challenges in Protecting Safety-Critical Systems? Guided by Sushil Birla & Norbert Carte (U.S. Nuclear Regulatory Commission) |
| 1430 - 1445 | Refreshment Break |
| 1445 - 1600 | Prioritizing Challenges Discovered Earlier to Guide Consensus and a Future Paper - Sushil Birla & Norbert Carte The idea here is to use this to arrive at a consensus and write a paper based on the outcome. Authorship will be open to everyone involved in the SCC meeting - paper will need future work |
| 1600 - 1615 | Wrap-up Day 2 |
