Skip to main content
SpringerLink
Log in

Technology and Assessment of Safety-Critical Systems

Proceedings of the Second Safety-critical Systems Symposium, Birmingham, UK, 8–10 February 1994

  • Conference proceedings
  • © 1994

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 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.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. A User’s Perspective of Programmable Logic Controllers (PLCs) in Safety-related Applications

    • A. Greenway
    Pages 1-20

  3. Methods and Techniques of Improving the Safety Classification of Programmable Logic Controller Safety Systems

    • C. J. Goring
    Pages 21-30

  4. Maintainability and its Influence on System Safety

    • Cris Whetton
    Pages 31-54

  5. Safety Critical Problems in Medical Systems

    • Brian Davies
    Pages 55-68

  6. Developing Safety Cases for Command and Control Systems

    • J. R. Taylor
    Pages 69-78

  7. Lifetrack: Organisational Modelling for Safety-Critical Decision Support

    • Tony Holden, Michael Glykas, Paul Wilhelmij, Barrie Reynolds
    Pages 79-102

  8. The True Cost of Risk and Its Impact on Safety

    • Dudley Brown, Vivienne Deacon, Sophia Langley
    Pages 103-127

  9. Risk and Safety Reviews

    • Geoff Wells, Mike Wardman
    Pages 128-146

  10. Extending Safety Analysis Techniques with Formal Semantics

    • Janusz Górski
    Pages 147-163

  11. Social Issues in High-Tech Safety

    • Denis Jackson
    Pages 164-174

  12. Human Error in the Software Generation Process

    • Trevor Cockram, Jim Salter, Keith Mitchell, Judith Cooper, Brian Kinch, John May
    Pages 175-185

  13. Cognitive and Organisational Aspects of Design

    • Martin Loomes, Donald Ridley, Diana Kornbrot
    Pages 186-193

  14. Producing Critical Systems — The Ada 9X Solution

    • B. A. Wichmann
    Pages 194-203

  15. Using Formal Transformations for the Reverse Engineering of Real-Time Safety Critical Systems

    • K. H. Bennett, M. P. Ward
    Pages 204-223

  16. Use of Neural Computing in Multiversion Software Reliability

    • Derek Partridge, Noel Sharkey
    Pages 224-235

  17. Knowledge Based Systems in Safety Critical Applications

    • Audrey Canning
    Pages 236-246

  18. The rôle of Formal Methods in the Engineering of Safety Critical Systems

    • P. J. Byers
    Pages 247-257

  19. Back Matter

    Pages 258-258
    Download chapter PDF
Back to top

Keywords

About this book

The programme for the Second Safety-critical Systems Symposium was planned to examine the various aspects of technology currently employed in the design of safety-critical systems, as well as to emphasise the importance of safety and risk management in their design and operation. assessment There is an even balance of contributions from academia and industry. Thus, industry is given the opportunity to express its views of the safety-critical domain and at the same time offered a glimpse of the technologies which are currently under development and which, if successful, will be available in the medium-term future. In the field of technology, a subject whose importance is increasingly being recognised is human factors, and there are papers on this from the University of Hertfordshire and Rolls-Royce. Increasingly, PLCs are being employed in safety-critical applications, and this domain is represented by contributions from Nuclear Electric and August Computers. Then there are papers on maintainability, Ada, reverse engineering, social issues, formal methods, and medical systems, all in the context of safety. And, of course, it is not possible to keep the 'new' technologies out of the safety-critical domain: there are papers on neural networks from the University of Exeter and knowledge-based systems from ERA Technology.

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: Technology and Assessment of Safety-Critical Systems

  • Book Subtitle: Proceedings of the Second Safety-critical Systems Symposium, Birmingham, UK, 8–10 February 1994

  • Editors: Felix Redmill, Tom Anderson

  • DOI: https://doi.org/10.1007/978-1-4471-2082-7

  • Publisher: Springer London

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag London Limited 1994

  • Softcover ISBN: 978-3-540-19859-8Published: 11 February 1994

  • eBook ISBN: 978-1-4471-2082-7Published: 06 December 2012

  • Edition Number: 1

  • Number of Pages: IX, 258

  • Number of Illustrations: 9 b/w illustrations

  • Topics: Software Engineering, System Performance and Evaluation, IT in Business

Publish with us

Policies and ethics

Back to top

Search

Navigation