Моделі математичних блоків дискретного перетворення інформації для верифікації програмного забезпечення програмованих логічних контролерів

Loading...
Thumbnail Image
Date
2017
Journal Title
Journal ISSN
Volume Title
Publisher
Полтавський національний технічний університет імені Юрія Кондратюка, Полтава; Науково-виробниче підприємство “Радій”, Кропивницький; Національний аерокосмічний університет імені М.Є. Жуковського “ХАІ”, Харків
Abstract
Моделювання є важливим етапом під час розробки сучасних технічних систем, особливо систем кри- тичних для безпеки, адже дозволяє надати відповіді на велику кількість питань без необхідності проводи- ти додаткові дослідження над коштовним обладнанням. Перевірка коректності роботи базових матема- тичних алгоритмів, що використовуються під час побудови логіки додатків, які виконуються програмова- ними логічними контролерами (ПЛК), є необхідним завданням етапу їх розробки. У даній статті наведені результати експериментальних досліджень, щодо можливостей використання, у вигляді верифікаційного механізму, потужності одного із найбільш розповсюджених пакетів комп’ютерної математики – Matlab. Даний пакет, а також його компонент Simulink, використовується із метою верифікації роботи матема- тичних алгоритмів розроблених за допомогою мови VHDL, що є базовими блоками при побудові логіки ро- боти ПЛК, які розробляються із використанням технології FPGA.
Description
Keywords
програмований логічний контролер, модель
Citation
Моделі математичних блоків дискретного перетворення інформації для верифікації програмного забезпечення програмованих логічних контролерів / О. Б. Одарущенко, О. М. Одарущенко, В. О. Бутенко, В. В. Москалець, О. Ю. Стрюк // Системи управління, навігації та зв'язку. - 2017. - Вип. 4. - С. 40-45.