Engineering Systems for Safety

Engineering Systems for Safety contains papers presented at the twenty-third annual Safety-critical Systems Symposium, held in Bristol, UK, in February 2015. The Symposium is for engineers, managers and academics in the field of system safety, across all industry sectors, so the papers making up this volume offer a wide-ranging coverage of current safety topics, and a blend of academic research and industrial experience. They include both recent developments in the field and discussion of open issues and questions that will shape future progress. The topics covered by the 22 papers in this volume include: risk assessment; safety standards; ethics of safety engineering; tolerability of risk; safety of data-centric systems; safety in the Arctic environment; railway safety; formal methods; assurance cases and safety culture. This book will be of interest to practitioners, managers and academics working in the safety-critical systems and safety-related systems areas.