SCC Meeting 17 Program Agenda
Software Certification Consortium Meeting #17
Assurance of Model-Based Design
Monday, May 9, 2016 | Annapolis, Maryland | Co-located with HCSS 2016
Conference Archives: https://cps-vo.org/group/scc/meetings
DOWNLOAD PRINTER-FRIENDLY VERSION |
MONDAY, MAY 9, 2016 | |
0715 - 0815 | Breakfast | Registration (until 5:30pm) |
0815 - 0830 | Welcome |
0830 - 0900 | Challenges in Autonomous Vehicle Testing and Validation Phil Koopman (Carnegie Mellon University) |
0900 - 0910 | Discussion |
0910 - 0940 | Assurance Challenges of Model-Based Design for Self-Driving Cars Krzysztof Czarnecki (Waterloo University) |
0940 - 0950 | Discussion |
0950 - 1020 | Automotive Model-Based Development of Safety Critical Systems Joe D'Ambrosio (General Motors Research) |
1020 - 1030 | Discussion |
1030 - 1100 | Refreshment Break |
1100 - 1215 | Breakout Session I Greatest Challenges in Certifying Systems Built Using Model-Based Design |
1215 - 1315 | Lunch |
1315 - 1345 | Simulink Models - Assurance Through Comprehensive Formal Verification John Knight (University of Virginia & Dependable Computing) |
1345 - 1355 | Discussion |
1355 - 1425 | Greatest Challenges in Certifying Systems Built Using Model-Based Design Paul Jones (US FDA) |
1425 - 1435 | Discussion |
1435 - 1500 | Refreshment Break |
1500 - 1530 | Overcoming Challenges in Certification of Model-Based Design of Cyber-Physical Systems Alan Wassyng, Monika Bialy, Paul Joannou, Mark Lawford, Tom Maibaum, Vera Pantelic (McMaster University) |
1530 - 1540 | Discussion |
1540 - 1610 | Compositional Reasoning About Architecture Models Darren Cofer (Rockwell Collins) |
1610 - 1620 | Discussion |
1620 - 1735 | Breakout Session II The Most Promising Ways of Overcoming Challenges in Certifying Systems Built Using MBD |
1735 - 1745 | Wrap-up |