Document Type
Technical Report
Subject Area
CPS Medical, CPS Formal Methods, CPS Theory
Date of this Version
12-2-2014
Abstract
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.
Recommended Citation
Zhihao Jiang, Pieter Mosterman, and Rahul Mangharam, "Requirement-Guided Model Refinement", . December 2014.
Date Posted: 02 December 2014