Структурний аналіз мов програмування захищених застосунків для програмованих логічних контролерів
DOI:
https://doi.org/10.18372/2225-5036.22.10452Ключові слова:
програмований логічний контролер (ПЛК), МЕК 61131-3, мови програмування, система реального часу, мова діаграмного типу SFCАнотація
З приходом у сферу промислової автоматизації такого пристрою як програмовані логічні контролери (ПЛК), управління технологічними процесами істотно спростилося. Ведуться розробки нових систем обміну інформаційними даними і нових алгоритмів. Це призводить до величезного різноманіття контролерів. Кожен з них відрізняється специфічними набором функцій, унікальною конструкцією і конкретною мовою управління. У даній статті ми розглядаємо структуру ПЛК, що може допомогти у виборі, а також представляємо структурний аналіз мов програмування ПЛК. Розглянуто стандарт МЕК 61131-3 є забезпечення розробників програм для ПЛК потужними інструментами для підвищення якості застосунків, що включає в себе також надійність та захищеність програм. Проте, у даному стандарті бракує практичних методів перевірки, чи дійсно розроблений застосунок відповідає обраним вимогам з приводу захищеності.Посилання
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.
