Each year, advancements in safety-critical system technology emerge from developments in safety engineering, software engineering, human factors, and risk assessment, as well as from the adaptation of techniques from other domains like security. For these improvements to be effective, they must be applied at the right stage of the system's life cycle—development, assessment, or operation—and require clear communication and explanation. The Safety-critical Systems Symposium provides a distinguished platform for presenting papers on these developments and sharing lessons learned from industry experiences with various technologies and methods. The proceedings include results from collaborative research projects involving both industry and academia, presented in an accessible format. The 1995 Symposium took place in Brighton, a venue designed to inspire both presenters and delegates. This collection of proceedings is intended for both attendees and those unable to attend the event. Delegates benefit from live presentations and discussions, while readers of this book can explore the content at their own pace, potentially motivating them to participate in future symposia.
