Internet-of-things credibility evaluation method based on extended activity sequence diagram model tests

Abstract

The invention discloses an internet-of-things credibility evaluation method based on extended activity sequence diagram model tests, and belongs to the technical field of the internet of things. According to the method, a probability time activity sequence diagram is adopted to intuitively and quantitatively describe operations of the internet of things, the activity sequence diagram is adopted to limit operating scenes of the internet of things, the method of model detection is adopted, and internet-of-things credibility evaluation is implemented. The method is high in automation level, requirements on calculating space are low, the process is clear, and operability and reusability are high. By the aid of the method, theoretical awareness level and actual detecting technology level in the design and operation of the internet of things are raised in the industry, and the method plays an important promoting role in increasing the speed of healthy and sustainable development of the internet of things of the domestic industry.

Description

technical field [0001] The invention relates to the technical field of the Internet of Things, in particular to an evaluation method for the credibility of the Internet of Things based on extended activity sequence diagram model detection. Background technique [0002] The Internet of Things is an information carrier based on the Internet, traditional telecommunication networks, etc., which enables all ordinary physical objects that can be independently addressed to realize interconnection and intercommunication. It has three important features: general object equipment, autonomous terminal interconnection, and pervasive service intelligence. The Internet plus the Internet of Things forms a "smart earth", which is a hot topic in the world. The Internet of Things, known as the next trillion-level communication business, has been regarded as a key area for coping with the international financial crisis and revitalizing the economy by countries all over the world. Grasping th...

AI Technical Summary

Problems solved by technology

First, the requirements for users are relatively high, without special training in mathematics and logic, it is difficult to master the skills of using these logics to describe the nature of the system

Second, formalized logic also has certain limitations in its ability to express system properties.

For this type of system, it is difficult to describe its properties with conventional sequential logic, and it is even difficult to model the system with process algebra, petri nets or automata

Images