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