SCC Meeting 21 Program Agenda

Software Certification Consortium Meeting #21
Fundamental Questions Regarding Assuring Safety of Software Intensive Systems?
May 11-12, 2023 | Maryland Inn - Historic Inns of Annapolis
Co-located with the HCSS Conference

Conference Archives: https://cps-vo.org/group/scc/meetings

THURSDAY, MAY 11
0730 - 0845	Breakfast \| Registration (until 5:00pm)
0845 - 0915	Welcome - Introductions
0915 - 0945	Assuring safe interoperability of medical systems through Conformance Profiles: Opportunities and Challenges Jens Weber, UVic/UBC
0945 - 1015	Overview of emerging safety standards: Ads & Artificial Intelligence Ramesh S, GM R&D
1015 - 1030	Moderated Discussion
1030 - 1045	Refreshment Break
1045 - 1115	Challenges in assuring safety of nuclear reactor protection systems - one perspective Sushil Birla, US NRC
1115- 1145	Dynamic Assurance Cases: Closing the loop between design and operational assurance Ewen Denney, KBR/NASA Ames
1145 - 1200	Moderated Discussion
1200 - 1300	Lunch
1300 - 1330	Complexity-awareness in the design of safety critical systems as a first class citizen Carl Elks, Virginia Commonwealth U
1330 - 1400	Functional Safety Standardization Jyotika Athavale, NVIDIA
1400 - 1415	Moderated Discussion
1415 - 1445	Systematic identification of use-related safety hazards in next-gen medical systems Paolo Masci, NIA and NASA Langley
1445 - 1515	Dealing with requirements validation in safe & secure civil avionics Kristin Yvonne Rozier, Iowa State U
1515 - 1530	Moderated Discussion
1530 - 1545	Refreshment Break
1545 - 1615	CERN LHC machine protection assurance case argument – assurance grounded in technical understanding rather than process compliance Jeff Joyce, Laure Millet, and Simon Diemert, Critical Systems Labs
1615 - 1630	Open Discussion
1630 - 1800	Panel Ramesh S, GM R&D Laure Millet, Critical Systems Labs Shankar, SRI i) Are ML components essential for autonomous vehicles? and ii) If we use them, can we assure the safety of autonomous vehicles at the time of, and after, deployment? 15 minutes each panelist, 5 minutes each rebuttal, then open discussion
FRIDAY, MAY 12
0730 - 0845	Breakfast
0845 - 0900	Welcome - Quicker Introductions
0900 - 0930	Identifying and addressing challenges for safe and secure complex systems John McDermid, UYork
0930 - 0945	Open Discussion
0945 - 1000	Refreshment Break
1000 - 1030	Software Assurance: Ontology, Evidence, Workflows Shankar, SRI
1030 - 1100	Communicating assurance: How to convince someone else your system is secure Matthew Bauer, Galois
1100 - 1130	Is design diversity essential/effective/practical for critical systems? Sam Procter, SEI
1130 - 1200	Moderated Discussion
1200 - 1300	Lunch
1300 - 1330	Safety expertise matters more than you might think Mallory Graydon, NASA Langley
1330 - 1345	Open Discussion
1345 - 1515	Panel Matthew Bauer, Galois Sam Procter, SEI Richard Paige, McSCert Is a safety first cyber security approach feasible and will it be effective? 15 minutes each panelist, 5 minutes each rebuttal, then open discussion
1515 - 1530	Refreshment Break
1530 - 1630	Wrap-up Discussion on publication and future meeting(s)