21st Safety Critical Systems Symposium

SCSS 2013 will feature more than 20 papers addressing such topics as: safety certification, regulation and acceptance in a number of industry sectors; identification of potentially hazardous control actions; safety cases; product safety; risk management; formal methods; hazard analysis; formal proofs and testing; the balance between designed-in and procedural approaches to safety; human factors; and safety culture. There will also be an exhibition and a tools and services fair. Keynote speakers include Nancy Leveson of the Massachusetts Institute of Technology, who will define a formal mathematical structure that can be used to identify potentially hazardous control actions in a system. Other keynotes include Jonathan Storey of Invensys Rail Systems, Yoshiki Kinoshita of the Japanese National Institute of Advanced Industrial Science and Technology, and Robin Bloomfield of Adelard LLP and City University London.