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

Full description

Saved in:

Bibliographic Details
Published in:	Automatic control and computer sciences Vol. 54; no. 7; pp. 719 - 727
Main Author:	Anureev, I. S.
Format:	Journal Article
Language:	English
Published:	Moscow Pleiades Publishing 01.12.2020 Springer Nature B.V
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!