Analysis Of Process Integrated With Intelligent Medical Environment Based On Probabilistic Timed Automata

In recent years,the application and practice of Internet of Things technology in medical care has attracted widespread attention.Medical device manufacturers have designed a variety of smart medical systems and produced suitable smart medical devices.These devices and systems can replace many traditional manual works with low error rates and higher efficiency,which can help hospitals improve the efficiency of resource allocation and reduce the waste.Applying smart devices to medical care requires corresponding adjustments,improvements to the original processes,and ensuring the effectiveness and efficiency of the processes.Simulation methods are commonly used in process analysis.In the medical process simulation,it is necessary to simulate the interaction between the patient,medical staff,and medical equipment in the simulated medical environment,and then to analyze the effectiveness,reliability,and efficiency of the medical process after applying the smart medical system.This kind of analysis does not aim at a single medical device or system,but rather a process after the device or system is integrated into the environment.Therefore,the simulation needs to reflect the randomness of the environment and the concurrency of the process.Integrating the Healthcare Enterprise(IHE)has developed a universal health system integration specification for a complex medical environment.The paper mainly focuses on the IHE framework to propose a formal and standardized process modeling and analysis method.First of all,the paper analyzes the problems and the difficulties of process analysis in the context of smart medical care and gives a brief overview of relevant research at home and abroad.Then briefly introduced the basic concepts of the Automaton,as well as extended Time Automata and Probabilistic Time Automata.And the basic concept of IHE and the definition of roles and transactions are introduced.The characteristics of the intelligent medical system flow and the advantages of Probabilistic Timed Automata for modeling its processes are analyzed.And in order to better describe the medical environment,the paper expands related concepts in IHE,and gives the modeling framework of intelligent medical process based on Probabilistic Time Automata,which includes modeling methods for elements such as transactions,roles,and randomness,as well as modeling methods and analysis methods of smart medical processes.In the end,the paper introduces the process of intelligent nursing alarm system of IHE and analyzes the roles of its system medical environment and the behavior patterns of its characters.Then,the paper establishes a model of intelligent care alarm flow based the Probabilistic Time Automaton and gives the way to validate the correctness of the process.Finally,using UPPAAL,the paper models and analyzes the intelligent care process.The results show the potential problems in the process were discovered,and the effectiveness of the analysis method for intelligent medical environment process based on Probabilistic Time Automata was also proved.