부산대학교 도서관

Intelligent diagnosis and treatment service is the core content of hospital Internet of Things. Due to the complexity of the hospital environment, the disregard of the system design leads to the uncertainty of data and the instability of system. Timed automata provides an effective method for formal modeling of Internet of Things systems. Therefore, based on the theory of timed automata, introducing the related concepts such as environmental entities, the interaction between Internet of Things services and external environment and the time attribute of services are fully considered, and a method for modeling and verifying hospital intelligent diagnosis and treatment services under the Internet of Things environment is proposed to improve the stability and reliability of system to ensure its correctness. Firstly, on the basis of discussing common scenes of intelligent diagnosis and treatment in hospitals, the application composition is analyzed, and an intelligent diagnosis and treatment service providing framework based on environment interaction is built. Secondly, based on the formal description of two types of environmental entities, the three atomic services, that is, perception type, control type and processing type are modeled respectively. On this basis, the modeling of composite services is completed based on the timed automata network, so as to build a hospital intelligent diagnosis and treatment service model based on timed automata. Finally, taking the application scenario of hospital intelligent diagnosis room as an example, the effectiveness and feasibility of the above-mentioned modeling method are analyzed, and its timeliness correctness is verified by UPPAAL model detection tool. Practice shows that the method can accurately analyze the model during system design, avoid design errors, reduce design defects, and provide effective support for the implementation of hospital intelligent diagnosis and treatment services in the Internet of Things.