Temporal Logic for Programmable Logic Controllers

Temporal Logic for Programmable Logic Controllers

We address the formal verification of the control software of critical systems, i.e., ensuring the absence of design errors in a system with respect to requirements. Control systems are usually based on industrial controllers, also known as Programmable Logic Controllers (PLCs). A specific feature o...

Full description

Bibliographic Details
Main Authors: Natalia Olegovna Garanina, Igor Sergeevich Anureev, Vladimir Evgenyevich Zyubin, Sergey Mikhailovich Staroletov, Tatiana Victorovna Liakh, Andrey Sergeevich Rozov, Sergei Petrovich Gorlatch
Format: Article
Language:English
Published: Yaroslavl State University 2020-12-01
Series:Моделирование и анализ информационных систем
Subjects:
формальная верификация
темпоральная логика
системы переходов
программируемые логические контроллеры (плк)
Online Access:https://www.mais-journal.ru/jour/article/view/1433

Internet

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

Similar Items