+612 9045 4394
 
CHECKOUT
Towards System Safety : Proceedings of the Seventh Safety-Critical Systems Symposium, Huntingdon, UK 1999 - Felix Redmill

Towards System Safety

Proceedings of the Seventh Safety-Critical Systems Symposium, Huntingdon, UK 1999

By: Felix Redmill, Tom Anderson (Editor)

Paperback

Published: 18th February 1999
Ships: 15 business days
15 business days
$125.45
or 4 easy payments of $31.36 with Learn more

Each year the Safety-critical Systems Symposium brings together practitioners and researchers in a quest to inculcate a higher degree of safety engineering into the development and operation of critical software-based systems. On this, the Symposium's seventh occasion, it explores recent work and experience which lead us further 'towards system safety'. This book of the Proceedings covers the entire event. The first paper is the course text of a tutorial run on the first day of the Symposium, included here to provide readers with a coverage of the entire event. The next fourteen papers were presented, on the second and third days, in six sessions: Safety Cases, Systems Engineering, Safety Analysis and Safety Integrity, Tools for Software Safety, Solving Safety Problems, and Qllestions and Competences. Eight of the fourteen papers were authored in industry, four in universities, and two in other research establishments. Four of them report on work outside the UK: in France, Germany, Norway and Brazil. There are three papers on safety cases, each taking a different perspective. Skogstad from Norway and Boyce and Hamilton of GEC-Marconi both report on experience in the field, the former in attempting to apply European norms to project documentation and the latter in attempting to build up a retrospective safety case. The third paper, by Goodman, takes a more philosophical stance, examining the lack of useful measurement in safety assurance.

Design for Safetyp. 1
Experiences with Safety Case Documentation According to the CENELEC Railway Safety Normsp. 26
Retrospective Collection of Safety Case Evidence - Experiences from an Air Traffic Control System Safety Casep. 48
Assuring Safety through Measurement - A Laudable Goalp. 60
Assessing Safety Critical COTS Systemsp. 65
Systems Approach to Safety-related Systemsp. 75
The Safety Analysis Case in the Sao Paulo Metrop. 99
Safety Integrity Levels: An Industrial Viewpointp. 111
Code Generation in the SACRES Projectp. 127
Formal Verification of an Avionics Application using Abstraction and Symbolic Model Checkingp. 150
Safety and the Millennium Bugp. 174
Integrated Modular Avionics - A View on Safe Partitioningp. 193
Independent Verification - Magic or Myth?p. 211
Can Formal Argumentation Raise Our Confidence in Safe Design?p. 225
Who Can You Trust? Assessing Professional Competencesp. 239
Author Indexp. 257
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9781852330644
ISBN-10: 1852330643
Audience: General
Format: Paperback
Language: English
Number Of Pages: 257
Published: 18th February 1999
Publisher: Springer London Ltd
Country of Publication: GB
Dimensions (cm): 23.39 x 15.6  x 1.42
Weight (kg): 0.38