Моделі математичних блоків дискретного перетворення інформації для верифікації програмного забезпечення програмованих логічних контролерів
dc.contributor.author | Одарущенко, Олена Борисівна | |
dc.contributor.author | Одарущенко, Олег Миколайович | |
dc.contributor.author | Бутенко, В. О. | |
dc.contributor.author | Москалець, В. В. | |
dc.contributor.author | Стрюк, О. Ю. | |
dc.date.accessioned | 2019-02-14T17:18:39Z | |
dc.date.available | 2019-02-14T17:18:39Z | |
dc.date.issued | 2017 | |
dc.description.abstract | Моделювання є важливим етапом під час розробки сучасних технічних систем, особливо систем кри- тичних для безпеки, адже дозволяє надати відповіді на велику кількість питань без необхідності проводи- ти додаткові дослідження над коштовним обладнанням. Перевірка коректності роботи базових матема- тичних алгоритмів, що використовуються під час побудови логіки додатків, які виконуються програмова- ними логічними контролерами (ПЛК), є необхідним завданням етапу їх розробки. У даній статті наведені результати експериментальних досліджень, щодо можливостей використання, у вигляді верифікаційного механізму, потужності одного із найбільш розповсюджених пакетів комп’ютерної математики – Matlab. Даний пакет, а також його компонент Simulink, використовується із метою верифікації роботи матема- тичних алгоритмів розроблених за допомогою мови VHDL, що є базовими блоками при побудові логіки ро- боти ПЛК, які розробляються із використанням технології FPGA. | uk_UA |
dc.identifier.citation | Моделі математичних блоків дискретного перетворення інформації для верифікації програмного забезпечення програмованих логічних контролерів / О. Б. Одарущенко, О. М. Одарущенко, В. О. Бутенко, В. В. Москалець, О. Ю. Стрюк // Системи управління, навігації та зв'язку. - 2017. - Вип. 4. - С. 40-45. | uk_UA |
dc.identifier.uri | https://dspace.pdau.edu.ua/handle/123456789/2389 | |
dc.language.iso | uk_UA | uk_UA |
dc.publisher | Полтавський національний технічний університет імені Юрія Кондратюка, Полтава; Науково-виробниче підприємство “Радій”, Кропивницький; Національний аерокосмічний університет імені М.Є. Жуковського “ХАІ”, Харків | uk_UA |
dc.relation.ispartofseries | Системи управління, навігації та зв'язку;4 | |
dc.subject | програмований логічний контролер | uk_UA |
dc.subject | модель | uk_UA |
dc.title | Моделі математичних блоків дискретного перетворення інформації для верифікації програмного забезпечення програмованих логічних контролерів | uk_UA |
dc.type | Article | uk_UA |