Model-Driven Safety Analysis of Closed-Loop Medical Systems

Simple item page
dc.bibliographic.citation@ARTICLE{6341078, author={Pajic, M. and Mangharam, R. and Sokolsky, O. and Arney, D. and Goldman, J. and Lee, I}, journal={Industrial Informatics, IEEE Transactions on}, title={Model-Driven Safety Analysis of Closed-Loop Medical Systems}, year={2014}, month={Feb}, volume={10}, number={1}, pages={3-16}, keywords={automata theory;closed loop systems;hospitals;medical control systems;open loop systems;safety;abstract timed automata model;closed-loop medical device systems;continuous patient dynamics;cyber-physical system;drug infusion;hospitals;model checking;model-driven safety analysis;network failure;open-loop safety;physiologic closed-loop control;simulation-based analysis;Analytical models;Biomedical monitoring;Drugs;Heart rate;Principal component analysis;Safety;Software packages;Closed-loop medical systems;high-confidence medical systems;model-based development;safety analysis}, doi={10.1109/TII.2012.2226594}, ISSN={1551-3203},}
dc.contributor.authorPajic, Miroslav
dc.contributor.authorMangharam, Rahul
dc.contributor.authorSokolsky, Oleg
dc.contributor.authorArney, David
dc.contributor.authorGoldman, Julian M.
dc.contributor.authorLee, Insup
dc.date2023-05-17T07:29:41.000
dc.date.accessioned2023-05-22T23:59:28Z
dc.date.available2023-05-22T23:59:28Z
dc.date.issued2012-10-01
dc.date.submitted2012-10-21T13:23:03-07:00
dc.description.abstractIn 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.
dc.description.commentsAn earlier version of this article can be found at http://repository.upenn.edu/cis_papers/760/.
dc.identifier.urihttps://repository.upenn.edu/handle/20.500.14332/40663
dc.legacy.articleid1070
dc.legacy.fieldstrue
dc.legacy.fields10.1109/TII.2012.2226594
dc.legacy.fulltexturlhttps://repository.upenn.edu/cgi/viewcontent.cgi?article=1070&context=mlab_papers&unstamped=1
dc.rights© 2012 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.
dc.source.beginpage3
dc.source.endpage16
dc.source.issue52
dc.source.issue1
dc.source.journalReal-Time and Embedded Systems Lab (mLAB)
dc.source.journaltitleIEEE Transactions on Industrial Informatics
dc.source.peerreviewedtrue
dc.source.statuspublished
dc.source.volume10
dc.subject.otherCPS Medical
dc.subject.otherclosed-loop medical systems
dc.subject.othermodel-based development
dc.subject.othersafety analysis
dc.subject.otherhigh-confidence medical device systems
dc.subject.otherElectrical and Computer Engineering
dc.titleModel-Driven Safety Analysis of Closed-Loop Medical Systems
dc.typeArticle
digcom.contributor.authorisAuthorOfPublication|email:pajic@seas.upenn.edu|institution:University of Pennsylvania|Pajic, Miroslav
digcom.contributor.authorisAuthorOfPublication|email:rahulm@seas.upenn.edu|institution:University of Pennsylvania|Mangharam, Rahul
digcom.contributor.authorisAuthorOfPublication|email:sokolsky@cis.upenn.edu|institution:University of Pennsylvania|Sokolsky, Oleg
digcom.contributor.authorisAuthorOfPublication|email:arney@seas.upenn.edu|institution:University of Pennsylvania|Arney, David
digcom.contributor.authorisAuthorOfPublication|email:jmgoldman@partners.org|institution:Massachusetts General Hospital & CIMIT|Goldman, Julian M.
digcom.contributor.authorisAuthorOfPublication|email:lee@cis.upenn.edu|institution:University of Pennsylvania|Lee, Insup
digcom.identifiermlab_papers/52
digcom.identifier.contextkey3413294
digcom.identifier.submissionpathmlab_papers/52
digcom.typearticle
dspace.entity.typePublication
relation.isAuthorOfPublication26e7bd59-c594-42d7-ab18-3075fd349efc
relation.isAuthorOfPublication3c7b38b7-1b79-42d0-b26d-5056a7251cfd
relation.isAuthorOfPublication35e1b18e-15fe-4438-be3b-84593f70a40a
relation.isAuthorOfPublicationa9c83661-2cce-403b-bd59-d4f3a3b9c842
relation.isAuthorOfPublication840702d9-2597-4f97-a97f-af67ce03dd31
relation.isAuthorOfPublication45a9eed5-3211-4c36-b40d-6394302dfdce
relation.isAuthorOfPublication.latestForDiscovery26e7bd59-c594-42d7-ab18-3075fd349efc
upenn.schoolDepartmentCenterReal-Time and Embedded Systems Lab (mLAB)
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
TII11_MCPS.pdf
Size:
2.4 MB
Format:
Adobe Portable Document Format
Download
Collection
Articles