Model-driven safety analysis of closed-loop medical systems
Repository Usage Stats
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. © 2005-2012 IEEE.
Published Version (Please cite this version)10.1109/TII.2012.2226594
Publication InfoPajic, Miroslav; Mangharam, Rahul; Sokolsky, Oleg; Arney, David; Goldman, Julian; & Lee, Insup (2014). Model-driven safety analysis of closed-loop medical systems. IEEE Transactions on Industrial Informatics, 10(1). pp. 3-16. 10.1109/TII.2012.2226594. Retrieved from https://hdl.handle.net/10161/11282.
This is constructed from limited available data and may be imprecise. To cite this article, please review & use the official citation provided by the journal.
More InfoShow full item record
Dickinson Family Associate Professor
Miroslav Pajic's research focuses on design and analysis of cyber-physical systems and in particular, embedded and distributed/networked control, real-time and embedded systems, and high-confidence medical device systems.