MATHEMATICAL MODEL OF BLOCKS DISCRETE TRONSFORM INFORMATION FOR SOFTWARE VERIFICATION PROGRAMMABLE LOGIC CONTROLLERS
Keywords:
programmable logic controller, model, test cases, power port, Simulink, MatlabAbstract
Modelling is an important step during the development of advanced technology systems, especially safety-critical systems, as it helps to answer many questions without the need to conduct additional studies on the expensive equipment. Checking the accuracy of the basic mathematical algorithms used in the construction of application logic performed by programmable logic controllers (PLC), is a necessary task stage during their development. This article presents the results of experimental studies on the possibilities of use Matlab as a verification mechanism. This package and its components Simulink were used to verify the mathematical algorithms developed with VHDL language, which are the basic blocks in the PLC logic developed using FPGA technology.Downloads
References
IEC 61131-3: 2013. Programmable controllers-Part 3: Programming languages.
IEC 61508:2010. Functional safety of electri- cal/electronic/programmable electronic safety-related sys- tems.
ASME NQA-1-2008. Quality Assurance Require- ments for Nuclear Facility Applications, Part 1, Requirement 11, Test Control.
IEEE Computer Society IEEE Standard 754 for Floating-Point Arithmetic. — New York : IEEE, 2008. — 70 с. — ISBN 978-0-7381-5752-8.
Сивохин А. В., Мещеряков Б. К. Решение задач оптимального управления с использованием математиче- ской системы MATLAB и пакета имитационного модели- рования SIMULINK. Лабораторный практикум по осно- вам теории управления. – Пенза: Изд-во Пенз. гос. ун-та, 2006 – 120с.
Терёхин В.В. Моделирование в системе MATLAB: Учебное пособие /Кемеровский государственный универ- ситет. – Новокузнецк: Кузбассвузиздат, 2004. -376с.
