This paper presents our effort of using model-driven engineering to establish insulin pump software based on the generic PCA reference model. The reference model was first translated into a network of timed automata using the UPPAAL tool. We applied the TIMES tool to automatically generate platform-independent code as its preliminary implementation. The code is then interface with pump hardware, software and deployed onto a real PCA pump. Experiments show that the code worked correctly and effectively with the real pump. To check the compatibility and rules violation we have also developed a test stub to check the consistency between the proposed model and the code through conformance testing. Challenges faced and their resolution during our work is also discussed in this paper.

Model based engineering, Code Synthesis, Insulin Pump, TIMES Tool

[1] The generic patient controlled analgesia pump model. http://rtg.cis.upenn.edu/gip.php3.
[2] Bin Ma and Sheng Liu, "A PZT Insulin Pump Integrated with a Silicon Micro Needle Array for Transdermal Drug Delivery" Fifty sixth IEEE ECTC Conference, San Diego, 2006: 677-681.

[3] The Insulin Model http://www.endocrineweb.com/conditions/diabetes/diabetes-what-insulin
[4] T. Amnell, E. Fersman, L. Mokrushin, P. Pettersson, and W. Yi. “TIMES: a tool for schedulability analysis and code generation of real-time systems” In FORMATS, 2003.
[5] H. S. Hong, S. D. Cha, I. Lee, O. Sokolsky, and H. Ural. “Data flow testing as model checking”, In ICSE, pages 232–243, 2003.
[6] D. C. Schmidt. “Model-driven engineering”, IEEE Computer Magazine, February 2006.
[7] I. Assayad, V. Bertin, F. X. Defaut, P.Gerner, O. Quevreux, and S. Yovine. “Jahuel: A formal framework for software synthesis, ECMDA-FA, 2005.
[8] S. Burmester, H. Giese, and W. Schafer. Model-driven architecture for hard real-time systems: From platform independent models to code. ECMDA-FA, 2005.
[9] Intensified Treatment of Diabetes in Pediatrics Today http://general-medicine.jwatch.org/cgi/content/full/2011/712/1
[10] Continuous Real-Time Glucose Monitoring for Better Control. http://www.medtronicdiabetes.net/treatmentoptions/continuousglucosemonitoringto
[11] BaekGyu Kim, Anaheed Ayoub, Oleg Sokolsky, Insup Lee, Paul Jones, Yi Zhang, and Raoul Jetley. Safety-Assured Development of the GPCA Infusion Pump Software.The International Conference on Embedded Software 475-487, 2011.
[12] Zhi Xu, Sheng Liu , Zhiyin Gan, Bin Ma, Guojun Liu, Xinxia Cai, Honghai Zhang, Zhigang Yang. An Integrated Intelligent Insulin Pump Electronic Packaging technology, ICEPT 2006.
[13] Frank Truyen, “The Fast Guide to Model Driven Architecture The Basics of Model Driven Architecture (MDA)”, Cephas Consulting Corp January 2006.
[14] Christen Rees et. al., “Recommendations for Insulin Dose Calculator Risk Management”, Journal of Diabetes Science and Technology 2014 Jan; 8(1): 142–149.
[15] Brooke H. McAdams and Ali A. Rizvi, “An Overview of Insulin Pumps and Glucose Sensors for the Generalist”, Journal of Clinical Medicine2016 Jan; 5(1): 5.
[16] Levon Gevorkov , Anton Rassõlkin , Ants Kallaste , Toomas Vaimann, “Simulink based model for flow control of a centrifugal pumping system”, 25th International Workshop on Electric Drives: Optimization in Control of Electric Drives (IWED), PP-1-4, Feb, 2018.
[17] Alessio Bucaioni, Lorenzo Addazi, Antonio Cicchetti, Federico Ciccozzi, Romina Eramo, Saad Mubeen, Mikael Sjödin, “MoVES: A Model-Driven Methodology for Vehicular Embedded Systems” , IEEE Access PP- 6424-6445, Jan 2018.
[18] B. Bakariya, G.S. Thakur, “Effectuation of Web Log Preprocessing and Page Access Frequency using Web Usage Mining”, International Journal of Computer Sciences and engineering, Vol.1 , Issue.1 , pp.1-5, Sep-2013.
[19] K. J. Modi, D.P. Chowdhury, “A Framework for Management and Monitoring of QoS-based Cloud Services”, International Journal of Computer Sciences and engineering, Vol.5, Issue.5, pp.115-119, May-2017.