Operational Semantics of Annotated Reflex Programs

— Reflex is a process-oriented language for developing easy-to-maintain control software for programmable logic controllers. The language has been successfully used in several safety-critical control systems, e.g., in control systems of a silicon single crystal growing furnace and electronic equipme...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Automatic control and computer sciences Jg. 54; H. 7; S. 719 - 727
1. Verfasser:	Anureev, I. S.
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Moscow Pleiades Publishing 01.12.2020 Springer Nature B.V
Schlagworte:	Annotations Clocks Computer Science Control equipment Control Structures and Microprogramming Control systems Crystal growth Electronic equipment Formal specifications Hand driers Language Programmable logic controllers Safety critical Semantics Single crystals Software Software reliability Verification annotation programmable logic controller control software operational semantics annotated program Reflex language control system
ISSN:	0146-4116, 1558-108X
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!