Visible to the public SCC 12 Agenda

Software Certification Consortium Meeting #12
System Safety Requirements – Methods for Their Development and Validation

October 28 - 29, 2013 | Rockville, Maryland

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

DOWNLOAD PRINTER-FRIENDLY VERSION

MONDAY, OCTOBER 28, 2013
0830 – 0900  Introductions & Context
0900 – 0930 Introduction To A Systems Approach To Requirements Generation For Safety
Nancy Leveson – MIT
0930 – 1000  Breakout - answers collected for later
1000 – 1015 Coffee
1015 – 1100 Discussion 1
1100 – 1130 Evaluating Hazard Analysis Of A Distributed Digital System For Nuclear Reactor Safety
Sushil Birla – US NRC
1130 – 1200 What The FDA Looks For In Submitted System Safety Requirements
Paul Jones – US FDA
1200 – 1300 Lunch
1300 – 1345 Discussion 2
1345 – 1530 Breakout #1 & Coffee
1530 – 1630 Report Back
1730 – 1830 Social at TBD
1830 – 2100 SCC Dinner at P.F. Changs – White Flint Mall – 11201 Rockville Pike
TUESDAY, OCTOBER 29, 2013
0830 – 0900 The Four Types Of Safety-Related Requirements And Their Relationships To Other Types Of System Requirements
Donald Firesmith – SEI
0900 – 0930 What is Engineering Knowledge: What is a BoK?
Tom Maibaum – McMaster University
0930 – 0945 Coffee
0945 – 1030  Discussion 3
1030 – 1100  Architecture-centric Strategies for Addressing Challenges in Software-reliant Safety-critical Systems
Peter Feiler – SEI
1100 – 1130 Generating Executable Software Requirements Through Hazard Analysis
John Thomas – MIT
1130 – 1200 Specifying Requirements for Safety-Critical Systems
Connie Heitmeyer – NRL
1200 – 1300 Lunch
1300 – 1345 Discussion 4
1345 –  1500 Breakout #2 & Coffee
1500 – 1600 Report Back
1600 – 1630 Summary & Wrapup