Construction of PLC IL-Programs by LTL-Specification

Construction of PLC IL-Programs by LTL-Specification

An approach to the construction and verification of PLC IL-programs for discrete problems is proposed. For the specification of the program behavior, we use the linear-time temporal logic LTL. Programming is carried out in the IL-language (Instruction List) according to an LTL-specification. The cor...

Full description

Bibliographic Details
Main Authors: D. A. Ryabukhin, E. V. Kuzmin, V. A. Sokolov
Format: Article
Language:English
Published: Yaroslavl State University 2014-04-01
Series:Modelirovanie i Analiz Informacionnyh Sistem
Subjects:
programmable logic controllers
software engineering
specification and verification of plc-programs
instruction list
Online Access:https://www.mais-journal.ru/jour/article/view/117

Internet

https://www.mais-journal.ru/jour/article/view/117

Similar Items