Modeling And Application Research Of CPS Based On PTIDES

Cyber-Physical System is the deep integration of computation and physicalprocesses. It has the characteristics of network openness and spatio-temporalconsistency. As Cyber-Physical System (CPS) is widely applied in various fields, theincreasing complexity of systems poses challenges to the whole system modeling.Embedded model PTIDES provides modeling and simulation framework for real-time,parallel distributed embedded system, which is based on the semantics ofdiscrete-event (DE) systems. When executing the system, it can well ensure thereal-time and parallelism. Therefore, the research modeling and application of CPSbased on PTIDES has a very important practical significance.Firstly, the paper outlines the research status and challenges of CPS andembedded system modeling. Then, the system structure and characteristics of CPS isgiven in detail. According to the heterogeneity of CPS, the paper gives the advantageof the mixing system modeling and simulation platform PtolemyⅡ by analyzing thecharacteristics of the existing various of simulation modeling platform. And, all kindsof models of computation is analyzed in the platform. In order to meet therequirements of parallelism and time constraints of CPS system, this paper improvesthe existing PTIDES scheduling strategy and proposes iLSF-PTIDES schedulingstrategy which is a combination of PTIDES semantic and improved least slack firstalgorithm. Then, the paper gives the comparative analysis.Finally, on the basis of analyzing the existing coal mine safety monitoring system,the paper designs the Ventilation and Gas Power Interlocking system based on CPSand completes the model of the gas alarming system, ventilation control subsystem inPtolemyⅡ. The system completes functional logic by component packaging andrealizes the real-time control of complicated system by the control of different modelsof computation. Then, the paper proves its feasibility through the experiment. Systemachieves the control of ventilation system and mechanical equipment through theregulation of gas dynamic processes. Last, the iLSF-PTIDES strategy is applied in themodel and its effectiveness is verified by comparing the execution time of controller.The results show that the improved algorithm has better performance.