Skip to Main Content Area
CPS-VO
Contact Support
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
2014 National Workshop on Research Frontiers in Medical Cyber-Physical Systems
Home
Final Report
Program/Presentations
Final Speakers' Bios
Final Registrants List
Files
CPS-VO
»
Medical-CPS
»
National Workshops on Medical Cyber-Physical Systems
»
2014 National Workshop on Research Frontiers in Medical Cyber-Physical Systems
» WHITE PAPERS
White Papers
file
From Verified Models to Verified Code for Medical Devices
Submitted by pajic on Thu, 02/06/2014 - 6:31pm. Contributors:
Miroslav Pajic
Rahul Mangharam
CPS Domains
Medical Devices
Concurrency and Timing
Control
Modeling
Health Care
Simulation
Validation and Verification
Foundations
closed-loop
medical CPS
verified model
University of Pennsylvania
White Papers
White Papers
2014 National Workshop on Research Frontiers in Medical CPS
2014
Academia
Presentation
White Paper
file
Multifunction Delegates for Secure Medical Cyber-Physical Systems
Submitted by Rick Schantz on Thu, 02/06/2014 - 6:31pm. Contributors:
Richard Schantz
Shane Clark
Partha Pal
CPS Domains
Medical Devices
Concurrency and Timing
Time Synchronization
Wireless Sensing and Actuation
Real-Time Coordination
Health Care
Validation and Verification
CPS Technologies
Foundations
medical CPS
security and privacy
BBN Technologies
White Papers
White Papers
2014 National Workshop on Research Frontiers in Medical CPS
2014
Industry
Presentation
White Paper
file
Towards Zero-Defect Surgical Robot Systems
Submitted by ykouskoulas on Thu, 02/06/2014 - 6:31pm. Contributor:
Yanni Kouskoulas
CPS Domains
Medical Devices
Testing
Systems Engineering
Modeling
Health Care
Robotics
Validation and Verification
CPS Technologies
Foundations
medical CPS
medical robotics
surgical robotics
zero defect
Johns Hopkins University Applied Physics Laboratory
White Papers
White Papers
2014 National Workshop on Research Frontiers in Medical CPS
2014
Academia
Presentation
White Paper
