МОДЕЛІ МАТЕМАТИЧНИХ БЛОКІВ ДИСКРЕТНОГО ПЕРЕТВОРЕННЯ ІНФОРМАЦІЇ ДЛЯ ВЕРИФІКАЦІЇ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ ПРОГРАМОВАНИХ ЛОГІЧНИХ КОНТРОЛЕРІВ
Ключові слова:
програмований логічний контролер, модель, тест-кейс, блок, порт, Simulink, Matlab
Анотація
Моделювання є важливим етапом під час розробки сучасних технічних систем, особливо систем критичних для безпеки, адже дозволяє надати відповіді на велику кількість питань без необхідності проводити додаткові дослідження над коштовним обладнанням. Перевірка коректності роботи базових математичних алгоритмів, що використовуються під час побудови логіки додатків, які виконуються програмованими логічними контролерами (ПЛК), є необхідним завданням етапу їх розробки. У даній статті наведені результати експериментальних досліджень, щодо можливостей використання, у вигляді верифікаційного механізму, потужності одного із найбільш розповсюджених пакетів комп’ютерної математики – Matlab. Даний пакет, а також його компонент Simulink, використовується із метою верифікації роботи математичних алгоритмів розроблених за допомогою мови VHDL, що є базовими блоками при побудові логіки роботи ПЛК, які розробляються із використанням технології FPGA.Завантаження
Дані про завантаження поки що недоступні.
Посилання
1. IEC 61131-3: 2013. Programmable controllers-Part 3: Programming languages.
2. IEC 61508:2010. Functional safety of electri- cal/electronic/programmable electronic safety-related sys- tems.
3. ASME NQA-1-2008. Quality Assurance Require- ments for Nuclear Facility Applications, Part 1, Requirement 11, Test Control.
4. IEEE Computer Society IEEE Standard 754 for Floating-Point Arithmetic. — New York : IEEE, 2008. — 70 с. — ISBN 978-0-7381-5752-8.
5. Сивохин А. В., Мещеряков Б. К. Решение задач оптимального управления с использованием математиче- ской системы MATLAB и пакета имитационного модели- рования SIMULINK. Лабораторный практикум по осно- вам теории управления. – Пенза: Изд-во Пенз. гос. ун-та, 2006 – 120с.
6. Терёхин В.В. Моделирование в системе MATLAB: Учебное пособие /Кемеровский государственный универ- ситет. – Новокузнецк: Кузбассвузиздат, 2004. -376с.
2. IEC 61508:2010. Functional safety of electri- cal/electronic/programmable electronic safety-related sys- tems.
3. ASME NQA-1-2008. Quality Assurance Require- ments for Nuclear Facility Applications, Part 1, Requirement 11, Test Control.
4. IEEE Computer Society IEEE Standard 754 for Floating-Point Arithmetic. — New York : IEEE, 2008. — 70 с. — ISBN 978-0-7381-5752-8.
5. Сивохин А. В., Мещеряков Б. К. Решение задач оптимального управления с использованием математиче- ской системы MATLAB и пакета имитационного модели- рования SIMULINK. Лабораторный практикум по осно- вам теории управления. – Пенза: Изд-во Пенз. гос. ун-та, 2006 – 120с.
6. Терёхин В.В. Моделирование в системе MATLAB: Учебное пособие /Кемеровский государственный универ- ситет. – Новокузнецк: Кузбассвузиздат, 2004. -376с.
Опубліковано
2017-07-14
Як цитувати
Odarushchenko O.B. Моделі математичних блоків дискретного перетворення інформації для верифікації програмного забезпечення програмованих логічних контролерів / O.B. Odarushchenko, O.M. Odarushchenko, V.O. Butenko, V.V. Moscalets, O.Yu. Strjuk // Системи управління, навігації та зв’язку. Збірник наукових праць. – Полтава: ПНТУ, 2017. – Т. 4 (44). – С. 40-45. – Режим доступу: https://journals.nupp.edu.ua/sunz/article/view/376 (дата звернення: 25.11.2024).
Розділ
Статті
This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License.
