Safer Systems

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

  • Felix Redmill
  • Tom Anderson

Table of contents

  1. Front Matter
    Pages i-ix
  2. Martin Loomes, Rick Vinter
    Pages 67-78
  3. Ken Frith, Richard Ellis
    Pages 79-95
  4. S. J. Westerman, N. M. Shryane, C. M. Crawshaw, G. R. J. Hockey
    Pages 111-120
  5. Christine Tomlinson
    Pages 121-135
  6. M. V. Lowson, C. E. Medus
    Pages 185-202
  7. I. Sommerville, D. Seward, R. Morrey, S. Quayle
    Pages 203-215
  8. Janusz Górski, Andrzej Wardziński
    Pages 231-244
  9. Alvery Grazebrook
    Pages 245-255
  10. Back Matter
    Pages 285-285

About these proceedings


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.


Management Software Software Engineering Technologie Transport design model quality robot structured analysis systems architecture technology

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