Formal Model of the Internet of Things Network

The paper presents the formalization of model of the Internet of Things (IoT) network designed for monitoring technological premises with telecommunications equipment in our science center. The physical implementation of the IoT network includes measuring devices, telecommunications environment, servers for data collection and application software solutions. For the information interaction, the “Publisher-Subscriber” scheme and “Message Queuing Telemetry Transport” (MQTT) protocol are used. An ontology has been created which describes the network architecture. It contains the classes, representing the concepts of the subject area, relations, individuals, data properties, its ranges of change and critical values limiting the attributes of the ontology elements. The ontology describes the IoT network architecture and the properties of devices that collect, transmit, store, and process data. Objects in the ontology have their own digital representation in databases. They contain measurement results, precedents for anomalous behavior of devices, statistical and spectral characteristics of data. The formalization made it possible to identify hidden dependences between objects, relate them to the characteristics of the physical processes controlled by IoT the IoT devices and solve practical problems. An example of the problem of choosing a broker and its settings for modifying the network structure is considered, whose solution is made on the basis of the constructed ontology. #CSOC1120.