Advanced Safety Analysis and Modeling of Control Software in Implantable Medical Devices

Abstract

Medical Cyber-Physical Systems (MCPS) is an integration of physical system, medical devices, and control software. Software for MCPS should contact with potential hazard of the system identified by safety analysis. Implantable medical devices with embedded software and control software for clinical programming are used in hospital to get safety and high-quality health care. Modeling the error-free and safety software for medical devices is essential and challenging to avoid hazards in MCPS. This paper identifies model for the networked MCPS to overcome some problems related to medical devices. The process starts with modeling the system with the help of some mathematical techniques like timed automata, modeling languages and perform hazards identification process using different hazard analysis techniques. After that derive new safety requirements for system and catalog. Development of an MCPS based on our proposed systems-theoretic software safety approach significantly enhanced the safe operation of the overall system. The proposed model identifies the component and interaction failures within a systems and provides safety to the system.