Особенности реализации технологических алгоритмов МПЦ

Программное обеспечение спроектировано по принципу «снизу-вверх». Это позволяет, нормируя и собирая модули на нижнем уровне, создавать более сложную систему на базе уже созданных модулей, поведение которых уже доказано. Такой подход позволит упростить, и снизить расходы на доказательство правильности модулей ПО. Работа модулей основывается только на входных и выходных значениях, что позволяет создавать ПО с более высоким уровнем безопасности за счёт минимизации числа допускаемых ошибок.

Объектами самого низкого уровня в этой системе являются элементы, играющие роль константных значений. Они не производят никаких операций, а всего лишь выдают заданное при компиляции выходное значение. Такое использование позволило, заменяя данные типы модулей, легко модифицировать и настраивать ПО с параметрической точки зрения.

Из множества описанных простых модулей происходит сборка более сложных. При таком процессе конфигурация системы также может быть разной, а значит в большей степени приближенной к реальной модели.

Использование заменяемых блоков позволяет с небольшими затратами, переводить систему в отладочный режим. Причём, доказательства работы системы в отладочном режиме, с некоторыми допущениями, можно использовать как доказательство боевой.

После процесса сборки собранное множество модулей и алгоритмических связей между ними объединяются в один объект. Само объедение достигается различными способом. Используется структурное объединение, когда получаемый модуль имеет более целостное представление и функционирует как один отдельный модуль. И функциональное объединение: модули физически представляют собой различные взаимодействующие между собой элементы, но структурно в объекте они выполняют одну заложенную функцию. Что позволяет производить сборку произвольных объектов, которые смогут удовлетворить потребности любой станции.

Описанные объекты входят в базовое ПО и по мере необходимости могут быть дополнены новыми. Каждый выход такого элемента представляет собой определённое состояние, которое может быть числовым, символьным, логическим и т.д., но в конечном итоге представленным множеством цифровых линий. Состояние определяется целиком самим объектом. Входы и выходы объектов подключаются непосредственно к массивам данных. Эти массивы могут относиться как к исполнительной части устройств сопряжения с объектами, так и к части АРМа. Эти два множества массивов существуют в различных физических областях, и доступ к ним осуществляется либо только сервером и АРМом, либо только сервером и устройствами сопряжения. Массивы данных работают на отдельных нитях, со своим оптимальным приоритетом, конфигурируемым под конкретную станцию.

Механизм обработки значений происходит по событиям. Событием называется любое изменение выходных значений любого из массивов данных. По такому событию обрабатываются все подключённые входы к событийному выходу, и по волновому принципу происходит установка всех значений.