SCC Meeting 20 Program Agenda
Software Certification Consortium Meeting #20
To What Extent Can Automation Help in Certification?
May 2–3, 2019 | Governor Calvert House – Historic Inns of Annapolis
Co-located with the HCSS Conference
Conference Archives: https://sos-vo.org/group/scc/meetings
THURSDAY, MAY 2 | |
0715 - 0815 | Breakfast |
0815 - 0830 | Welcome – Introductions – Theme and plans for the workshop |
0830 - 0915 | Designing with Efficient Arguments Natarajan Shankar, SRI |
0915 - 0930 | Discussion |
0930 - 1000 | Formal methods and proof management: prospects for scalability Bill Scherlis, CMU |
1000 - 1015 | Discussion |
1015 - 1030 | Refreshment Break |
1030 - 1200 | Panel Topic: “The Well-Tempered Assurance Argument: Tools for Constructing Trust in Software” Moderator: Shankar Panelists: Chechik, Lee, Rayadurgam, Scherlis |
1200 - 1300 | Lunch |
1300 - 1330 | Automating the Generation of Assurance Cases via Template Instantiation Richard Paige, McMasterU |
1330 - 1345 | Discussion |
1345 - 1415 | Automatable Standards for Measuring and Certifying the Structural Quality of Software Bill Curtis, CAST |
1415 - 1430 | Discussion |
1430 - 1500 | A Model-Based Design Perspective on Challenges and Opportunities in Automated Software Certification Akshay Rajhans, MathWorks |
1500 - 1515 | Discussion |
1515 - 1545 | Refreshment Break |
1545 - 1615 | Automation for Certification: Weighing the Evidence and Assessing the Argument Sanjai Rayadurgam, University of Minnesota |
1615 - 1630 | Discussion |
1630 - 1730 | Panel Topic: “Automating Certification – Can We Trust the Tools?” Moderator: Ramesh Panelists: Aiello, Paige, Rajhans, Wagner |
FRIDAY, MAY 3 | |
0715 - 0815 | Breakfast |
0815 - 0830 | Recap – Introductions |
0830 - 0915 | Deterministic Modeling of Uncertain Systems: Implications for Certification Edward Lee, U. Berkeley |
0915 - 0930 | Discussion |
0930 - 1000 | Managing Uncertainty in Assurance Cases Marsha Chechik, University of Toronto |
1000 - 1015 | Discussion |
1015 - 1030 | Refreshment Break |
1030 - 1100 | Automating Certification Activities through the Use of Formal Methods Lucas Wagner, Rockwell Collins |
1100 - 1115 | Discussion |
1115 - 1145 | An Overarching-Properties Assurance Case for Qualification of a Code Generator M. Anthony Aiello, AdaCore |
1145 - 1200 | Discussion |
1200 - 1300 | Lunch |
1300 - 1330 | Medical Device (Pre)Certification through ‘Automation’-Driven Data Analytics Paul Jones, FDA (Retired) |
1330 - 1345 | Discussion |
1345 - 1415 | Methodical Assurance Alan Wassyng & Mark Lawford, McMaster University |
1415 - 1430 | Discussion |
1500 - 1530 | Refreshment Break |
1530 - 1630 | Panel Topic: “Essential Outcomes Required to Certify Safety-Critical Systems” Moderator: Birla Panelists: Jones, Richards, Weinstock |
1630 - 1700 | Discussion on next meeting(s) and Wrap-up Day 2 |