E-Book, Englisch, 242 Seiten, eBook
Redmill / Anderson Practical Elements of Safety
2004
ISBN: 978-0-85729-408-1
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
Proceedings of the Twelfth Safety-critical Systems Symposium, Birmingham, UK, 17–19 February 2004
E-Book, Englisch, 242 Seiten, eBook
ISBN: 978-0-85729-408-1
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
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




