Formal Validation of the Intelligent Monitoring System PATRICIA

: In critical domains, the acceptance of a given intelligent monitoring system owes much to the validation process. Formal methods for validating those systems are frequently required. However there is not a generally accepted methodology to perform the task. In this paper the authors present the methodology and results obtained from the validation process of PATRICIA, an intelligent monitoring system designed to advise clinicians in handling ICU patients long-term dependent on mechanical ventilation. The method is based on a previous retrospective analysis over different sets of patient data. Once the retrospective analysis is performed, quantitative techniques of validation are applied to investigate the performance of the system. INTRODUCTION A critical domain can be defined as a domain in which the relevance of a given decision affects in a very important manner the system outputs and the environment. In medicine a good example of a critical domain is the intensive care unit, in w..