09 February 2010
Safety Critical Systems Symposium
The 2010 Safety Critical Systems Symposium, featuring presentations from leading practitioners in fields such as system safety, safety methods and managing safety related products.
Bristol
Day one offers a tutorial on modern developments in formal methods and automated verification and their application to safety assurance in both standards driven and argument based safety cases. The tutorial will be led by Dr John Rushby, Program Director for Formal Methods and Dependable Systems at the Computer Science Laboratory of SRI International in California.
Day two offers sessions addressing: Perspectives on Systems Safety; Managing Safety Related Projects; and Transport Safety. Day three features presentations on: Safety Standards; Safety Competencies; and Safety Methods. On both days, an exhibition will be available to attendees.
Event organiser/promoter
Safety Critical Systems Club
Supporting Information
Websites
www.scsc.org.uk/sss
This material is protected by Findlay Media copyright
See Terms
and Conditions.
One-off usage is permitted but bulk copying is not.
For multiple copies contact the
sales team.