Skip to main content
SpringerLink
Log in
SpringerLink
Log in

Safer Systems

Proceedings of the Fifth Safety-critical Systems Symposium, Brighton 1997

  • Conference proceedings
  • © 1997

Overview

Editors:
  1. Felix Redmill

    1. Redmill Consultancy, London, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Tom Anderson

    1. Centre for Software Reliability, University of Newcastle-upon-Tyne, Newcastle-upon-Tyne, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (17 papers)

  1. Front Matter

    Pages i-ix
    Download chapter PDF

  2. Safety-Critical Systems: Prescient, Presignifying, Public-Good Systems?

    • Khurshid Ahmad, AI Group
    Pages 1-37

  3. Designing for Safety: Current Activities at the University of Bristol and Future Directions

    • G. Hughes, J. H. R. May, J. Noyes
    Pages 38-55

  4. Using a Layered Functional Model to Determine Safety Requirements

    • J. U. M. Smith
    Pages 56-66

  5. Formal Methods: No Cure for Faulty Reasoning

    • Martin Loomes, Rick Vinter
    Pages 67-78

  6. Artificial Intelligence — Genuine Hazards?

    • Ken Frith, Richard Ellis
    Pages 79-95

  7. How to Improve Safety Critical Systems Standards

    • Norman Fenton
    Pages 96-110

  8. Engineering Cognitive Diversity

    • S. J. Westerman, N. M. Shryane, C. M. Crawshaw, G. R. J. Hockey
    Pages 111-120

  9. The PRICES Approach to Human Error

    • Christine Tomlinson
    Pages 121-135

  10. The StAR Risk Adviser: Psychological Arguments for Qualitative Risk Assessment

    • Peter Ayton, David K. Hardman
    Pages 136-159

  11. Is there a Role for Third Party Software Assessment in the Automotive Industry?

    • Roger Rivett
    Pages 160-184

  12. Initial Safety Considerations for an Advanced Transport System

    • M. V. Lowson, C. E. Medus
    Pages 185-202

  13. Safe Systems Architectures for Autonomous Robots

    • I. Sommerville, D. Seward, R. Morrey, S. Quayle
    Pages 203-215

  14. Increasing Software Integrity Using Functionally Dissimilar Monitoring

    • David M. Johnson
    Pages 216-230

  15. Timing Aspects of Fault Tree Analysis of Safety Critical Systems

    • Janusz Górski, Andrzej WardziÅ„ski
    Pages 231-244

  16. SACRES — Formalism for Real Projects

    • Alvery Grazebrook
    Pages 245-255

  17. Product Monitoring for Integrity and Safety Enhancement

    • Robin Whitty
    Pages 256-274

  18. Multi-disciplinary Projects and Technology Exchange — the SEMSPLC Experience

    • Audrey Canning
    Pages 275-283

  19. Back Matter

    Pages 285-285
    Download chapter PDF
Back to top

Keywords

About this book

The contributions to this book are the invited papers presented at the fifth annual Safety-critical Systems Symposium. They cover a broad spectrum of issues affecting safety, from a philosophical appraisal to technology transfer, from requirements analysis to assessment, from formal methods to artificial intelligence and psychological aspects. They touch on a number of industry sectors, but are restricted to none, for the essence of the event is the transfer of lessons and technologies between sectors. All address practical issues and of­ fer useful information and advice. Contributions from industrial authors provide evidence of both safety con­ sciousness and safety professionalism in industry. Smith's on safety analysis in air traffic control and Rivett's on assessment in the automotive industry are informative on current practice; Frith's thoughtful paper on artificial intelli­ gence in safety-critical systems reflects an understanding of questions which need to be resolved; Tomlinson's, Alvery's and Canning's papers report on collaborative projects, the first on results which emphasise the importance of human factors in system development, the second on the development and trial of a comprehensive tool set, and the third on experience in achieving tech­ nology transfer - something which is crucial to increasing safety.

Editors and Affiliations

  • Redmill Consultancy, London, UK

    Felix Redmill

  • Centre for Software Reliability, University of Newcastle-upon-Tyne, Newcastle-upon-Tyne, UK

    Tom Anderson

Bibliographic Information

  • Book Title: Safer Systems

  • Book Subtitle: Proceedings of the Fifth Safety-critical Systems Symposium, Brighton 1997

  • Editors: Felix Redmill, Tom Anderson

  • DOI: https://doi.org/10.1007/978-1-4471-0975-4

  • Publisher: Springer London

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag London Limited 1997

  • Softcover ISBN: 978-3-540-76134-1Published: 07 February 1997

  • eBook ISBN: 978-1-4471-0975-4Published: 06 December 2012

  • Edition Number: 1

  • Number of Pages: IX, 285

  • Number of Illustrations: 21 b/w illustrations

  • Topics: Software Engineering/Programming and Operating Systems, Software Engineering, System Performance and Evaluation

Publish with us

Policies and ethics

Back to top

Search

Navigation