Practical Elements of Safety Proceedings of the Twelfth Safety-critical Systems Symposium, Birmingham, UK, 17–19 February 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...

Full description

Bibliographic Details
Other Authors: Redmill, Felix (Editor), Anderson, Tom (Editor)
Format: eBook
Language:English
Published: London Springer London 2004, 2004
Edition:1st ed. 2004
Subjects:
Online Access:
Collection: Springer Book Archives -2004 - Collection details see MPG.ReNa
LEADER 03155nmm a2200325 u 4500
001 EB000615634
003 EBX01000000000000000468716
005 00000000000000.0
007 cr|||||||||||||||||||||
008 140122 ||| eng
020 |a 9780857294081 
100 1 |a Redmill, Felix  |e [editor] 
245 0 0 |a Practical Elements of Safety  |h Elektronische Ressource  |b Proceedings of the Twelfth Safety-critical Systems Symposium, Birmingham, UK, 17–19 February 2004  |c edited by Felix Redmill, Tom Anderson 
250 |a 1st ed. 2004 
260 |a London  |b Springer London  |c 2004, 2004 
300 |a X, 242 p. 9 illus  |b online resource 
505 0 |a 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 
653 |a System Performance and Evaluation 
653 |a Operations research 
653 |a Software engineering 
653 |a Operations Research/Decision Theory 
653 |a Software Engineering 
653 |a Computer system failures 
653 |a Decision making 
700 1 |a Anderson, Tom  |e [editor] 
041 0 7 |a eng  |2 ISO 639-2 
989 |b SBA  |a Springer Book Archives -2004 
856 4 0 |u https://doi.org/10.1007/978-0-85729-408-1?nosfx=y  |x Verlag  |3 Volltext 
082 0 |a 658.40301 
520 |a 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