Visible to the public 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