Program Agenda

The SCC Meeting will again be co-located High Confidence Software and Systems Conference, which is scheduled for May 6-8.


PROGRAM AGENDA
   
THURSDAY, MAY 9               
Safe & Secure Remote Operation of Safety-Critical Systems
0730 - 0845 BREAKFAST
 
0845 - 0930 Welcome | Introductions
 
0930 - 1000 Beyond Net Risk for Autonomous Vehicles
Phil Koopman (Carnegie Mellon University)
 
1000 - 1030 Assurance Cases as Knowledge Graphs
Mauricio Castillo-Effen (Lockheed Martin)
 
1030 - 1100 Moderated Discussion
 
1100 - 1115 Refreshment Break
 
1115 - 1145 Correct by Construction Standard Compliance/conformance
Yamine Ait Ameur (IRIT/Toulouse National Polytechnique Institute - CNRS
 
1145 - 1200 Discussion
 
1200 - 1300 LUNCH
 
1300 - 1330
 
Challenges in Safe Remote Operations: Lessons from Aerospace
Alwyn Goodloe, Natasha Neogi, & Laura Humphrey (NASA Langley Research Center)
 
1330 - 1400
 
Status and Challenges of Remote Operation of Motor Vehicles
Joseph D’Ambrosio & Ramesh S. (General Motors)
 
1400 - 1430
 
Moderated Discussion
 
1430 - 1445
 
Refreshment Break
 
1445 - 1515
 
Safety Considerations for Medical Device Remote Control in the Tele-Critical Care Context
Yi Zhang (Massachusetts General Hospital)
 
1515 - 1530 Discussion
1530 - 1700 Panel: Using Assurance Cases for a Go/No Go Decision: Theory and Practice
Moderator: Chuck Weinstock

Panelists:
Robin Bloomfield (City, University of London)
John Goodenough (SEI)
Simon Diemert (CSL)
 
1700 - 1715
 
Wrap-up Day 1
 
1830
 
Group Dinner
 
   
FRIDAY, MAY 10               
Safe & Secure Remote Operation of Safety-Critical Systems
0730 - 0845 BREAKFAST            
 
0845 - 0900 Welcome | Introductions
0900 - 0930 In a Field Far, Far Away
Michael Holloway (NASA Langley Research Center)        
 
0930 - 0945 Discussion
0945 - 1000 Refreshment Break
1000 - 1045 Lessons Learned in Regulating Self Driving Cars
Missy Cummings (GMU)
1045 - 1115 Discussion
1115 - 1145 Using WorkFlow+ to Assure Safety of Automotive Over-the-air Software Updates
Nicholas Annable (McMaster Centre for Software Certification)
1145 - 1200 Discussion
1200 - 1330 LUNCH - Including Wrap-Up
Discussion including publication & future meetings
1330 Meeting Adjourned