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...

Descrición completa

Detalles Bibliográficos
Main Authors: Natalia Olegovna Garanina, Igor Sergeevich Anureev, Vladimir Evgenyevich Zyubin, Sergey Mikhailovich Staroletov, Tatiana Victorovna Liakh, Andrey Sergeevich Rozov, Sergei Petrovich Gorlatch
Formato: Artigo
Idioma:English
Publicado: Yaroslavl State University 2020-12-01
Series:Моделирование и анализ информационных систем
Subjects:
formal verification
temporal logics
transition systems
programmable logic controllers (plc)
Acceso en liña:https://www.mais-journal.ru/jour/article/view/1433

Internet

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

Títulos similares