Одарущенко, Олена БорисівнаОдарущенко, Олег МиколайовичБутенко, В. О.Москалець, В. В.Стрюк, О. Ю.2019-02-142019-02-142017Моделі математичних блоків дискретного перетворення інформації для верифікації програмного забезпечення програмованих логічних контролерів / О. Б. Одарущенко, О. М. Одарущенко, В. О. Бутенко, В. В. Москалець, О. Ю. Стрюк // Системи управління, навігації та зв'язку. - 2017. - Вип. 4. - С. 40-45.https://dspace.pdau.edu.ua/handle/123456789/2389Моделювання є важливим етапом під час розробки сучасних технічних систем, особливо систем кри- тичних для безпеки, адже дозволяє надати відповіді на велику кількість питань без необхідності проводи- ти додаткові дослідження над коштовним обладнанням. Перевірка коректності роботи базових матема- тичних алгоритмів, що використовуються під час побудови логіки додатків, які виконуються програмова- ними логічними контролерами (ПЛК), є необхідним завданням етапу їх розробки. У даній статті наведені результати експериментальних досліджень, щодо можливостей використання, у вигляді верифікаційного механізму, потужності одного із найбільш розповсюджених пакетів комп’ютерної математики – Matlab. Даний пакет, а також його компонент Simulink, використовується із метою верифікації роботи матема- тичних алгоритмів розроблених за допомогою мови VHDL, що є базовими блоками при побудові логіки ро- боти ПЛК, які розробляються із використанням технології FPGA.uk-UAпрограмований логічний контролермодельArticle