Generating Safety Guidance for Medical Injection with Three-Compartment Pharmacokinetics Model

Medical cyber-physical systems are a new trend of software controlled physical systems that are increasingly common in medical domains. With rapid developments in medical science and computer technology, safety verification and simulation becomes more challenging. This paper introduces a general model for medical injection systems, which can be used for formal verification, simulation/testing, and computing the Area Under the Curve (AUC) metrics, using Satisfiability Modulo Theories (SMT) over Reals. An algorithm of computing constrained AUC for measuring drug exposure with relative baseline, is presented based on the proof of unsatisfiability. We demonstrate that our model can efficiently solve these problems using the state-of-the-art SMT solver dReal.


Published in:
Proceedings of the 2018 IEEE Computer Society Annual Symposium on VLSI (ISVLSI'18), 299-304
Presented at:
2018 IEEE Computer Society Annual Symposium on VLSI (ISVLSI'18), Hong Kong SAR, China, July 9-11, 2018
Year:
Jul 11 2018
Publisher:
New York, IEEE
ISSN:
2159-3469
2159-3477
Keywords:
Note:
ERC Cybercare 669354
Laboratories:




 Record created 2018-06-08, last modified 2019-03-17

Final:
Download fulltext
PDF

Rate this document:

Rate this document:
1
2
3
 
(Not yet reviewed)