Skip to main content

Model-Driven Safety Analysis of Closed-Loop Medical Systems.

Publication ,  Journal Article
Pajic, M; Mangharam, R; Sokolsky, O; Arney, D; Goldman, J; Lee, I
Published in: IEEE transactions on industrial informatics
October 2012

In modern hospitals, patients are treated using a wide array of medical devices that are increasingly interacting with each other over the network, thus offering a perfect example of a cyber-physical system. We study the safety of a medical device system for the physiologic closed-loop control of drug infusion. The main contribution of the paper is the verification approach for the safety properties of closed-loop medical device systems. We demonstrate, using a case study, that the approach can be applied to a system of clinical importance. Our method combines simulation-based analysis of a detailed model of the system that contains continuous patient dynamics with model checking of a more abstract timed automata model. We show that the relationship between the two models preserves the crucial aspect of the timing behavior that ensures the conservativeness of the safety analysis. We also describe system design that can provide open-loop safety under network failure.

Duke Scholars

Published In

IEEE transactions on industrial informatics

DOI

EISSN

1941-0050

ISSN

1551-3203

Publication Date

October 2012

Related Subject Headings

  • Electrical & Electronic Engineering
  • 46 Information and computing sciences
  • 40 Engineering
  • 10 Technology
  • 09 Engineering
  • 08 Information and Computing Sciences
 

Citation

APA
Chicago
ICMJE
MLA
NLM
Pajic, M., Mangharam, R., Sokolsky, O., Arney, D., Goldman, J., & Lee, I. (2012). Model-Driven Safety Analysis of Closed-Loop Medical Systems. IEEE Transactions on Industrial Informatics. https://doi.org/10.1109/tii.2012.2226594
Pajic, Miroslav, Rahul Mangharam, Oleg Sokolsky, David Arney, Julian Goldman, and Insup Lee. “Model-Driven Safety Analysis of Closed-Loop Medical Systems.IEEE Transactions on Industrial Informatics, October 2012. https://doi.org/10.1109/tii.2012.2226594.
Pajic M, Mangharam R, Sokolsky O, Arney D, Goldman J, Lee I. Model-Driven Safety Analysis of Closed-Loop Medical Systems. IEEE transactions on industrial informatics. 2012 Oct;
Pajic, Miroslav, et al. “Model-Driven Safety Analysis of Closed-Loop Medical Systems.IEEE Transactions on Industrial Informatics, Oct. 2012. Epmc, doi:10.1109/tii.2012.2226594.
Pajic M, Mangharam R, Sokolsky O, Arney D, Goldman J, Lee I. Model-Driven Safety Analysis of Closed-Loop Medical Systems. IEEE transactions on industrial informatics. 2012 Oct;

Published In

IEEE transactions on industrial informatics

DOI

EISSN

1941-0050

ISSN

1551-3203

Publication Date

October 2012

Related Subject Headings

  • Electrical & Electronic Engineering
  • 46 Information and computing sciences
  • 40 Engineering
  • 10 Technology
  • 09 Engineering
  • 08 Information and Computing Sciences