The Application of Formal Methods for the Redevelopment of a Laboratory Information Management System

  • Paul Collinson
  • Susan Oppert
  • Steven Hughes
Conference paper


The overall goal of a clinical laboratory is to analyse samples of blood and other bodily fluids received from a patient, and to return the correct results to the patient’s doctor within a suitable period. Automated analysers are used in most laboratories to analyse the various samples. Computer systems (LIMS1) are widely used in laboratories to control, support and monitor the work done in the laboratory, keeping pace with the increased analytical capability provided by these analysers. In particular, a LIMS is typically used to control and monitor (at least):
  • the working of the analysers, deciding what tests need to be done for each sample by each analyser,

  • the collating of requests and results, and

  • the printing of the results.


Safety Analysis Safety Property Request Form Laboratory Information Management System Safety Critical System 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Ministry of Defence. The Procurement of Safety Critical Software in Defence Systems. Interim Defence Standard 00-55. April, 1991.Google Scholar
  2. 2.
    Ministry of Defence. Hazard Analysis and Safety Classification of the Computer and Programmable Electronic System Elements of Defence Equipment. Interim Defence Standard 00-56. April, 1991.Google Scholar
  3. 3.
    The RAISE Language Group. The RAISE Specification Language. The BCS Practitioner Series. Prentice Hall, London, 1992Google Scholar
  4. 4.
    Fink R, et al: Data Management in Clinical Laboratory Information Systems. In: Directions in Safety Critical Systems. Redmill F and Anderson T (eds). Springer-Verlag, 1993.Google Scholar

Copyright information

© Springer-Verlag London Limited 1993

Authors and Affiliations

  • Paul Collinson
    • 1
  • Susan Oppert
    • 2
  • Steven Hughes
    • 3
  1. 1.Dept. of Chemical PathologyMayday University HospitalCroydonEngland
  2. 2.Dept. of Clinical BiochemistryWest Middlesex University HospitalIsleworthEngland
  3. 3.Lloyd’s Register of Shipping CroydonEngland

Personalised recommendations