Title :
The SADLI project safety critical software research in the medical diagnostic domain
Author :
Chudleigh, Morris ; Berridge, Chris ; May, Rod ; Butler, Jenny ; Poole, Ian
Author_Institution :
Cambridge Consultants Ltd, UK
Abstract :
The overall objective of the SADLI project was to implement a demonstration imaging system in diagnostic microscopy using functional programming under the discipline of a safety critical methodology in order to determine the benefits and the constraints that arise from so doing. For this implementation, we selected an application in cervical screening since it is clearly safety critical, software based and posed a wide range of technical problems which, if they could be solved, would demonstrate the effectiveness of the techniques applied.<>
Keywords :
biomedical equipment; functional programming; medical image processing; microscopy; safety-critical software; SADLI project safety critical software research; cervical screening; demonstration imaging system; diagnostic microscopy; functional programming; medical diagnostic domain; safety critical methodology; Biomedical equipment; Biomedical image processing; Functional programming; Microscopy; Software safety;
Journal_Title :
Computing & Control Engineering Journal
DOI :
10.1049/cce:19950502
