Assuring the Safety of On-Demand Medical Cyber-Physical Systems
Loading...
Penn collection
Departmental Papers (CIS)
Degree type
Discipline
Subject
CPS Medical
Computer Engineering
Computer Sciences
Computer Engineering
Computer Sciences
Funder
Grant number
License
Copyright date
Distributor
Related resources
Author
Contributor
Abstract
We present an approach to establish safety of on-demand medical cyber-physical systems which are assembled to treat a patient in a specific clinical scenario. We treat such a system as a virtual medial device (VMD) and propose a model-based framework that includes a modeling language with formal semantics and a medical application platform (MAP) that provides the necessary deployment support for the VMD models.
Advisor
Date of presentation
2013-08-19
Conference name
Departmental Papers (CIS)
Conference dates
2023-05-17T07:57:30.000
Conference location
Date Range for Data Collection (Start Date)
Date Range for Data Collection (End Date)
Digital Object Identifier
Series name and number
Volume number
Issue number
Publisher
Publisher DOI
Comments
1st International Conference on Cyber-Physical Systems, Networks, and Applications (CPSNA 2013), Taipei, Taiwan, August 19-20, 2013. http://www.cpsna.org/