АВТОМАТИЗИРОВАННАЯ ВЕРИФИКАЦИЯ АЛГОРИТМОВ УПРАВЛЕНИЯ СЛОЖНЫМИ ТЕХНОЛОГИЧЕСКИМИ ОБЪЕКТАМИ НА ПРОГРАММНЫХ ИМИТАТОРАХ
https://doi.org/10.25205/1818-7900-2018-16-4-85-94
Аннотация
Статья посвящена проблеме проверки алгоритмов управления, созданных в рамках процесс-ориентированного подхода, на соответствие входным спецификациям. Представлена общая схема верификации алгоритма управления, приведены ее реализация в автоматизированном варианте и результаты практической апробации в проекте по автоматизации Большого солнечного вакуумного телескопа.
Об авторах
Т. В. Лях
Институт автоматики и электрометрии СО РАН
Россия
Россия
В. Е. Зюбин
Институт автоматики и электрометрии СО РАН
Россия
Россия
Н. О. Гаранина
Институт систем информатики им. А. П. Ершова СО РАН
Россия
Россия
Список литературы
1. Закревский А. Д. Параллельные алгоритмы логического управления. М.: Эдиториал УРСС, 2003. 200 с.
2. Wagner F., Schmuki R., Wagner T., Wolstenholme P. Modeling software with finite state machines: a practical approach // Auerbach Publications. 2006. 390 p.
3. Harel D. Statecharts: A visual formalism for complex systems // Science of computer programming. 1987. Vol. 8.3. P. 231-274.
4. Зюбин В. Е. Программирование ПЛК: языки МЭК 61131-3 и возможные альтернативы // Промышленные АСУ и контроллеры. 2005. № 11. С. 31-35.
5. Лях Т. В., Зюбин В. Е., Сизов М. М. Опыт применения языка Reflex при автоматизации Большого солнечного вакуумного телескопа // Промышленные АСУ и контроллеры. 2016. № 7. С. 37-43.
6. Зюбин В. Е. К пятилетию стандарта IEC 1131-3. Итоги и прогнозы // Приборы и системы. Управление, контроль, диагностика. 1999. № 1. C. 64-71.
7. Samek M., Montgomery P. State Oriented Programming // Embedded Systems Programming. 2000. August. P. 22-43.
8. Шалыто А. А., Туккель Н. И. SWITCH технология - автоматный подход к созданию программного обеспечения «реактивных» систем // Программирование. 2001. № 5. С. 45-62.
9. Розов А. С., Зюбин В. Е., Нефедов Д. В. Программирование встраиваемых микроконтроллерных систем на основе гиперпроцессов // Вестн. НГУ. Серия: Информационные технологии. 2017. Т. 15, № 4. С. 64-73.
10. Зюбин В. Е. «Си с процессами» - язык программирования логических контроллеров // Мехатроника, автоматизация, управление. 2006. № 12. С. 31-35.
11. Зюбин В. Е. Итерационная разработка управляющих алгоритмов на основе имитационного моделирования объекта управления // Автоматизация в промышленности. 2010. № 11. С. 43-48.
12. Розов А. С., Лях Т. В., Краснов Д. В., Санжиев Е. С. Практическая апробация языка IndustrialC на примере автоматизации установки термовакуумного напыления // Вестн. НГУ. Серия: Информационные технологии. 2017. Т. 15, № 3. С. 90-99.
13. Гаранина Н. О., Зюбин В. Е., Лях Т. В. Онтологический подход к организации шаблонов требований в рамках системы поддержки формальной верификации программных систем. // Системная информатика. 2017. № 9. С. 111-132.
14. Shilov N. V., Garanina N. O. Combined Logics of Knowledge, Time, and Actions for Reasoning about Multi-agent Systems. Knowledge Processing and Data Analysis // Lecture Notes in Computer Science. 2011. Iss. 6581. P. 48-58.
15. Шелехов В. И. Верификация и синтез программ сложения на базе правил корректности операторов // Моделирование и анализ информационных систем. 2010. Т. 17, № 4. С. 101-110.
16. Clarke E. M., Gao S. Model checking hybrid systems // International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Lecture Notes in Computer Science. 2014. Iss. 8803. Р. 385-386.
17. Clarke E. M., Grumberg O., Peled D. Model checking. MIT Press, 1999. 314 p.
18. Clarke E. M., Emerson A., Sistla P. Automatic verification of finite-state concurrent systems using temporal logic specifications // ACM Transactions on Programming Languages and Systems. Vol. 8. Iss. 2. 1986. P. 244-263.
19. Isermann R., Schaffnit J., Sinsel S. Hardware-in-the-loop simulation for the design and testing of engine-control systems // Control Engineering Practice. 1999. Vol. 7. P. 643-653.
20. Xiao B., Starke M., King D., Irminger Ph., Herron A., Ollis B., Xue Y. Implementation of system level control and communications in a Hardware-in-the-Loop microgrid testbed // IEEE Power & Energy Society Innovative Smart Grid Technologies Conference (ISGT). 2016. P. 1-5.
21. Зюбин В. Е. Использование виртуальных объектов для обучения программированию информационно-управляющих систем // Информационные технологии. 2009. № 6. С. 79-82.
22. Лях Т. В., Зюбин В. Е. Автоматическая верификация алгоритмов управления сложными технологическими объектами на программных имитаторах // Математическое и компьютерное моделирование: Сб. материалов V Междунар. науч. конф., посвящ. памяти Р. Л. Долганова. Омск, 2017. С. 128-130.
23. Зюбин В. Е., Калугин А. А. Виртуальные лабораторные стенды: обучение программированию задач промышленной автоматизации // Промышленные АСУ и контроллеры. 2009. № 2. С. 39-44.
24. Ковадло П. Г., Лубков А. А., Бевзов А. Н., Будников К. И., Власов С. В., Зотов А. А., Колобов Д. Ю., Курочкин А. В., Котов В. Н., Лылов С. А., Лях Т. В., Максимов А. С., Перебейнос С. В., Петухов А. Д., Пещеров В. С., Попов Ю. А., Русских И. В., Томин В. Е. Система автоматизации Большого солнечного вакуумного телескопа // Автометрия. 2016. Т. 52, вып. 2. С. 97-106.
Рецензия
Для цитирования:
Лях Т.В., Зюбин В.Е., Гаранина Н.О. АВТОМАТИЗИРОВАННАЯ ВЕРИФИКАЦИЯ АЛГОРИТМОВ УПРАВЛЕНИЯ СЛОЖНЫМИ ТЕХНОЛОГИЧЕСКИМИ ОБЪЕКТАМИ НА ПРОГРАММНЫХ ИМИТАТОРАХ. Вестник НГУ. Серия: Информационные технологии. 2018;16(4):85-94. https://doi.org/10.25205/1818-7900-2018-16-4-85-94
For citation:
Liakh T.V., Zyubin V.E., Garanina N.O. AUTOMATIC VERIFICATION OF CONTROL ALGORITHMS FOR COMPLEX TECHNOLOGICAL OBJECTS ON SOFTWARE SIMULATORS. Vestnik NSU. Series: Information Technologies. 2018;16(4):85-94. (In Russ.) https://doi.org/10.25205/1818-7900-2018-16-4-85-94
Просмотров:
31
Послать статью по эл. почте 