Each year the Safety-critical Systems Symposium brings together practitioners and researchers in a quest to inculcate a higher degree of safety engineering into the development and operation of critical software-based systems. On this, the Symposium's seventh occasion, it explores recent work and experience which lead us further 'towards system safety'. This book of the Proceedings covers the entire event. The first paper is the course text of a tutorial run on the first day of the Symposium, included here to provide readers with a coverage of the entire event. The next fourteen papers were...

Components of System Safety contains the invited papers presented at the tenth annual Safety-critical Systems Symposium, held in Southampton, February 2002. The papers included in this volume are representative of modern safety thinking, the questions that arise from it, and the investigations that result. They are all aimed at the transfer of technology, experience, and lessons to and within industry, and they offer a broad range of views. Not only do they show what has been done and what could be done, but they also lead the reader to speculate on ways in which safety might be...