, Verifying and validating the required behaviour of an IIP
, Defining a list of safety properties
, Demonstrating how we can help to meet FDA requirements for certifying IIPs using formal methods
, Showing how to use Event-B's refinement process to retain intellectual control of the modelling process, formalization, and analysis
, Patient safety. Inf. Knowl. Syst. Manag, vol.8, issue.1-4, pp.23-46, 2009.
Insulin pump software certification, FHIES 2013, vol.8315, pp.87-106, 2014. ,
Formalizing the glucose homeostasis mechanism, DHM 2014, vol.8529, pp.460-471, 2014. ,
A review of the FDA draft guidance document for software validation: guidance for industry, Qual. Assur, vol.7, issue.1, pp.49-55, 1999. ,
, A reseach and development needs report by NITRD: high-confidence medical devices: cyber-physical systems for 21st century health care
High-confidence medical device software and systems, Computer, vol.39, issue.4, pp.33-38, 2006. ,
Safety-critical systems, formal methods and standards, Softw. Eng. J, vol.8, issue.4, pp.189-209, 1993. ,
Using Event-B for Critical Device Software Systems, 2013. ,
Real-time animation for formal specification, Complex Systems Design and Management, pp.49-60, 2010. ,
Though this be madness, yet there is method in it, Proceedings of For-maliSE, pp.1-7, 2013. ,
, Modeling in Event-B -System and Software Engineering, 2010.
, Project RODIN: rigorous open development environment for complex systems, 2004.
Model-based development of the generic PCA infusion pump user interface prototype in PVS, SAFECOMP. LNCS, vol.8153, pp.228-240, 2013. ,
Safety-assured development of the GPCA infusion pump software, 2011 Proceedings of the International Conference on Embedded Software (EMSOFT), pp.155-164, 2011. ,
Developing an insulin pump system using the SOFL method, 4th Asia-Pacific Software Engineering Conference (APSEC), pp.334-341, 2007. ,
An Event-B approach to timing issues applied to the generic insulin infusion pump, FHIES 2011, vol.7151, pp.160-176, 2012. ,
Software Engineering, 7th edn, 2004. ,
Report 18: formalizing insulin pump using Event-B, McSCert, 2014. ,