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.


Publié dans:
Proceedings of the 2018 IEEE Computer Society Annual Symposium on VLSI (ISVLSI), 299-304
Présenté à:
2018 IEEE Computer Society Annual Symposium on VLSI (ISVLSI'18), Hong Kong SAR, China, July 9-11, 2018
Année
Jul 11 2018
Publisher:
New York, IEEE
ISSN:
2159-3469
2159-3477
Mots-clefs:
Note:
ERC Cybercare 669354
Laboratoires:


Note: Le statut de ce fichier est: Anyone


 Notice créée le 2018-06-08, modifiée le 2020-04-20

Final:
Télécharger le document
PDF

Évaluer ce document:

Rate this document:
1
2
3
 
(Pas encore évalué)