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://sos-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 |