Practical Elements of Safety: Proceedings of the Twelfth Safety-critical Systems Symposium, Birmingham, UK, 17–19 February 2004

عناصر عملی ایمنی حاوی مقالات دعوت‌شده ارائه شده در دوازدهمین سمپوزیوم سالانه سیستم‌های حیاتی ایمنی است که در بیرمنگام، انگلستان در فوریه 2004 برگزار شد. مقالات موجود در این جلد بر موضوعات مربوط به شناسایی و تجزیه و تحلیل ریسک - با استفاده از راه آهن انگلستان به عنوان نمونه صنعتی. سطوح ایمنی-یکپارچگی؛ استفاده صنعتی از روش های رسمی؛ و همچنین گسترش توسعه، ارزیابی و تغییر چهره مسائل ایمنی فعلی. همه مقالات در زمینه گسترده فعالیت‌های سیستم‌های حیاتی ایمنی مرتبط هستند و دیدگاهی عملی ارائه می‌دهند. مقالات حاوی تجربیات صنعتی و همچنین تحقیقات آکادمیک هستند و تحت عناوین: رسمیت بالغ و عملی، مدیریت ریسک در صنعت راه آهن، سطوح یکپارچگی ایمنی، جنبه انسانی ریسک، ارزیابی و استخراج شواهد و ایمنی ارائه می شوند. استدلال و قانون.

Practical Elements of Safety contains the invited papers presented at the Twelfth annual Safety-critical Systems Symposium, held at Birmingham, UK in February 2004. The papers included in this volume focus on the themes of the identification and analysis of risk - using the UK railway as an industry example; safety-integrity levels; industrial use of formal methods; as well as expanding on the development, assessment and changing face of current safety issues. All the papers are linked within the broad context of safety-critical systems actvities and offer a practical perspective. Papers contain industrial experience, as well as academic research, and are presented under the headings of: Mature and Practical Formality, Managing Risk in the Railway Industry, Safety Integrity Levels, the Human Side of Risk, Assessment and the Derivation of Evidence, and Safety Argument and the Law.