Modeling And Verification Of Cardiopulmonary Resuscitation MCPS Based On Best Medical Practice Guidelines

The Cyber-Physical System(CPS)is an intelligent system that combines communication,computing and information control into a complex system and realizes the close integration of physical resources and computing resources.The information physical fusion system has powerful functions through system engineering such as sensors,network communication,embedded system engineering,etc.Its appearance has changed the way traditional humans interact with the physical world.Since its introduction,CPS has been highly valued by relevant scientific research institutions at home and abroad,and has broad application prospects in many fields,such as aerospace,intelligent buildings,manufacturing,and intelligent medical care.The Medical Cyber-Physical System(MCPS)for medical treatment is the main research content of this paper.This paper proposes a cardiopulmonary resuscitation MCPS based on the best medical practice code.By collecting the patient's physiological parameters and operating parameters during cardiopulmonary resuscitation(such as compression depth,compression frequency,etc.),it is best for resuscitating the heart with the coded heart.The Code of Practice finite state machine performs calculations and analysis to determine whether the current operation complies with the best medical practice code,and if not,enters the appropriate warning state and clarifies the next treatment of the medical staff in accordance with the best medical practice code.Tips to improve the quality of cardiopulmonary resuscitation.The main work of the thesis is as follows.The first is to obtain and develop the best medical practice guidelines for cardiac resuscitation,to develop the best cardiopulmonary resuscitation medical code by consulting the literature and communicating with healthcare professionals,and then coding them for use in cardiac resuscitation using Simulink/Stateflow The best medical practice code is coded into a finite state machine.The second part models and verifies the system.We model the system using Model-Driven(MDA)-based architecture analysis and design language AADL,a system component-based modeling language that can portray systems into disparatesoftware components and hardware components and their The interaction is suitable for modeling complex real-time embedded systems.The stateflow model of the modeled Good Heart Practices finite state machine is transformed into a behavioral model of AADL through semantic mapping.Finally,the real-time,scheduling,security,reliability,and rationality of the system are analyzed and verified.Firstly,the system is subjected to stream delay analysis through AADL's own tool set OSATE.Secondly,AADL Inspector is used to verify and simulate the schedulability of the system.Finally,matlab is used to simulate and verify the best medical code finite state machine with good cardiopulmonary resuscitation.To verify the correctness of its behavioral model,ensure that each level of the system meets the requirements.The above analysis proves that the safety and reliability of the system modeled in this paper meets the requirements.