Подключение контроллеров на заводах интернет-услуг имеет целый ряд преимуществ с точки зрения эксплуатации и технического обслуживания. Контроллеры автоматизации, взаимодействующие с централизованными облачными сервисами, могут использоваться не только для классических задач диспетчерского управления и сбора данных SCADA, но и для сервисов, ортогональных по функциональности SCADA. Такие задачи могут включать в себя дополнительную аналитику данных и функциональность, а также дистанционный мониторинг здоровья. Визуализация основана на формальных моделях. В частности, в моделях, выражающих пространственно-временные отношения между объектами. Разработаны различные формализмы пространственно-временных моделей. Больше процессуальных алгебраических подходов может иметь преимущества при исследовании параллелизма. BeSpaceD - это основа пространственно-временного моделирования и рассуждений. Язык для моделирования пространственно-временных систем и представления данных, служит языком, специ