ЖУРНАЛ СТА 4/2009

П о л у ч е н н ы е при моделиро вании диаграм мы последова тельности с по мощью инстру мента DeffMerg сравниваются с соответствую щими диаграм мами последова тельности, разра ботанными на этапе проектирования сис темы управления МР, и позволяют выявить несо ответствия исходным тре бованиям. Для верификации програм много кода используется система Rhapsody Automatic Test Generator (ATG). Она автоматически генерирует все возможные комбинации входных данных для покрытия условий и ветвей программного кода (Modified Conditi on/Decision Coverage – MC/DC) в со ответствии с ГОСТ Р 51904 2002 «Про граммное обеспечение встроенных сис тем. Общие требования к разработке и документированию» (российский ана лог международного стандарта DO 178В Software Considerations in Airborne Sys tems and Equipment Certification). Применение среды моделирования Rhapsody повышает эффективность разработки системы управления МР. Полученная программная модель сис темы управления обеспечивает её лёг кую адаптацию к различным областям применения (патрулирование терри тории, экологический мониторинг, разведка местности) с учётом их специфических требо ваний к функционирова нию и дополнительным аппаратным средствам. Р АЗРАБОТКА АСУ ТП Повышение эффектив ности изучения студента ми технических вузов мате матических моделей и мето дов управления технологи ческими процессами (ТП) ос новано на совместном исполь зовании виртуальных и физи ческих объектов управления. Для этого на факультете разработан программно технический комплекс (ПТК). При разработке ПТК учиты вался опыт кафедр микроэлектрони 2) модель дискретного (конвейерная линия с позициями обработки) и не прерывного (камера с изменяемым нагревом и уровнем освещённости) объектов управления на основе конт роллера SIMATIC S7 224XP компании Siemens (рис. 9); 3) модель роботизированного техно логического комплекса, состоящая из манипуляционного робота и транспор тёра компании Fischertechnik, и модель смешивания жидкостей на основе контроллера SIMATIC S7 315F компа нии Siemens (рис. 10); 4) модель смешивания жидкостей на основе промышленных датчиков и контроллера Premium TSX57 104M компании Schneider Electric; 5) модель камеры с управляемым нагревом и уровнем освещённости на базе контроллера I 7188D/DOS/512 и SCADA системы Trace Mode 6 [5]; 6) модель «умный дом» на базе конт роллера WAGO I/O 750 841 и ПЛК 150 компании ОВЕН. Студенты изучают особенности раз работки систем противоаварийной защиты на базе контроллера S7 315F и методики Safety Integrated в соот ветствии со стандартом IEC 61508, ко торый охватывает все электрические, электронные и контроллерные сис темы, используемые для реализа ции функций, связанных с безопас ностью [6]. О ЦЕНКА НАДЁЖНОСТИ СЛОЖНЫХ СИСТЕМ Вопросы моделирования и расчёта вероятностных характеристик надёж ности встраиваемых систем и АСУ ТП студенты изучают на основе программ ного комплекса (ПК) «Арбитр». ПК «Арбитр», разработанный ОАО «СПИК СЗМА», содержит спе циальное графическое средство представления структур сис тем – схему функциональной це лостности (СФЦ) [7]. С помощью аппарата СФЦ мо гут представляться как типовые монотонные структурные модели (блок схемы, графы связности, де ревья отказов, деревья событий), так и новый класс немонотонных структур ных моделей надёжности и безопас ности систем. ПК «Арбитр» позволяет строить модели надёжности структур но сложных системных объектов и процессов на основе общего логико вероятностного метода для расчёта на дёжности, стойкости, живучести, рис РАЗ РА БОТ КИ / ОБ У ЧАЮЩИЕ СИС Т ЕМЫ 83 СТА 4/2009 www.cta.ru Рис. 8. Лабораторный стенд «Теплица» на основе логических модулей LOGO! ки Самарского аэрокосмического университета, процессов и аппаратов химической технологии Московского государственного университета инже нерной экологии [4] и автоматизиро ванных систем управления тепловы ми процессами Московского энерге тического института. В учебном про цессе при разработке АСУ ТП исполь зуются программное обеспечение Autodesk Inventor 2009 и фирмы EPLAN, а также оборудование компа ний Rittal и DKC. В состав ПТК входят лабораторные стенды, которые представляют собой физические модели объектов автома тизации: 1) модель теплицы, управляемой ло гическим модулем LOGO! компании Siemens (рис. 8); Рис. 9. Лабораторный стенд управления дискретным и непрерывным технологическими процессами на базе контроллера SIMATIC S7 224XP © СТА-ПРЕСС