Rozšíření frameworku PatrIoT o modelování náhodných událostí

Abstract

Práce se zabývá rozšířením frameworku pro integrační a end-to-end testování IoT systémů. Specificky se zaměřuje na vytvoření simulace virtuálního prostředí, které ovlivňuje data generovaná senzory a aktuátory, jež tvoří testovací prostředí. Práce se věnuje formalismům pro popis prostorů a metodám pro modelování širokého spektra dějů. Přichází s modulár- ním návrhem obsahujícím třídy pro reprezentaci prostoru, času a dílčích simulací. Jádrem práce je simulátor založený na modelu komunikace publish-subscribe, který propojuje dílčí simulace a umožňuje synchronizaci simulačního času s reálným.This thesis deals with the extension of a framework for integration and end-to-end testing of IoT systems. Specifically, it focuses on creating a simulation of a virtual environment that influences data generated by sensors and actuators, which constitute the testing envi- ronment. The thesis addresses formalisms for describing spaces and methods for modeling a wide range of phenomena. It presents a modular design containing classes for the repre- sentation of space, time, and partial simulations. The core of the work is a simulator based on a publish-subscribe communication model that connects the partial simulations and also allows for the synchronization of simulation time with real time.