CC BY
103
УДК 519.686, 519.876.5
Б01 10.25205/1818-7900-2018-16-4-56-67
С. С. Журавлев, С. В. Рудометов, В. В. Окольнишников, С. Р. Шакиров
Институт вычислительных технологий СО РАН пр. Академика Лаврентьева, 6, Новосибирск, 630090, Россия
[email protected], [email protected], [email protected], [email protected]
ПРИМЕНЕНИЕ МОДЕЛЬНО-ОРИЕНТИРОВАННОГО ПРОЕКТИРОВАНИЯ К СОЗДАНИЮ АСУ ТП ОПАСНЫХ ПРОМЫШЛЕННЫХ ОБЪЕКТОВ *
Представлена реализация подхода «модельно-ориентированного проектирования» для решения задачи создания автоматизированных систем управления технологическими процессами (АСУ ТП) горнодобывающих предприятий.
Подход «модельно-ориентированного проектирования» заключается в организации контура тестирования, в котором испытуемый объект функционирует в среде, идентичной реальному процессу по входным сигналам. Подход основан на использовании математических моделей, имитирующих протекание технологического процесса под управлением АСУ ТП. Математические модели используются для формирования наборов тестовых данных.
Разработан имитационный программно-аппаратный комплекс. Основными частями комплекса являются: рабочая станция оператора БСЛБЛ, рабочая станция оператора модели, среда передачи данных, блок формирования физических сигналов, блок дублирования физических сигналов и программируемые логические контроллеры АСУ ТП. В качестве среды имитационного моделирования применена система МТББ.
Предложен и реализован вариант развития способа НаМ^ае-т-Ше-Ьор, обеспечивающего создание совместимых компонентов систем автоматизации.
Приведено описание методики тестирования АСУ ТП. Данная методика успешно применена для разработки, отладки и тестирования АСКУ ТО М (Автоматизированная система контроля и управления технологическим объектом во взрывозащищенном исполнении).
Ключевые слова: модельно-ориентированное проектирование, автоматизированная система управления технологическими процессами, промышленные системы управления, тестирование, прикладное программное обеспечение.
Введение
Создание автоматизированных систем управления технологическими процессами для опасных промышленных объектов требует не только строгого соблюдения стандартов в этой области, но и принятия дополнительных мер со стороны изготовителя для обеспечения повышенной надежности систем \ Ошибки, допущенные на этапе проектирования системы и разработки прикладного программного обеспечения, могут приводить: на этапах пуско-наладки и опытной эксплуатации к увеличению сроков и стоимости ввода системы автоматизации в работу; на этапе эксплуатации к возникновению нештатных и аварийных ситуаций.
* Работа выполнена при частичной поддержке РФФИ (проект № 16-07-01179).
1 О промышленной безопасности опасных производственных объектов // Федеральный закон № 116-ФЗ от 21.07.1997 (с изм. и доп. от 07.03.2017); Приказ федеральной службы по экологическому, технологическому и атомному надзору от 19 ноября 2013 г. № 550 «Об утверждении Федеральных норм и правил в области промышленной безопасности «Правила безопасности в угольных шахтах» (с изм. от 8.08.2017)».
Журавлев С. С., Рудометов С. В., Окольнишников В. В., Шакиров С. Р. Применение модельно-ориентированного проектирования к созданию АСУ ТП опасных промышленных объектов // Вестн. НГУ. Серия: Информационные технологии. 2018. Т. 16, № 4. С. 56-67.
ISSN 1818-7900. Вестник НГУ. Серия: Информационные технологии. 2018. Том 16, № 4 © С. С. Журавлев, С. В. Рудометов, В. В. Окольнишников, С. Р. Шакиров, 2018
В связи с этим возникает задача проверки надежности прикладного программного обеспечения АСУ ТП на предприятии изготовителе на всех этапах разработки. Это позволяет: повысить безотказность системы и, соответственно, безопасность технологического процесса; снизить расходы на пуско-наладку и опытно-промышленную эксплуатацию; упростить сопровождение, модернизацию и оптимизацию прикладного программного обеспечения.
Подход МОП
Для тестирования прикладного программного обеспечения на всех этапах создания систем применяют подход МОП (модельно-ориентированное проектирование, англ.: modelbased design approach) 2, который основан на использовании моделей проектируемой системы и модели контролируемого процесса [1; 2]. Эти модели являются спецификацией проектируемой системы, которая актуализируется во время выполнения разработки. Данная спецификация позволяет выполнить анализ корректности и возможности выполнения требований
3
посредством моделирования .
Применение подхода МОП обеспечивает повышение надежности создаваемых программных, аппаратных и программно-аппаратных систем 4. Появлению этого подхода предшествовали этапы становления общей теории систем, создание CASE (Computer-Aided Software Engineering) - совокупность средств автоматизации разработки программного обеспечения, разработка языка UML (Unified Modeling Language) в 1990-х гг., обеспечивающего проектирование систем на разных уровнях абстракций и появление в 2001 г. MDA (Model Driven Architecture) 5.
Подход МОП основан на применении концепции «in-the-loop testing» [2]. Существуют следующие основные способы тестирования на базе подхода МОП 6, в которых в качестве объекта тестирования может выступать: модель - Model-in-the-loop (MiL), программное обеспечение - Software-in-the-loop (SiL), прототип устройства - Processor-in-the-loop (PiL), готовое устройство - Hardware-in-the-loop (HiL). В способе HiL используется система целиком или ее компонент (данный способ применяется для организации приемочных тестов оборудования). Как правило, подход МОП используется совместно с «V-подходом» разработки программного обеспечения 7.
Подход МОП получил широкое распространение, особенно в сфере автоматизации, его применяют известные во всем мире компании: Ford 8, Tesla 9, Festo 10 и др. Также подход МОП или его элементы (MiL, SiL, PiL, HiL, отдельно или совместно в разных комбинациях) активно применяется исследователями, например, в разработке генератора случайных чисел [3]; одновременном применении способов SiL и HiL для разработки программного обеспечения манипуляторов для роботов [4]; моделировании канала связи командно-измерительной
2 Erkkinen T., Conrad M. Verication, Validation, and Test with Model-Based Design. 2008. URL: https://www. mathworks.com/tagteam/53246_COMVEC%2008%20-%20VVnT%20with%20MBD.pdf (дата обращения 17.03.2018). DOI 10.4271/2008-01-2709
3 Ефремов А. А., Сорокин С. С., Зенков С. М. Модельно-ориентированное проектирование - международный стандарт инженерных разработок. 2018. URL: https://matlab.ru/upload/resources/EDU%20Conf/pp%2040-43%20 Sorokin.pdf (дата обращения 30.07.2018).
4 Murphy B., Wakefield A. Early verification and validation using model-based design. The MathWorks. 2009. URL: https://www.edn.com/design/integrated-circuit-design/4313371/Early-verification-and-validation-using-model-based-design (дата обращения 28.07.18).
5 Object Management Group (OMG). Model Driven Architecture. 2018. URL: http://www.omg.org/mda/ (дата обращения 30.07.2018).
6 Maibaum O. Comparsion ofApproaches to the Test of Control Unit Software. 2007. URL: http://elib.dlr.de/ 46744/1/ics_maibaum.pdf (дата обращения 14.09.2018).
7 Donald Firesmith. Using V Models for Testing. Carnegie Mellon University Software Engineering Institute. URL: https://insights.sei.cmu.edu/sei_blog/2013/11/using-v-models-for-testing.html (дата обращения 30.07.2018).
8 Ranville S., Black P. Automated Testing Requirements - Automotive Perspective. The Second Int. Workshop on Automated Program Analysis, Testing and Verification, 2001. URL: http://hissa.nist.gov/~black/Papers/autoTestReqs WAPATV.rtf (дата обращения 30.07.2018).
9 Использование модельно-ориентированного проектирования для разработки родстера от Tesla. URL: https:// matlab.ru/success-story/tesla (дата обращения 01.08.2018).
10 Festo использует Модельно-Ориентированное Проектирование в разработке инновационных манипуляторов. URL: https://matlab.ru/success-story/festo (дата обращения 01.08.2018).
системы космического аппарата [5]; модельно-ориентированном проектировании системы автоматического управления температурой с циркуляцией промежуточного теплоносителя [6]; разработке системы управления электроприводом на основе метода модельно-ориентиро-ванного программирования [7]; быстром прототипировании систем управления как части модельно-ориентированной разработки теплового насоса сушилки [8]; управлении встроенной моделью в полунатурном моделировании для индустриальных беспроводных сетей предприятий с применением WirelessHART стандарта [9], разработке сервиса задания сценариев предъявления стимулов с использованием модельно-ориентированного подхода [10] и др.
Развитие подхода МОП
В Институте вычислительных технологий СО РАН (ИВТ СО РАН) разрабатываются автоматизированные системы управления технологическими процессами для шахт, рудников, объектов нефтегазовой отрасли и др. [11].
Функционально системы автоматизации, создаваемые в институте [12] для объектов горнодобывающей отрасли, можно разделить на две части - подземную (нижний уровень), обеспечивающую контроль, управление и сбор информации от различных технологических объектов шахты, и наземную (верхний уровень), выполняющую функции центрального вычислительного комплекса и рабочего места диспетчера. С развитием систем автоматизации в ИВТ СО РАН [12-14] на контроллеры АСУ ТП стали возлагаться все более сложные алгоритмические и функциональные задачи. Разработка новой системы автоматизации, в которую планируется включить компоненты, разработанные ранее для других систем или функционирующие на объекте, требует проведения проверки совместимости компонентов в рамках созданной единой системы автоматизации.
Интеграция новой системы автоматизации или ее компонентов требует внесения изменений в программное или аппаратное обеспечение существующей АСУ ТП, что во время пус-ко-наладочных работ на объекте замедляет процесс внедрения этих систем, а также может привести к аварийным ситуациям. В связи с этим на этапе проверки АСУ ТП необходимы не только отладка и тестирование, но и контроль совместимости созданных компонентов системы автоматизации с компонентами других версий и исполнений, функционирующих на действующем объекте.
Имитационный программно-аппаратный комплекс
Разработка систем автоматизации требует выполнения тестов и проверок уже на этапе проектирования и разработки элементов системы. Выявленные на этих этапах недочеты и ошибки могут быть исправлены с минимальными дополнительными затратами. Сложность комплексной отладки и тестирования программ управления АСУ ТП заключается в трудоемкости искусственного формирования полного набора согласованных сигналов технологического оборудования.
Для разработки, отладки и тестирования прикладного программного обеспечения АСУ ТП применяют такие средства, как программные и физические имитаторы сигналов и интерфейсов. Но более эффективно применять специализированные комплексы, содержащие в своей структуре проблемно-ориентированные математические модели автоматизируемых технологических процессов, обеспечивающих согласованную генерацию сигналов датчиков и управляющих сигналов.
Существуют различные специализированные комплексы, например: имитационная модель гидроагрегата для тестирования АСУ ТП [15], тренажерно-управляющий программно-технический комплекс для объектов химической технологии [16], стенд для отладки ПО бортовой авиационной аппаратуры [17], продукт xPC Target - Matlab п, продукт WinMOD 12
11 xPC Target. 2017. URL: http://matlab.ru/products/xpc-target (дата обращения 27.01.2017).
12 WinMOD system platform. Hennigsdorf: Mewes & Partner GmbH. 1995. URL: http://winmod.com (дата обращения 10.03.2015).
и др. К специализированным комплексам относится и разработка ИВТ СО РАН - имитационный программно-аппаратный комплекс для тестирования прикладного программного обеспечения АСУ ТП шахт и рудников [18]. Комплекс осуществляет тестирование программ управления прикладного программного обеспечения по принципу замещения реальных сигналов от датчиков существующего технологического оборудования и диспетчерских команд управления на виртуальные сигналы, сформированные на основе моделируемых параметров технологического оборудования.
Комплекс имеет двухуровневую структуру, содержащую программный и аппаратный уровни. Внешний вид комплекса изображен на рис. 1. Программный уровень содержит: SCADA (от англ. Supervisory Control And Data Acquisition - диспетчерское управление и сбор данных) систему БЛАКАРТ [19], среду имитационного моделирования MTSS [20], менеджер связи, модели технологических процессов, модели технологического оборудования, программы управления АСУ ТП.
Рис. 1. Внешний вид имитационного программно-аппаратного комплекса
Аппаратный уровень комплекса содержит: рабочую станцию оператора модели, рабочую станцию оператора SCADA, среду передачи данных, блок формирования физических сигналов и оборудование АСУ ТП (контроллеры, устройства ввода и вывода сигналов, датчики и т. п.). Блок формирования физических сигналов генерирует на основе модельных данных соответствующие аналоговые или дискретные электрические сигналы.
Имитационная модель учитывает особенности предметной области, а именно: параметры технологического оборудования и его составных частей (насосов, двигателей и т. п.), проектные данные о конфигурации технологического оборудования (настройки и уставки, набор датчиков и сигналов управления), параметры реальных технологических процессов.
Процесс разработки модели технологического оборудования (МТО) для среды моделирования MTSS заключается в создании концептуальной модели и ее переводе в машинное представление, а именно набор Java классов.
В общем виде МТО представлена набором множеств (взаимосвязь между ними изображена на рис. 2):
MTO = {SUBM, KTO, KACS, PIC, PORT, PARAM, VAR, M, COM, SIG, MS, I, STAT},
где MTO - объект, представляющей собой модель технологического оборудования с интегрированным прикладным программным обеспечением АСУ ТП; SUBM - набор моделей составных частей технологического оборудования (например, двигатель, редуктор и гидромуфта приводной станции конвейера и т. п.), детализирующий функционирование моделируемого объекта; KTO - алгоритм функционирования технологического оборудования, представляющий собой конечный автомат, описывающий состояния, в которых МТО может находиться в процессе имитации, KACS - конечный автомат программы управления АСУ ТП; PIC - условное графическое обозначение МТО; PORT - входные и выходные порты (каналы передачи данных, имеющие графическую часть на условном графическом обозначении модели), связывающую данную модель с другими МТО, входящими в имитационную модель системы; PARAM - параметры моделируемого объекта; VAR - переменные состояния объекта; M - математическое описание зависимостей между переменными и параметрами моделируемого объекта; COM - список команд управления технологическим оборудованием, при выполнении которых МТО переходит из одного состояния в другое, и сигналов управления составными частями технологического оборудования (например, двигатель приводной станции конвейера); SIG - хранилище сигналов датчиков и команд управления; MS - модели аналоговых датчиков, выполняющие функцию преобразования модельных сигналов к сигналам датчиков; I - интерфейсная часть, обеспечивающая взаимодействие между МТО и интерфейсной частью комплекса, где выполняется формирование цифровых тестовых сигналов в соответствии с конфигурацией АСУ ТП; STAT - интерфейс сбора статистики о функционировании МТО.
Рис. 2. Взаимосвязь между элементами структуры МТО
Значения сигналов датчиков формируются в процессе взаимодействия блоков конечных автоматов, описывающих алгоритмы функционирования технологического оборудования и АСУ ТП, и математического описания взаимосвязей между параметрами и переменными. Физические сигналы формируются алгоритмом интерфейсной части МТО, обеспечивающим сопряжение между моделью и преобразователями блока формирования физических сигналов. Этот алгоритм преобразует виртуальное значение переменной (например, скорость конвейерной ленты) из физической величины в кодовое значение, нормированное в диапазон значений датчика. Нормированное значение впоследствии преобразуется соответствующим преобразователем в физический сигнал, поступающий на вход тестируемой АСУ ТП.
Основная задача имитационного программно-аппаратного комплекса - это создание среды функционирования контроллеров полностью идентичной реальной по внешним сигналам.
Это достигается путем замены сигналов датчиков технологического оборудования на физические аналоги, численные значения которых формируются имитационной моделью.
Тестирование осуществляется подачей последовательности сигналов с заданными порядком, временными задержками, длительностями и амплитудами. Тестовую последовательность можно формализовать выражением
T = {S,, C, т,},
где Ti - i-я тестовая последовательность сигналов; Si - i-е множество состояний сигналов датчиков; C{ - i-е множество команд управления; т, - длительность i-го состояния; i - порядковый номер тестового набора данных, в котором i = 0...n; n - количество тестовых наборов данных; Ti=0 - набор сигналов, задающий начальное состояние системы, Г=1 - наборы сигналов, приводящие систему к тестовому состоянию, Ti=n - набор сигналов на входе системы, находящейся в тестовом состоянии.
Адекватность сгенерированной тестовой последовательности сигналов обусловливается точностью формирования этого набора сигналов и его временных параметров. Точность формирования сигналов определяется погрешностью вычисления виртуальных сигналов, преобразованием значений виртуальных сигналов в код, преобразованием кода в реальный сигнал в соответствующем блоке формирования физических сигналов и влиянием схемы коммутации комплекса и контроллера АСУ ТП. Применительно к токовому сигналу 0-20 мА, относительная погрешность генерации тестового сигнала составила не более 2 %. Точность задания временных параметров важна с точки зрения выполняемых проверок АСУ ТП, которые в рассматриваемой предметной области сводятся к контролю пороговых значений (например, для параметра «время разгона конвейера» необходимо задавать значения задержки меньше и больше уставки).
Описанный выше комплекс применяется в ИВТ СО РАН при тестировании прикладного программного обеспечения систем автоматизации угольных шахт.
На созданном комплексе поставленная в статье задача была решена путем модификации способа HiL. Способ HiL 13 заключается в автономном тестировании оборудования АСУ ТП сигналами, числовые значения которых формируются с использованием математической модели, а преобразование модельных сигналов в физические осуществляется соответствующими преобразователями [21].
Способ модифицирован таким образом, что для тестирования контроллера наряду с математической моделью используется параллельно подключенный контроллер другой версии или модели. Это позволяет выполнить проверку и добиться идентичного функционирования тестируемого и эталонного контроллеров на одних и тех же входных сигналах и командах управления. На рис. 3 приведена схема усовершенствованного имитационного программно-аппаратного комплекса.
Модель системы генерирует виртуальные сигналы, которые поступают в блок формирования физических сигналов по интерфейсу RS-485 в формате строкового протокола. Блок, в свою очередь, формирует электрические аналоги сигналов датчиков и преобразует в цифровую форму сигналы управления тестируемого оборудования. Модуль дублирования физических сигналов обеспечивает дублирование сигналов аналоговых и дискретных датчиков. После чего сигналы датчиков синхронно подаются в Контроллер 1 (тестируемый) и Контроллер 2 (эталонный). Управляющие команды верхнего уровня АСУ ТП передаются в контроллеры через интерфейс RS-485 по протоколу Modbus. Преобразованные в цифровую форму сигналы управления передаются в модель системы, где в специализированном модуле осуществляется сравнение сигналов от Контроллера 1 и Контроллера 2, который в данном случае играет роль эталонного. Модель технологического процесса интерпретирует сигналы управления, полученные от тестируемого контроллера (Контроллер 1).
13 Anders Frederiksen. Model-Based Design of Advanced Motor Control System. Analog Devices, Inc. Technical Article, MS-2577. 2017. URL: http://www.analog.com/media/en/technical-documentation/technical-articles/Model-Based-Design-of-Advanced-Motor-Control-Systems-MS-2577.pdf (дата обращения 19.07.2018).
Рис. 3. Модифицированная структура комплекса, развивающая подход МОП
В отличие от классической реализации И1Ь в данной схеме добавлены модули дублирования физических сигналов и модуль сравнения управляющих воздействий, формируемых тестируемым и эталонным контроллерами.
Анализ идентичности функциональных возможностей контроллеров состоит из следующих шагов: запуск имитационной модели, генерирующей управляющие команды для контроллеров и сигналы датчиков; формирование управляющих сигналов, которые поступают непосредственно в контроллеры, и сигналов датчиков, которые дублируются и после этого поступают в контроллеры; сопоставление управляющих сигналов контроллеров в модуле сравнения управляющих воздействий. При идентичных входных воздействиях и различных выходных управляющих сигналах фиксируется ошибочная ситуация.
Осуществляется дублирование дискретных (кабель-троссовый выключатель, контроль схода ленты, устройство автоматического пожаротушения и т. п.) и аналоговых (датчик скорости ленты или барабана, датчик температуры, датчик заштыбовки и т. п.) сигналов. Реализовано дублирование частотных и токовых сигналов.
Методика применения
имитационного программно-аппаратного комплекса
Проверки при создании АСУ ТП делятся на несколько этапов, соответствующих стадиям проектирования АСУ ТП 14: контроль проектных данных, отладка прототипов программно-аппаратных средств на уровне разработчика, первичное тестирование (крупномасштабное), приемочное тестирование (проверка серийного образца перед выпуском продукции), пуско-наладочные работы, опытно-промышленная эксплуатация. Стадии создания АСУ ТП - проектирование, разработка, отладка и тестирование включают в себя создание модели функционирования системы автоматизации и модели технологического процесса, выполнение отладки и первичных тестов опытных образцов оборудования.
Контроль проектных данных - это проверка перед началом разработки прототипа на соответствие описания программно-аппаратных средств требованиям задачи - достаточна ли функциональность для выполнения задач автоматизации, корректно ли заданы параметры сигналов, корректно ли сформулированы требования для выполнения первичного и приемочного тестирований и др.
14 ГОСТ 34.601-90 Комплекс стандартов на автоматизированные системы. Автоматизированные системы. Стадии создания. Дата введения 01.01.1992.
Отладка прототипов программно-аппаратных средств на уровне разработчика осуществляется с помощью локальных тестов, нацеленных на проверку корректности алгоритма управления.
Первичное тестирование (крупномасштабное) осуществляется в соответствии с разработанной программой и методикой испытаний. Выявленные ошибки или недочеты устраняются, и проводится повторное испытание.
Программа и методика испытаний разработана в соответствии с требованиями нормативных стандартов 15 и учетом условий эксплуатации АСУ ТП. Созданный документ регламентирует содержание тестовых испытаний и содержит следующие основные пункты.
1. Общесистемное тестирование, включающее проверку цепей электропитания, прохождения отдельных сигналов, исправное функционирование информационных линий, корректную работу индикации.
2. Проверка карты регистров протокола МОБВ^ [22], в том числе корректное отображение данных у диспетчера 8САБА.
3. Контроль выполнения команд, заданных локально (с пульта контроллера) и удаленно (со 8САБА или модели).
4. Контроль корректной идентификации контроллером состояний дискретных и аналоговых сигналов в каждом режиме работы, формирования соответствующих выходных управляющих сигналов и соответствующей записи состояния контроллера в карту МОБВИ8.
5. Проверка технологических ситуаций и достижимость состояний контроллера, включающая контроль типовых ситуаций (например, пуск и останов конвейера), контроль уставок контроллера (затянувшиеся разгон и торможение, пробуксовка, минимальная и максимальная скорости и др.), подача нештатных (например, сброс датчиков контроля двигателя и тормоза, разрешающего сигнала от предыдущего конвейера и др.) и некорректных сигналов (например, при рабочем значении скорости ленты заданы нулевые показания датчика скорости приводного барабана).
6. Проверка циклической подачей тестовых наборов сигналов в разных режимах и состояниях контроллера.
7. Тестирование интерфейса пользователя.
8. Технологический прогон (72 часа).
Приемочное тестирование направлено на контрольную проверку серийных изделий перед выпуском продукции, выявление сбоев программного обеспечения, вызванных причинами, не зависящими от разработчиков. Такие тесты в рамках текущей работы выполняются по сокращенной программе, содержащей пункты 1, 3, 4 и 8 разработанной методики.
По разработанной программе и методике испытаний проводилось тестирование совместимости созданной системы АСКУ ТО М (Автоматизированная система контроля и управления технологическим объектом во взрывозащищенном исполнении) и АСКУ ТО 2 (Автоматизированная система контроля и управления технологическим оборудованием).
В рамках работ по созданию автоматизированной системы конвейерной линии шахты Грамотеинская выявлено более 30 ошибок и замечаний к созданному прикладному программному обеспечению АСУ ТП. Выявленные ошибки в прикладном программном обеспечении исправлены до начала пуско-наладочных работ на объекте.
Заключение
Подход МОП получил широкое распространение, особенно в сфере автоматизации. Наиболее часто он применяется для узкоспециализированных задач, таких как стендовые испытания, верификация программного обеспечения, проектирование алгоритмов и др.
Применение совокупности классических способов разработки, отладки и тестирования (М1Ь, 81Ь, Р1Ь и Н1Ь) подхода МОП наиболее эффективно для крупномасштабных систем. Такой вариант комплексного применения подхода МОП в основном используется крупными предприятиями.
15 ГОСТ 19.301-79 Единая система программной документации. Программа и методика испытаний. Требования к содержанию и оформлению (с изм. № 1, 2) от 01.01.1981.
Применение подхода МОП позволяет упростить контроль над созданием программно-аппаратных систем на протяжении всего жизненного цикла разработки. Это сокращает время выпуска новой продукции, повышает ее качество и безопасность.
Предложен вариант развития способа HiL, позволяющий выполнять не только проверку создаваемых систем на наличие ошибок проектирования и разработки, но также обеспечить контроль совместимости компонентов двух разных систем одинакового назначения.
Программы тестов, входящих в созданную методику, разработаны с учетом охвата типовых технологических ситуаций при функционировании АСУ ТП, обеспечивая этим полноту тестирования контроллера.
Наиболее значительной по влиянию на безопасность АСУ ТП является проверка достижимости состояний контроллера, так как она позволяет выяснить, все ли состояния и переходы между ними заданы корректно.
Созданный комплекс с модифицированной структурой применен при разработке и тестировании системы АСКУ ТО М. Контроллеры нового поколения внедрены в состав действующей системы АСКУ ТО 2 и успешно эксплуатируются на шахте Грамотеинская.
Применение функции дублирования также позволяет при соответствующем расширении аппаратной части комплекса обеспечить серийное тестирование нескольких контроллеров АСУ ТП, что, в свою очередь, ускорит выполнение приемочных тестов.
Список литературы
1. Деменков Н. П. Модельно-ориентированное проектирование систем управления // Промышленные АСУ и контроллеры. 2008. № 11. С. 66-69.
2. Ryssel U., Ploennigs J., Kabitzsch K., Folie M. Generative Design of Hardware-in-the-Loop Models // APGES'07. Salzburg, Austria, 2007. P. 4-11.
3. Бартенев В., Бартенева А. Модельно-ориентированное проектирование генератора случайных чисел // Современная электроника, 2014. № 2. С. 64-67.
4. Mossaad Ben Ayed, Lilia Zouari, Mohamed Abid. Software in the Loop Simulation for Robot Manipulators // Engineering, Technology & Applied Science Research. 2017. Vol. 7. No. 5. P.2017-2021.
5. Арыков С. Б., Судьбин А. А., Шатров В. А., Рябушкин С. А., Вильданов А. И. Моделирование канала связи командно-измерительной системы космического аппарата // Решетнев-ские чтения, 2015. Т. 2, № 19. С. 203-205.
6. Щербина Ю. В. Модельно-ориентированное проектирование системы автоматического управления температурой с циркуляцией промежуточного теплоносителя // Cloud of Science. 2015. Т. 2, № 4. С. 562-576.
7. Полющенков И. С. Разработка системы управления электропривода на основе метода модельно-ориентированного программирования // Вестник МЭИ. 2016. № 6. С. 87-95.
8. Jens Holtkötter, Jan Michael, Christian Henke, Ansgar Trächtler, Marcos Bockholt, Andreas Möhlenkamp, Michael Katter. Rapid-Control-Prototyping as part of Model-Based Development of Heat Pump Dryers // Procedia Manufacturing. 4th International Conference on System-Integrated Intelligence: Intelligent, Flexible and Connected Systems in Products and Production. 2018. Vol. 24. P. 235-242.
9. Chung Duc Tran, Rosdiazli Ibrahim, Vijanth Sagayan Asirvadam, Nordin Saad, Hassan Sabo Miya. Internal model control for industrial wireless plant using WirelessHART hardware-in-the-loop simulator // ISA Transactions. 2018. Vol. 75. P. 236-246.
10. Брак И. В., Сазонова Ю. И. Разработка сервиса задания сценариев предъявления стимулов с использованием модельно-ориентированного подхода // Вестн. НГУ. Серия: Информационные технологии. 2018. Т. 16, № 2. С. 31-40.
11. Голушко С. К., Меркулов И. В., Михальцов Э. Г., Чейдо Г. П., Шакиров Р. А., Шаки-ров С. Р. Индустриальные информационно-управляющие системы: от проектирования и разработки до практической реализации // Вычислительные технологии. 2013. Спец. вып. Т. 18. С. 4-11.
12. Благодарный А. И., Гусев О. З., Журавлев С. С., Золотухин Е. П., Каратышева Л. С., Колодей В. В., Михальцов Э. Г., Чейдо, Г. П., Шакиров Р. А., Шакиров С. Р. Автоматизиро-
ванная система контроля и управления ленточными конвейерами на угольных шахтах // Горная промышленность. 2008. № 5 (81). С. 38-44.
13. Патент на полезную модель № 100669 Российская Федерация, МПК7 H01H3/00. Пульт группового управления для работы в условиях подземной выработки угля / Гусев О. З., Иванов А. Е., Лесков С. К., Нарымский Б. В., Меркулов И. В., Шакиров Р. А.; заявитель и патентообладатель КТИ ВТ СО РАН. № 2010130020/07; заявл. 19.07.2010; опубл. 20.12.2010. Бюл. № 35. 1 с.
14. Патент на полезную модель № 133951 Российская Федерация, МПК7 G06F 9/00, G05B 19/00. Блок контроля и управления в условиях опасного производства / Гусев О. З., Ко-лодей В. В., Мамаев А. С., Михальцов Э. Г., Шакиров С. Р.; заявитель и патентообладатель КТИ ВТ СО РАН. № 2013126010/08; заявл. 05.06.2013; опубл. 27.10.2013. Бюл. № 30. 1 с.
15. Захарченко В. Е. Имитационная модель гидроагрегата для тестирования алгоритмов АСУ ТП // Автоматизация в промышленности. 2007. № 7. C. 37-40.
16. Сухарев А. В., Головушкин Б. А., Лабутин А. Н., Ерофеева Е. В. Тренажерно-управ-ляющий программно-технический комплекс для объектов химической технологии // Автоматизация в промышленности. 2011. № 7. C. 25-28.
17. Бабаян Р. Р., Осипов А. Б. Стенд для отладки ПО бортовой авиационной аппаратуры // Автоматизация в промышленности. 2013. № 5. C. 55-56.
18. Журавлев С. С. Программно-аппаратный комплекс для тестирования программ управления АСУ ТП шахт и рудников // Вычислительные технологии. 2013. Спец. вып. Т. 18. С.150-155.
19. Благодарный А. И. Универсальная SCADA-система БЛАКАРТ под управлением операционной системы QNX // Проблемы информатики. 2009. № 3. С. 62-67.
20. Рудометов С. В. Визуально-интерактивная система имитационного моделирования технологических систем // Вестн. СибГУТИ. 2011. № 3. С. 14-27.
21. Tatiana Kelemenová, Michal Kelemen, Lubica Miková, Vladislav Maxim, Erik Prada, Tomás Lipták, Frantisek Menda. Model Based Design and HIL Simulations // American Journal of Mechanical Engineering. 2013. Vol. 1. No. 7. P. 276-281. DOI 10.12691/ajme-1-7-25
22. Томас Дж. Введение в протокол Modbus. Часть 1 // СТА. 2009. № 2. С. 52-57.
Материал поступил в редколлегию 06.09.2017
S. S. Zhuravlev, S. V. Rudometov, V. V. Okolnishnikov, S. R. Shakirov
Institute of Computational Technologies SB RAS 6Academician Lavrentiev Ave., Novosibirsk, 630090, Russian Federation
[email protected], [email protected], [email protected], [email protected]
MODEL-BASED DESIGN APPROACH FOR DEVELOPMENT PROCESS CONTROL SYSTEMS OF HAZARDOUS INDUSTRIAL FACILITIES
The implementation of the "model-oriented design" approach for solving the problem of creating process control systems of mining enterprises is presented.
The "model-oriented design" approach is to organize a test loop in which the test object functions in an environment identical to the actual process, in terms of input signals. The approach is based on the use of mathematical models that simulate the functioning of the technological process under the control of the process control system. Mathematical models are used to form sets of test data.
A simulation software and hardware complex was developed. The main parts of the complex are: SCADA operator workstation, model operator workstation, data transmission layer, physical signal generation unit, physical signal duplication unit and programmable logic controllers of the process control system. As a simulation environment, the MTSS system is used.
A variant of the development of the Hardware-in-the-loop method, which provides the creation of compatible components of automation systems, is proposed and implemented.
The description of the method of testing the process control system is given. This technique has been successfully applied to the development, debugging and testing of the automated system for monitoring and controlling a technological object in explosion-proof design.
Keywords: model-based design, process control system, industrial control system, testing, application software.
References
1. Demenkov N. P. Model-based design of control systems. Industrial AСS and controllers, 2008, No. 11, P. 66-69. (in Russ.)
2. Ryssel U., Ploennigs J., Kabitzsch K., Folie M. Generative Design of Hardware-in-the-Loop Models. APGES'07, Salzburg, Austria, 2007, p. 4-11.
3. Bartenev V., Barteneva A. Model-based design of random number generator. Modern electronics, 2014, no. 2, p. 64-67. (in Russ.)
4. Mossaad Ben Ayed, Lilia Zouari, Mohamed Abid. Software In the Loop Simulation for Robot Manipulators. Engineering, Technology & Applied Science Research, 2017, vol. 7, no. 5, p.2017-2021.
5. Arikov S. B., Sudbin A. A., Shatrov V. A., Ryabushkin S. A., Vildanov A. I. Modeling of the communication channel for command-measuring systems of the spacecraft. Reshetnevs reads, 2015, vol. 2, no. 19, p. 203-205. (in Russ.)
6. Shcherbina Y. V. Model-based design of system of automatic control of the temperature of the circulating intermediate heat transfer. Cloud of science, 2015, vol. 2, no. 4, p. 562-576. (in Russ.)
7. Palyshenkov I. S. Development of control system of electric drive on the basis of model-oriented programming. VestnikMEI, 2016, no. 6, p. 87-95. (in Russ.)
8. Jens Holtkotter, Jan Michael, Christian Henke, Ansgar Trachtler, Marcos Bockholt, Andreas Mohlenkamp, Michael Katter. Rapid-Control-Prototyping as part of Model-Based Development of Heat Pump Dryers. Procedia Manufacturing. 4th International Conference on System-Integrated Intelligence: Intelligent, Flexible and Connected Systems in Products and Production, 2018, vol. 24, p. 235-242.
9. Chung Duc Tran, Rosdiazli Ibrahim, Vijanth Sagayan Asirvadam, Nordin Saad, Hassan Sabo Miya. Internal model control for industrial wireless plant using WirelessHART hardware-in-the-loop simulator. ISA Transactions, 2018, vol. 75, p. 236-246.
10. Brak I. V., Sazonova Y. I. Development of the service of the task scenarios the presentation of stimuli using a model-based approach. Vestnik NSU. Series: Information Technologies, 2018, vol. 16, no. 2, p. 31-40. (in Russ.)
11. Golushko S. K., Merkulov I. V., Mikhaltsov E. G., Cheido G. P., Shakirov R. A., Shakirov S. R. Industrial information and control systems: from design and development to practical realization. Computational technologies, 2013, special issue, vol. 18, p. 4-11. (in Russ.)
12. Blagodarniy A. I., Gusev O. Z., Zhuravlev S. S., Zolotukhin E. P., Karatysheva L. S., Kolodey V. V., Mikhaltsov E. G., Cheido G. P., Shakirov R. A., Shakirov S. R. Automated system for monitoring and control of belt conveyors in coal mines. Mining, 2008, no. 5 (81), p. 38-44. (in Russ.)
13. The patent for useful model No. 100669 Russian Federation, IPC7 H01H3/00. Remote group control to work in the conditions of the underground workings of the coal / Gusev O. Z., Ivanov A. E., Leskov K. S., Narymskiy B. V., Merkulov I. V., Shakirov R. A.; applicant and patentee, DTI CT SB RAS. No. 2010130020/07; appl. 19.07.2010; publ. 20.12.2010, bul. no. 35, 1 p. (in Russ.)
14. The patent for useful model No. 133951 Russian Federation, IPC7 G06F 9/00, G05B 19/00. Unit monitoring and control in hazardous production / Gusev O. Z., Kolodey V. V., Mamaev A. S., Mihalov E. G., Shakirov S. R.; applicant and patent holder, DTI CT SB RAS. No. 2013126010/08; appl. 05.06.2013; publ. 27.10.2013, bul. no. 30, 1 p. (in Russ.)
15. Zakharchenko V. E. Simulation model of hydraulic unit for testing of ACS TP algorithms. Automation in industry, 2007, no. 7, p. 37-40. (in Russ.)
ripMM6H6HM6 MOflenbHQ-opËeHTËpoBaHHoro npoeKTnpoBaHHsi k co3flaHHio ACV Tn
67
16. Sukharev A. V., Golovushkin B. A., Labutin A. N., Erofeeva E. V. Simulation and control software and hardware for chemical technology objects. Automation in industry, 2011, No. 7, p. 2528. (in Russ.)
17. Babayan R. R., Osipov A. B. Stand for debugging on-board software of aviation equipment. Automation in industry, 2013, no. 5, p. 55-56. (in Russ.)
18. Zhuravlev S. S. Software and hardware complex for testing of control programs of ACS TP of mines. Computational technologies, 2013, special issue, vol. 18, p. 150-155. (in Russ.)
19. Blagodarniy A. I. Universal SCADA system BLAKART running under QNX operating system. Problems of Informatics, 2009, no. 3, p. 62-67. (in Russ.)
20. Rudometov S. V. Visually-interactive system of simulation of technological systems. Vestnik SibGUTI, 2011, no. 3, p. 14-27. (in Russ.)
21. Tatiana Kelemenová, Michal Kelemen, Eubica Miková, Vladislav Maxim, Erik Prada, Tomás Lipták, Frantisek Menda. Model Based Design and HIL Simulations. American Journal of Mechanical Engineering, 2013, vol. 1, no. 7, p. 276-281. DOI 10.12691/ajme-1-7-25
22. Thomas G. Introduction to the Modbus Protocol. Part 1. MTA, 2009, no. 2, p. 52-57. (in Russ.)
Received 06.09.2018
For citation :
Zhuravlev S. S., Rudometov S. V., Okolnishnikov V. V., Shakirov S. R. Model-Based Design Approach for Development Process Control Systems of Hazardous Industrial Facilities. Vestnik NSU. Series: Information Technologies, 2018, vol. 16, no. 4, p. 56-67. (in Russ.) DOI 10.25205/1818-7900-2018-16-4-56-67
