Advertisement

Dependable Computing in the UK

  • Mel Barnes
Part of the Dependable Computing and Fault-Tolerant Systems book series (DEPENDABLECOMP, volume 4)

Abstract

The increased usage and sophistication of computers applied to real time safety-related systems in the United Kingdom has spurred on the desire to provide a standard framework within which to design, build, and assess dependable computing systems. The recent introduction of the European Product Liability Laws has acted as a catalyst in this area.

This paper is a survey of the approaches being taken by various important organisations within the UK, in military, government, and industrial areas, and compares the strengths and weaknesses of the approaches. It also discusses frameworks for the design and assessment of dependable computer systems used in safety-critical applications, and embraces issues of reliability, safety, and security.

Keywords

Fault Tree Analysis Safety Critical System Dependable Computing Chief Inspector Criminal Negligence 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    “Software — A Vital Key to UK Competitiveness” an ACARD report ISBN 011 630829, available from Her Majesty’s Stationary Office, PO Box 276, London SW8 5DT.Google Scholar
  2. [2]
    AQAP-1: “NATO Requirements for an Industrial Quality Control System” (1984), available from Her Majesty’s Stationary Office, PO Box 276, London SW8 5DT.Google Scholar
  3. [3]
    AQAP-13: “NATO Software Quality Control System Requirements” (August 1981), available from Her Majesty’s Stationary Office, PO Box 276, London SW8 5DT.Google Scholar
  4. [4]
    “HSE Guidelines on Programmable Electronic Control Systems in Safety-related Applications, PART 1 ”, ISBN 0 11 883906. Her Majesty’s Stationary Office, PO Box 276, London SW8 5DT.Google Scholar
  5. [5]
    “HSE Guidelines on Programmable Electronic Control Systems in Safety-related Applications, PART 2 General Technical Guidelines”, ISBN 0 11 883906. Her Majesty’s Stationary Office, PO Box 276, London SW8 5DT.Google Scholar
  6. [6]
    “Safety-related Software Study”, UK Health & Safety Executive.Google Scholar
  7. [7]
    Draft BEE report “Safety Critical Systems Employing Software”, available from the Department for Trade and Industry, London, UK, reference: IT/24/27/39.Google Scholar
  8. [8]
    “Configuration Identification and Control of Software for Microprocessors” by A Lawrence, CEGB. Presented at the 4th Annual Symposium on Microprocessor-based Protection Systems (for the Institute of Measurement and Control), 10 December 1987.Google Scholar

Copyright information

© Springer-Verlag/Wien 1991

Authors and Affiliations

  • Mel Barnes
    • 1
  1. 1.Safety & Reliability DirectorateAEA TechnologyWarringtonUK

Personalised recommendations