M. Chudleigh et al., THE SADLI PROJECT - SAFETY-CRITICAL SOFTWARE RESEARCH IN THE MEDICAL DIAGNOSTIC DOMAIN, Computing & control engineering journal, 6(5), 1995, pp. 211-215
The overall objective of the SADLI project was to implement a demonstr
ation imaging system in diagnostic microscopy using functional program
ming under the discipline of a safety-critical methodology in order to
determine the benefits and the constraints that arise from so doing.