Felix Redmill / Tom Anderson (eds.)

Practical Elements of Safety

Proceedings of the Twelfth Safety-critical Systems Symposium, Birmingham, UK, 17¿19 February 2004
Herausgegeben:Anderson, Tom; Redmill, Felix

• Broschiertes Buch

Produktbeschreibung

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.

---

Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.

Produktdetails

• Verlag: Springer / Springer London / Springer, Berlin
• Artikelnr. des Verlages: 978-1-85233-800-8
• Softcover reprint of the original 1st ed. 2004
• Seitenzahl: 252
• Erscheinungstermin: 20. Februar 2004
• Englisch
• Abmessung: 235mm x 155mm x 14mm
• Gewicht: 800g
• ISBN-13: 9781852338008
• ISBN-10: 1852338008
• Artikelnr.: 22082214

Autorenporträt

Current Issues in Safety-Critical Systems contains the invited papers presented at the Twelfth annual Safety-critical Systems Symposium, held in February 2004.

Inhaltsangabe

List.- Keynote.- Dear Sir, Yours faithfully: An Everyday Story of Formality.- Mature and Practical Formality.- Safe Object-Oriented Software: The Verified Design-By-Contract Paradigm.- A Rigorous Specification Technique for High Quality Software.- Managing Risk in the Railway Industry.- Development and Use of the UK Railway Network's Safety Risk Model.- Safety Decision Making for the Railway.- Safety Integrity Levels.- Methods of Determining Safety Integrity Level (SIL) Requirements - Pros and Cons.- An Examination of the IEC 61508 Approach Towards Safety Integrity Levels and Modes of Operation of Safety Functions.- The Human Side of Risk.- Chasing Shadows: Science Journalism and the Politics of Risk.- Completing the Human Safety Jigsaw.- Assessment and the Derivation of Evidence.- Evidence Gathering Using Static Code Analysis.- Estimating PLC Logic Program Reliability.- A Systematic Framework for the Assessment of Operating Systems.- Safety Argument and the Law.- The Changing Face of UK Safety Legislation.- Turning up the HEAT on Safety Case Construction.