Requirement-Guided Model Refinement
Loading...
Penn collection
Real-Time and Embedded Systems Lab (mLAB)
Degree type
Discipline
Subject
CPS Medical
CPS Formal Methods
CPS Theory
Computer Engineering
Electrical and Computer Engineering
CPS Formal Methods
CPS Theory
Computer Engineering
Electrical and Computer Engineering
Funder
Grant number
License
Copyright date
Distributor
Related resources
Contributor
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.
Advisor
Date Range for Data Collection (Start Date)
Date Range for Data Collection (End Date)
Digital Object Identifier
Series name and number
Publication date
2014-12-02