Presentations given during the Assurance Case Forum, hosted by the department of computer science at the University of York, UK, 17 January 2013.
Presentations:
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)