Making systems safer proceedings of the eighteenth Safety-Critical Systems Symposium, Bristol, UK, 9-11th February 2010 / Chris Dale, Tom Anderson, editors.
| Author/creator | Safety-Critical Systems Symposium |
| Other author | Dale, Chris, 1953- |
| Other author | Anderson, Tom, 1947- |
| Other author | Safety-Critical Systems Club. |
| Format | Electronic |
| Publication Info | London : Springer, |
| Description | x, 271 p. : ill. ; 24 cm. |
| Supplemental Content | Full text available from Springer Books |
| Supplemental Content | Full text available from Springer Nature - Springer Computer Science eBooks 2010 English International |
| Subjects |
| Contents | Tutorial Paper -- Formalism in Safety Cases / John Rushby -- Perspectives on Systems Safety -- Bureaucracy, Safety and Software: a Potentially Lethal Cocktail / Les Hatton -- Cost-Efficient Methods and Processes for Safety Relevant Embedded Systems (CESAR) - An Objective Overview / Graham Jolliffe -- Safety and Assurance Cases: Past, Present and Possible Future - an Adelard Perspective / Robin Bloomfield and Peter Bishop -- Managing Safety-Related Projects -- Integrated Project Management Life Cycle Supporting System Safety / Hans Tschurtz and Gabriele Schedl -- Patterns in Safety-Related Projects / Mike Parsons and Charles Hunter -- Transport Safety -- Applying IEC 61508 to Air Traffic Management Systems / Ron Pierce and Derek Fowler -- Phileas, a Safety Critical Trip around the World / Jean-Luc Valk, Hans Vis and Gerard Koning -- Safety Standards -- Overview of the SoBP for Software in the Context of DS 00-56 Issue 4 / Catherine Menon, Richard Hawkins, John McDermid and Tim Kelly -- IEC80001 and Future Ramifications for Health Systems not currently classed as Medical Devices / Ian Harrison -- Safety Competencies -- Competence, The Why? The How? and 'A Practical Approach' / Peter Duggan -- new lET Guide - how to do EMC to help achieve Functional Safety / Keith Armstrong -- Code of Practice and Competencies for ISAs / Steve Kinnersly and Ian Spalding -- Safety Methods -- Evaluation and Integration of COTS in Evidence based Assurance Frameworks / George Despotou, Mike Bennett and Tim Kelly -- Way to Successful Hazard Management / Gabriele Schedl, Werner Winkelbauer and Alexander Wendt. |
| General note | "Safety-Critical systems club". |
| Bibliography note | Includes bibliographical references and index. |
| Access restriction | Available only to authorized users. |
| Technical details | Mode of access: World Wide Web |
| Genre/form | Electronic books. |
| LCCN | 2009942251 |
| ISBN | 9781849960854 (pbk.) |
| ISBN | 1849960852 (pbk.) |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Electronic Resources | ✔ Available |