RED

Rigorously Engineered Decisions

Techniques for developing high integrity and provably safe computer systems for supporting protocol-based care.

Collaborators

* ACL (P Hammond, J Fox, C Gierl)
* Lloyds Register
* Integral Solutions Ltd.
* Queen Mary and Westfield College
* Masons Solicitors

Overview

Many applications of computers are safety critical in that system errors can lead to death or injury, and potentially to legal liability. Patient management in oncology and other areas of medicine are among those applications. The RED project investigated techniques for developing high integrity and provably safe computer systems for supporting protocol-based care. The ACL had responsibility for the overall technical direction of the project. The project was highly successful, producing technical results with wide potential application in medicine and other fields. The main practical result is an advanced computer system for supporting patient management. This attracted interest from researchers in clinical computing, the safety engineering community and industry.

Support

RED was part of the Safety Critical Systems Programme funded by the UK Government's Department of Trade and Industry and the Engineering and Physical Sciences Research Council.

Publications:

RED-related COSSAC publications