Making systems safer : proceedings of the eighteenth Safety-Critical Systems Symposium, Bristol, UK, 9-11th February 2010 /
Making systems safer : proceedings of the eighteenth Safety-Critical Systems Symposium, Bristol, UK, 9-11th February 2010 /
Chris Dale, Tom Anderson, editors.
- London : Springer, c2010.
- x, 271 p. : ill. ; 24 cm.
"Safety-Critical systems club".
Includes bibliographical references and index.
Tutorial Paper -- Formalism in Safety Cases / Perspectives on Systems Safety -- Bureaucracy, Safety and Software: a Potentially Lethal Cocktail / Cost-Efficient Methods and Processes for Safety Relevant Embedded Systems (CESAR) - An Objective Overview / Safety and Assurance Cases: Past, Present and Possible Future - an Adelard Perspective / Managing Safety-Related Projects -- Integrated Project Management Life Cycle Supporting System Safety / Patterns in Safety-Related Projects / Transport Safety -- Applying IEC 61508 to Air Traffic Management Systems / Phileas, a Safety Critical Trip around the World / Safety Standards -- Overview of the SoBP for Software in the Context of DS 00-56 Issue 4 / IEC80001 and Future Ramifications for Health Systems not currently classed as Medical Devices / Safety Competencies -- Competence, The Why? The How? and 'A Practical Approach' / new lET Guide - how to do EMC to help achieve Functional Safety / Code of Practice and Competencies for ISAs / Safety Methods -- Evaluation and Integration of COTS in Evidence based Assurance Frameworks / Way to Successful Hazard Management / John Rushby -- Les Hatton -- Graham Jolliffe -- Robin Bloomfield and Peter Bishop -- Hans Tschurtz and Gabriele Schedl -- Mike Parsons and Charles Hunter -- Ron Pierce and Derek Fowler -- Jean-Luc Valk, Hans Vis and Gerard Koning -- Catherine Menon, Richard Hawkins, John McDermid and Tim Kelly -- Ian Harrison -- Peter Duggan -- Keith Armstrong -- Steve Kinnersly and Ian Spalding -- George Despotou, Mike Bennett and Tim Kelly -- Gabriele Schedl, Werner Winkelbauer and Alexander Wendt.
9781849960854 (pbk.) 1849960852 (pbk.)
2009942251
GBB038657 bnb
015509504 Uk
System safety--Congresses.
Reliability (Engineering)--Congresses.
Industrial safety--Congresses.
Industrial safety--Management--Congresses.
Automatic control--Reliability--Congresses.
T55.A1 / S225 2010
363.11 / MAK
"Safety-Critical systems club".
Includes bibliographical references and index.
Tutorial Paper -- Formalism in Safety Cases / Perspectives on Systems Safety -- Bureaucracy, Safety and Software: a Potentially Lethal Cocktail / Cost-Efficient Methods and Processes for Safety Relevant Embedded Systems (CESAR) - An Objective Overview / Safety and Assurance Cases: Past, Present and Possible Future - an Adelard Perspective / Managing Safety-Related Projects -- Integrated Project Management Life Cycle Supporting System Safety / Patterns in Safety-Related Projects / Transport Safety -- Applying IEC 61508 to Air Traffic Management Systems / Phileas, a Safety Critical Trip around the World / Safety Standards -- Overview of the SoBP for Software in the Context of DS 00-56 Issue 4 / IEC80001 and Future Ramifications for Health Systems not currently classed as Medical Devices / Safety Competencies -- Competence, The Why? The How? and 'A Practical Approach' / new lET Guide - how to do EMC to help achieve Functional Safety / Code of Practice and Competencies for ISAs / Safety Methods -- Evaluation and Integration of COTS in Evidence based Assurance Frameworks / Way to Successful Hazard Management / John Rushby -- Les Hatton -- Graham Jolliffe -- Robin Bloomfield and Peter Bishop -- Hans Tschurtz and Gabriele Schedl -- Mike Parsons and Charles Hunter -- Ron Pierce and Derek Fowler -- Jean-Luc Valk, Hans Vis and Gerard Koning -- Catherine Menon, Richard Hawkins, John McDermid and Tim Kelly -- Ian Harrison -- Peter Duggan -- Keith Armstrong -- Steve Kinnersly and Ian Spalding -- George Despotou, Mike Bennett and Tim Kelly -- Gabriele Schedl, Werner Winkelbauer and Alexander Wendt.
9781849960854 (pbk.) 1849960852 (pbk.)
2009942251
GBB038657 bnb
015509504 Uk
System safety--Congresses.
Reliability (Engineering)--Congresses.
Industrial safety--Congresses.
Industrial safety--Management--Congresses.
Automatic control--Reliability--Congresses.
T55.A1 / S225 2010
363.11 / MAK