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

Tom Anderson

ISBN 10: 1852338008 / ISBN 13: 9781852338008

Editore: Springer London, Springer London, 2004

Riguardo questo articolo

Druck auf Anfrage Neuware - Printed after ordering - 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.

Codice articolo 9781852338008

Dati bibliografici

• Titolo: Practical Elements of Safety : Proceedings of the Twelfth Safety-critical Systems Symposium, Birmingham, UK, 17-19 February 2004
• Editore: Springer London, Springer London
• Data di pubblicazione: 2004
• Lingua: Inglese
• ISBN 10: 1852338008
• ISBN 13: 9781852338008
• Rilegatura: Taschenbuch
• Condizione: Neu
• Dimensioni: 235 L x 155 A x 14 P (millimetri) 235 millimetri di larghezza per 155 millimetri di altezza per 14 millimetri di profondità
• Peso: 388 grammi

Descrizione articolo

Riassunto

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.

Contenuti

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