CPS Medical, CPS Formal Methods, CPS Theory
Date of this Version
Medical device is a typical Cyber-Physical System and ensuring the safety and efficacy of the device requires closed-loop verification. Currently closed-loop verifications of medical devices are performed in the form of clinical trials in which the devices are tested on the patients.
Zhihao Jiang, Pieter Mosterman, and Rahul Mangharam, "Requirement-Guided Model Refinement", . December 2014.
Date Posted: 02 December 2014