Structure analysis of secured applications programming language for programmable logic controllers

Authors

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

DOI:

https://doi.org/10.18372/2225-5036.22.10452

Keywords:

programmable logic controller (PLC), IEC 61131-3, programming languages, real-time system, diagram type language SFC

Abstract

Application of programmable logic controller in the sphere of industrial automation substantially simplified technological processes control. New data exchange systems and new algorithms are being developed. It leads to enormous variety of comptrollers. Each of them differs by specific set of functions, unique construction and certain control language. In this article we describe structure of PLC, that can help to choose one, and also present the structural analysis of PLC programming languages. IEC 61131-3 standard considered is to provide software developers PLC powerful tools to improve the quality of applications that includes the safety and security applications. However, this lack of standard practices check whether the designed application correspond to the requirements regarding protection.

Author Biographies

Юлія Борисівна Коваленко, Національний авіаційний університет

Рік та місце народження: 1981 рік, м. Баку, Азербайджан.

Освіта: Фізико-математичний факультет, Полтавського державного педагогічного університету імені В. Г. Короленка., 2003 рік.

Посада: доцент кафедри безпеки інформаційних технологій з 2013 року.

Наукові інтереси: об’єктно-орієнтоване програмування, автоматизовані системи управління, захищеність програмного забезпечення, фізика високих енергій(фізика елементарних частинок).

Публікації: більше 50 наукових публікацій, серед яких наукові статті,матеріали та тези доповідей на конференціях, навчальні посібники.

Ізабелла Юріївна Мішина, Національний авіаційний університет

Рік та місце народження: 1995 рік, м. Красноармійськ, Україна.

Освіта: Національний авіаційний університет, з 2012 року.

Посада: студентка.

Наукові інтереси: криптографічний захист інформації, розробка захищеного програмного забезпечення.

Публікації: декілька доповідей на конференціях.

Наталія Сергіївна Вишневська, Національний авіаційний університет

Рік та місце народження: 1977 рік, м. Київ, Україна.

Освіта: Київський міжнародний університет цивільної авіації (з 2001 року – Національний авіаційний університет), 2001 рік.

Посада: старший кафедри безпеки інформаційних технологій з 2012 року.

Наукові інтереси: інформаційна та авіаційна безпека.

Публікації: 10 наукових статей.

Андрій Васильович Дзюбаненко, Національний авіаційний університет

Рік та місце народження: 1983 рік, м. Лубни, Полтавська обл., Україна.

Освіта: Національний авіаційний університет, 2007 рік.

Посада: здобувач кафедри комп’ютеризованих електротехнічних систем та технологій.

Наукові інтереси: алгоритми розпізнавання образів, системи відеоспостереження, нейронні мережі.

Публікації: більше 20 наукових публікацій.

References

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.

Downloads

Published

2016-03-23

Issue

Vol. 22 No. 1 (2016)

Section

Software & Hardware Architecture Security