Safety-Critical Systems: The Convergence of High Tech and Human Factors

Proceedings of the Fourth Safety-critical Systems Symposium

  • Felix Redmill
  • Tom Anderson
Conference proceedings

Table of contents

  1. Front Matter
    Pages i-ix
  2. R. C. Sugden, M. R. Strens, J. E. Dobson
    Pages 1-12
  3. S. N. Gandy
    Pages 44-60
  4. Martin Neil, Bev Littlewood, Norman Fenton
    Pages 71-94
  5. Stan Price
    Pages 95-104
  6. Floor Koornneef, André Spijkervet, Jurek Karczewski
    Pages 153-167
  7. Peter Ayton, David K. Hardman
    Pages 168-183
  8. A. M. Dearden, M. D. Harrison
    Pages 184-199
  9. Sophia Langley, Peter Jarratt
    Pages 200-208
  10. Morris Chudleigh, Chris Berridge, Jenny Butler, Rod May, Ian Poole
    Pages 223-242
  11. Tim Bull, Keith Bennett
    Pages 243-265
  12. P. A. Barber, D. P. Smith
    Pages 266-284
  13. Back Matter
    Pages 285-285

About these proceedings


Safety-critical systems, in the sense of software-based systems used in safety­ critical applications, are 'high-tech'. They are products of modern technology. Their effective, efficient and safe functioning depends not only on the devel­ opment of the right technologies but also on the right use of them. The safety of a system may be compromised not only by faults in the system but also by the use in the first place of an unreliable, unsafe, or unproved technology in its development. The key to the development and use of both technologies and systems is the human being. Until recently, the importance of human involvement, other than at the direct operational level, was hardly admitted. But now the unreliability of humans is recognised, as is the potential for latent faults to be introduced into systems at any point in their life cycles, by all who are in­ volved with them, including designers and strategic decision makers.


Management Software Technologie Transport design development functional programming modeling organization productivity programming structured analysis 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

Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment