We present a formal check approach for recognizing plan issues related to client interaction, with a center on client interface of restorative devices. The approach makes a novel use of arrangement charts proposed by Rushby to formally check essential human variables properties of client interface implementation. In particular, it first deciphers the programming execution of client interface into an equivalent formal specification, from which a behavioral model is developed utilizing hypothesis proving; human variables properties are then confirmed against the behavioral model; lastly, an exhaustive set of test inputs are produced by exploring the behavioral model, which can be utilized to challenge the certifiable interface execution and to guarantee that the issues recognized in the conduct model do apply to the implementation. We have prototyped the approach based on the PVS verification system, and connected it to examine the client interface of a certifiable restorative device. The investigation recognized several collaboration plan issues in the device, which may conceivably lead to serious consequences.

Programming Verification; Restorative Devices; Client Interfaces

[1] R.Priyanka; R.Sivakumar, “The Evaluation of Medical Device Interaction Based Prototype Verification System Using Human Operator Model”, in International Journal of Computer Sciences and Engineering Volume-4, Issue-4, Year-2016.
[2] Almir Badnjevic; Lejla Gurbeta; Dusanka Boskovic; Zijad Dzemic, “Medical devices in legal metrology”, 2015 4th Mediterranean Conference on Embedded Computing (MECO), Year: 2015, Pages: 365 – 367.
[3] Meng Zhang; Anand Raghunathan; Niraj K. Jha, “MedMon: Securing Medical Devices through Wireless Monitoring and Anomaly Detection”, IEEE Transactions on Biomedical Circuits and Systems, Year: 2013, Volume: 7, Issue: 6, Pages: 871 – 881.
[4] Seungwoo Lee; Nam Kim, “Measurement and analysis of the electromagnetic fields radiated by themedical devices”, 2015 9th International Symposium on Medical Information and Communication Technology (ISMICT), Year: 2015, Pages: 56 – 58.
[5] P. Th. Houngbo; G. J. v. d. Wilt; D. Medenou; L. Y. Dakpanon; J. Bunders; J. Ruitenberg, “Policy and management of medical devices for the public health care sector in Benin”, Appropriate Healthcare Technologies for Developing Countries, 2008. AHT 2008. 5th IET Seminar on, Year: 2008, Pages: 1 – 7.
[6] S. D. Thangavelu; M. S. Pillay; J. Yunus; E. Ifeachor, “Towards implementation of international standards in medical devices regulation in Malaysia”, Appropriate Healthcare Technologies for Developing Countries, 2008. AHT 2008. 5th IET Seminar on, Year: 2008, Pages: 1 – 7.
[7] Marcantonio Catelani; Lorenzo Ciani; Chiara Risaliti, “Risk assessment in the use of medical devices: A proposal to evaluate the impact of the human factor”, Medical Measurements and Applications (MeMeA), 2014 IEEE International Symposium on, Year: 2014, Pages: 1 – 6.
[8] Michael R. Neuman; Gail D. Baura; Stuart Meldrum; Orhan Soykan; Max E. Valentinuzzi; Ron S. Leder; Silvestro Micera; Yuan-Ting Zhang, “Advances in Medical Devices and Medical Electronics”, Proceedings of the IEEE, Year: 2012, Volume: 100, Issue: Special Centennial Issue, Pages: 1537 – 1550.
[9] Homa Alemzadeh; Ravishankar K. Iyer; Zbigniew Kalbarczyk; Jai Raman, “Analysis of Safety-Critical Computer Failures in Medical Devices”, IEEE Security & Privacy, Year: 2013, Volume: 11, Issue: 4, Pages: 14 – 26.