Technology and Assessment of Safety-Critical Systems

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

  • Felix Redmill
  • Tom Anderson

Table of contents

  1. Front Matter
    Pages i-ix
  2. Tony Holden, Michael Glykas, Paul Wilhelmij, Barrie Reynolds
    Pages 79-102
  3. Dudley Brown, Vivienne Deacon, Sophia Langley
    Pages 103-127
  4. Geoff Wells, Mike Wardman
    Pages 128-146
  5. Denis Jackson
    Pages 164-174
  6. Trevor Cockram, Jim Salter, Keith Mitchell, Judith Cooper, Brian Kinch, John May
    Pages 175-185
  7. Martin Loomes, Donald Ridley, Diana Kornbrot
    Pages 186-193
  8. Derek Partridge, Noel Sharkey
    Pages 224-235
  9. Back Matter
    Pages 258-258

About these proceedings


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.


classification design development formal method formal methods knowledge-based systems modeling networks organization reliability reverse engineering risk management safety-critical system semantics software

Editors and affiliations

  • Felix Redmill
    • 1
  • Tom Anderson
    • 2
  1. 1.Redmill ConsultancyLondonUK
  2. 2.Centre for Software ReliabilityUniversity of Newcastle-upon-TyneNewcastle-upon-TyneUK

Bibliographic information