Practical Elements of Safety
Proceedings of the Twelfth Safety-critical Systems Symposium, Birmingham, UK, 17-19 February 2004
(Sprache: Englisch)
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...
Leider schon ausverkauft
versandkostenfrei
Buch (Kartoniert)
192.49 €
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenlose Rücksendung
- Ratenzahlung möglich
Produktdetails
Produktinformationen zu „Practical Elements of Safety “
Klappentext zu „Practical Elements of Safety “
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.
Inhaltsverzeichnis zu „Practical Elements of Safety “
From the contents:- Dear Sir, Yours faithfully: An Everyday Story of Formality
- Safe Object-Oriented Software: The Verified Design-By-Contract Paradigm. A Rigorous Specification Technique for High Quality Software
- Development and Use of the UK Railway Network's Safety Risk Model. Safety Decision Making for the Railway
- 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
- Chasing Shadows: Science Journalism and the Politics of Risk. Completing the Human Safety Jigsaw
- Evidence Gathering Using Static Code Analysis. Estimating PLC Logic Program Reliability. A Systematic Framework for the Assessment of Operating Systems
- The Changing Face of UK Safety Legislation. Turning up the HEAT on Safety Case Construction
Autoren-Porträt
Current Issues in Safety-Critical Systems contains the invited papers presented at the Twelfth annual Safety-critical Systems Symposium, held in February 2004.
Bibliographische Angaben
- 2004, Softcover reprint of the original 1st ed. 2004, 242 Seiten, Maße: 15,5 x 23,5 cm, Kartoniert (TB), Englisch
- Herausgegeben:Anderson, Tom; Redmill, Felix
- Herausgegeben: Tom Anderson, Felix Redmill
- Verlag: Springer, London
- ISBN-10: 1852338008
- ISBN-13: 9781852338008
- Erscheinungsdatum: 20.02.2004
Sprache:
Englisch
Kommentar zu "Practical Elements of Safety"
Schreiben Sie einen Kommentar zu "Practical Elements of Safety".
Kommentar verfassen