Title :
Rapid validation of a medical expert system using precedence logic
Author :
Sorace, James M. ; Moore, G. William
Author_Institution :
Dept. of Pathol., Maryland Univ., Medical Center, Baltimore, MD, USA
Abstract :
The food and drug administration has noted that computer deficiencies and inadequate validation have contributed to errors in blood collection centers. The authors have developed a precedence-logic expert system which permits the software developer to write statements which can never be changed by subsequent programming actions. This allows for linear growth in the validation test set required to assure that donor units with positive test results are not released for transfusion
Keywords :
formal logic; medical expert systems; program verification; blood collection centers; computer deficiencies; food and drug administration; medical expert system; precedence-logic expert system; programming; validation test set; Blood; Computer errors; Drugs; Explosions; Humans; Laboratories; Logic programming; Medical expert systems; Pathology; Testing;
Conference_Titel :
Computer-Based Medical Systems, 1993. Proceedings of Sixth Annual IEEE Symposium on
Conference_Location :
Ann Arbor, MI
Print_ISBN :
0-8186-3752-8
DOI :
10.1109/CBMS.1993.262981