SCC Meeting 10 - Program Agenda

Submitted by akarns on Wed, 08/12/2015 - 11:56am

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