Presentations given during the Assurance Case Forum, hosted by the department of computer science at the University of York, UK, 17 January 2013.
Assurance Cases and the Canadian Software Certification Consortium (Prof Tom Maibaum, McMaster University)
The 4+1 Software Safety Principles and their relation to building safety cases (Richard Hawkins, University of York)
“Automating Assurance Cases – What’s Possible? What’s Useful?” (introduced by Tim Kelly)
Managing the Argument-Evidence Interface (Tim Kelly, University of York and Origin Consulting)
Latest Developments in Modular Certification and Modular GSN from the IAWG (John Carter, General Dynamics)