Requirement-Guided Model Refinement
Zhihao Jiang, Pieter J. Mosterman, Rahul Mangharam · 2014
Medical device is a typical Cyber-Physical System and ensuring the safety and efficacy of the device requires closed-loop verification. Currently closed-loop ver-ifications of medical devices are performed in the form of clinical trials in which the devices are tested on the patients. Using clinical trials as closed-loop verifi-