Visible to the public File preview

Software Certification Consortium Meeting #12 October 28 - 29, 2013
System Safety Requirements – Methods for Their Development and Validation

AGENDA
MONDAY 08:30 – 09:00 09:00 – 09:30 09:30 – 10:00 10:00 – 10:15 10:15 – 11:00 11:00 – 11:30 11:30 – 12:00 12:00 – 13:00 13:00 – 13:45 13:45 – 15:30 15:30 – 16:30 17:30 – 18:30 18:30 – 21:00 TUESDAY 08:30 – 09:00 09:00 – 09:30 09:30 – 09:45 09:45 – 10:30 10:30 – 11:00 11:00 – 11:30 11:30 – 12:00 12:00 – 13:00 13:00 – 13:45 13:45 – 15:00 15:00 – 16:00 16:00 – 16:30 Donald Firesmith – SEI The Four Types Of Safety-Related Requirements And Their Relationships To Other Types Of System Requirements Tom Maibaum – McMaster University What is Engineering Knowledge: What is a BoK? Coffee Discussion 3 Peter Feiler – SEI Architecture-centric Strategies for Addressing Challenges in Software-reliant Safety-critical Systems John Thomas – MIT Generating Executable Software Requirements Through Hazard Analysis Connie Heitmeyer – NRL Specifying Requirements for Safety-Critical Systems Lunch Discussion 4 Breakout #2 & Coffee Report Back Summary & Wrapup Introductions & Context Nancy Leveson – MIT Introduction To A Systems Approach To Requirements Generation For Safety John McDermid – University of York The "Classical" Approach To Deriving Safety Requirements Coffee Discussion 1 Sushil Birla – US NRC Evaluating Hazard Analysis Of A Distributed Digital System For Nuclear Reactor Safety Paul Jones – US FDA What The FDA Looks For In Submitted System Safety Requirements Lunch Discussion 2 Breakout #1 & Coffee Report Back Social at TBD SCC Dinner at P.F. Changs – White Flint Mall – 11201 Rockville Pike

1