+612 9045 4394
 
CHECKOUT
Practical Elements of Safety : Proceedings of the Twelfth Safety-critical Systems Symposium, Birmingham, UK, 17-19 February 2004 - Felix Redmill

Practical Elements of Safety

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

By: Felix Redmill (Editor), Tom Anderson (Editor)

Paperback

Published: 20th February 2004
Ships: 5 to 9 business days
5 to 9 business days
$227.94
or 4 easy payments of $56.99 with Learn more

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.

Dear Sir, Yours faithfully : an everyday story of formalityp. 3
Safe object-oriented software : the verified design-by-contract paradigmp. 19
A rigorous specification technique for high quality softwarep. 43
Development and use of the UK Railway Network's safety risk modelp. 69
Safety decision making for the railwayp. 91
Methods of determining safety integrity level (SIL) requirements - pros and consp. 105
An Examination of the IEC 61508 approach towards safety integrity levels and modes of operation of safety functionsp. 123
Chasing shadows : science journalism and the politics of riskp. 137
Completing the human safety jigsawp. 149
Evidence gathering using static code analysisp. 163
Estimating PLC logic program reliabilityp. 179
A systematic framework for the assessment of operating systemsp. 195
The changing face of UK safety legislationp. 211
Turning up the HEAT on safety case constructionp. 223
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9781852338008
ISBN-10: 1852338008
Audience: Professional
Format: Paperback
Language: English
Number Of Pages: 242
Published: 20th February 2004
Publisher: Springer London Ltd
Country of Publication: GB
Dimensions (cm): 23.5 x 15.5  x 1.37
Weight (kg): 0.8