The emerging network-enabled medical devices impose new challenges for the safety assurance of medical cyber-physical systems (MCPS). In this paper, we present a case study of building a high-level safety argument for a patient-controlled analgesia (PCA) closed-loop system, with the purpose of exploring potential methodologies for assuring the safety of MCPS
Medical Device Plug-and-Play (MD PnP) is a recent NIH (National Institute of Health) sponsored inves...
This dissertation addresses the questions of how to ensure safety in medical Cyber-Physical-Human Sy...
In current medical practice, therapy is delivered in critical care environments (e.g., the ICU) by c...
The emerging network-enabled medical devices impose new challenges for the safety assurance of medic...
The emerging network-enabled medical devices impose new challenges for the safety assurance of medic...
In modern hospitals, patients are treated using a wide array of medical devices that are increasingl...
A model-driven design and validation of closed-loop medical device systems is presented. Currently, ...
Medical device regulators such as the US Food and Drug Ad-ministration (FDA) aim to make sure that m...
In modern hospitals, patients are treated using a wide array of medical devices that are increasingl...
Traditional safety-critical systems are designed and integrated by a systems integrator. The system ...
We are considering the challenges that regulators face in approving modern medical devices, which ar...
A model-driven design and validation of closed-loop medical device systems is presented. Currently, ...
In this paper, a safety case pattern is introduced to facilitate the presentation of a correctness a...
We present an approach to establish safety of on-demand medical cyber-physical systems which are ass...
Argumentation-based safety assurance is a promising approach for the development of safe software-in...
Medical Device Plug-and-Play (MD PnP) is a recent NIH (National Institute of Health) sponsored inves...
This dissertation addresses the questions of how to ensure safety in medical Cyber-Physical-Human Sy...
In current medical practice, therapy is delivered in critical care environments (e.g., the ICU) by c...
The emerging network-enabled medical devices impose new challenges for the safety assurance of medic...
The emerging network-enabled medical devices impose new challenges for the safety assurance of medic...
In modern hospitals, patients are treated using a wide array of medical devices that are increasingl...
A model-driven design and validation of closed-loop medical device systems is presented. Currently, ...
Medical device regulators such as the US Food and Drug Ad-ministration (FDA) aim to make sure that m...
In modern hospitals, patients are treated using a wide array of medical devices that are increasingl...
Traditional safety-critical systems are designed and integrated by a systems integrator. The system ...
We are considering the challenges that regulators face in approving modern medical devices, which ar...
A model-driven design and validation of closed-loop medical device systems is presented. Currently, ...
In this paper, a safety case pattern is introduced to facilitate the presentation of a correctness a...
We present an approach to establish safety of on-demand medical cyber-physical systems which are ass...
Argumentation-based safety assurance is a promising approach for the development of safe software-in...
Medical Device Plug-and-Play (MD PnP) is a recent NIH (National Institute of Health) sponsored inves...
This dissertation addresses the questions of how to ensure safety in medical Cyber-Physical-Human Sy...
In current medical practice, therapy is delivered in critical care environments (e.g., the ICU) by c...