Структурний аналіз мов програмування захищених застосунків для програмованих логічних контролерів

Юлія Борисівна Коваленко, Ізабелла Юріївна Мішина, Наталія Сергіївна Вишневська, Андрій Васильович Дзюбаненко

Анотація


З приходом у сферу промислової автоматизації такого пристрою як програмовані логічні контролери (ПЛК), управління технологічними процесами істотно спростилося. Ведуться розробки нових систем обміну інформаційними даними і нових алгоритмів. Це призводить до величезного різноманіття контролерів. Кожен з них відрізняється специфічними набором функцій, унікальною конструкцією і конкретною мовою управління. У даній статті ми розглядаємо структуру ПЛК, що може допомогти у виборі, а також представляємо структурний аналіз мов програмування ПЛК. Розглянуто стандарт МЕК 61131-3 є забезпечення розробників програм для ПЛК потужними інструментами для підвищення якості застосунків, що включає в себе також надійність та захищеність програм. Проте, у даному стандарті бракує практичних методів перевірки, чи дійсно розроблений застосунок відповідає обраним вимогам з приводу захищеності.

Ключові слова


програмований логічний контролер (ПЛК); МЕК 61131-3; мови програмування; система реального часу; мова діаграмного типу SFC

Посилання


Bonfatti F., Monari P.D. and Sampieri U. IEC 1131-3 programming methodology. Software engineering methods for industrial automated systems, CJ International Editions, ISBN 2-9511585-0-5.

Ohman M., Johansson S. and Arzиn K.E., Implementation aspects of the PLC standard IEC 1131-3, IFAC Control Engineering Practice 123. – Vol. 6. – №°4. – P. 547-555

Barbosa H., Dйharbe D. Formal Verification of PLC Programs Using the B Method. - Proceedings of the Third international conference on Abstract State Machines, Alloy, B, VDM, and Z, 2012. – P. 353-356

Lewis R.W. Programming industrial control systems using IEC 113-3 Revised edition. – The Institution of Electrical Engineers, London, UK, 1998. – 329 p.

De Smet O., Couffin S., Rossi O., Canet G., Lesage J.-J., Schnoebelen Ph., Papini H. Safe programming of PLC using formal verification methods, Ecole Normale Suprieure, Chaire De Fabrications, France, 2000.

IEC 61131-3:2013 Programmable controllers - Part 3: Programming languages.

Анисимов Н.А., Голенков Е.А., Харитонов Д.И. Композиционный подход к разработке параллельных и распределенных систем на основе сетей Петри // Программирование. – 2001. –№6.

Зюбин В.Е. Графика или текст: какой язык нужен программисту? // Открытые системы. – 2004. – №1.

Зюбин В.Е. Программирование ПЛК: языки МЭК 61131-3 и возможные альтернативы // Промышленные АСУ и контроллеры. – 2005. – №11. – С. 31-35.


Повний текст: PDF

Посилання

  • Поки немає зовнішніх посилань.


ISSN  2411-071X (Online), ISSN 2225-5036 (Print)

Ліцензія Creative Commons
Цей твір ліцензовано за ліцензією Creative Commons Із зазначенням авторства - Некомерційна - Без похідних творів 3.0 Неадаптована

РИНЦ SSM WorldCat BASE Національна бібліотека ім. Вернадського Науково-технічна бібліотека НАУ Ulrich's Periodicals Directory