TY - GEN

T1 - Towards safe cyber-physical systems

T2 - 2019 International Siberian Conference on Control and Communications, SIBCON 2019

AU - Anureev, Igor

AU - Garanina, Natalia

AU - Liakh, Tatiana

AU - Rozov, Andrei

AU - Schulte, Horst

AU - Zyubin, Vladimir

N1 - Funding Information: This work has been supported by the Russian Foundation for Basic Research (grant 17-07-01600) and the Russian Ministry of Education and Science (project -17-11706061006-6).

PY - 2019/4

Y1 - 2019/4

N2 - Reflex is a process-oriented language that provides design of easy-to-maintain control software. The language has been successfully used in several safety-critical cyber-physical systems, e. g. control software for a silicon single crystal growth furnace. Now, the main goal of the Reflex language project is development a support for computer aided software engineering targeted to safety-critical application. The current issue of the project we discuss in this paper is creating static verification methods for Reflex programs. As base of the most static verification techniques is a formal language semantics, this paper presents the Reflex language semantics in form of the transformational one.

AB - Reflex is a process-oriented language that provides design of easy-to-maintain control software. The language has been successfully used in several safety-critical cyber-physical systems, e. g. control software for a silicon single crystal growth furnace. Now, the main goal of the Reflex language project is development a support for computer aided software engineering targeted to safety-critical application. The current issue of the project we discuss in this paper is creating static verification methods for Reflex programs. As base of the most static verification techniques is a formal language semantics, this paper presents the Reflex language semantics in form of the transformational one.

KW - Cyber-physical systems

KW - Deductive verification

KW - Reflex language

KW - Safety critical software

UR - http://www.scopus.com/inward/record.url?scp=85068324141&partnerID=8YFLogxK

U2 - 10.1109/SIBCON.2019.8729633

DO - 10.1109/SIBCON.2019.8729633

M3 - Conference contribution

AN - SCOPUS:85068324141

T3 - 2019 International Siberian Conference on Control and Communications, SIBCON 2019 - Proceedings

BT - 2019 International Siberian Conference on Control and Communications, SIBCON 2019 - Proceedings

A2 - Stukach, O

PB - Institute of Electrical and Electronics Engineers Inc.

Y2 - 18 April 2019 through 20 April 2019

ER -