Visible to the public  SCC Meeting 10 - Program Agenda

Software Certification Consortium Meeting #10
Evidence Required for Highest Integrity Level Systems

January 7-8, 2013 | Silver Spring, Maryland

Conference Archives: https://cps-vo.org/group/scc/meetings

DOWNLOAD PRINTER-FRIENDLY VERSION

MONDAY, JANUARY 7, 2013
0845 - 0900 Introduction
SESSION 1: Evidence that the system requirements are correct, complete and understandable
0900 - 0930 Analyzing Consistency and Completeness of Requirements: A Model-Based Approach
Rance Cleaveland, University of Maryland / Fraunhofer USA
0930 - 1000 Formal Methods Based Requirement Engineering for Automotive Embedded Systems
Ramesh S., GM Global R&D
1000 - 1030 Discussion
1030 - 1045 Coffee
1045 - 1200 Breakout Session 1
1230 - 1330 Lunch
SESSION 2: Evidence that the implementation meets its requirements
1330 - 1400 Finally: Practical Formal Verification of Large Software Systems
John Knight, University of Virginia
1400 - 1430 Self evidently true: rethinking software design
Daniel Jackson, MIT
1430 - 1445 Coffee
1445 - 1515 Software Assurance Tools to Improve Evidence Strength
Elizabeth Fong, NIST
1515 - 1545 Discussion
1545 - 1700 Breakout Session 2
1700 - 1730 Report Back from Breakouts
TUESDAY, JANUARY 8, 2013
SESSION 3: Evidence that the operational & maintenance requirements & constraints are identified correctly & satisfied
0900 - 0930 Understanding Evidence: Lessons from the GPCA Case Study
Oleg Sokolsky & Insup Lee, University of Pennsylvania
0930 - 1000 Evidence that the Operational and Maintenance Requirements and Constraints are Identified Correctly and Satisfied
Norbert Carte, US Nuclear Regulatory Commission
1000 - 1030 Discussion
1030 - 1045 Coffee
1045 - 1200 Breakout Session 3
1200 - 1230 Report Back from Breakouts
1230 - 1330 Lunch
SESSION 4: Analysis & Future Work
1330 - 1445 Breakout Session 4
1445 - 1500 Coffee
1500 - 1630 Report Back from Breakouts
1630 - 1700 Action Items
1700 - 1715 Concluding Session