Collaborative Modeling Power Smart IoT Entity Services based on Extended Timed Automata

Inhalt:
Internet of Things has made great progress and evolved into a smart IoT system in power grid field. There are usually massive terminal entities in a power smart IoT system and these terminal entities has a great impact on the performance of a power smart IoT system. In order to improve the stability and feasibility of a power smart IoT system, the behaviour influence and service pattern of power smart IoT entities should be deeply analyzed and verified before they are put into use. This paper summarizes three types of service pattern about the power smart IoT entities and establishes the models of single atomic services and collaborative atomic service of power smart IoT entities respectively with the theory of extended timed automat. Finally, the practicality of the established models is verified by a case of an indoor smart substation temperature automatic control system and the UPPAAL tool.