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://sos-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 |