A Temporal Logic for Programmable Logic Controllers

— We investigate the formal verification of the control software of critical systems, i.e., the verification of the compliance of the designed system with the requirements. The most important class of control software consists of programs for programmable logic controllers (PLCs). A special feature...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Automatic control and computer sciences 2021-12, Vol.55 (7), p.763-775
Hauptverfasser:	Garanina, N. O., Anureev, I. S., Zyubin, V. E., Staroletov, S. M., Liakh, T. V., Rozov, A. S., Gorlatch, S. P.
Format:	Artikel
Sprache:	eng
Schlagworte:	Computer Science Control Structures and Microprogramming Control systems Programmable logic controllers Semantics Software Temporal logic Verification
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!