Proceedings of the Twelfth Safety-critical Systems Symposium, Birmingham, UK, 17-19 February 2004
Buch, Englisch, 242 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 388 g
ISBN: 978-1-85233-800-8
Verlag: Springer
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
- Mathematik | Informatik EDV | Informatik Technische Informatik Systemverwaltung & Management
- Mathematik | Informatik EDV | Informatik Technische Informatik Computersicherheit Datensicherheit, Datenschutz
- Rechtswissenschaften Arbeitsrecht Arbeitsschutz- und Arbeitssicherheitsrecht
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Software Engineering Objektorientierte Softwareentwicklung
- Wirtschaftswissenschaften Betriebswirtschaft Bereichsspezifisches Management Arbeitsplatz, Arbeitsschutz, Gefahrstoffschutz
Weitere Infos & Material
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.