Standard

Towards safe cyber-physical systems : The reflex language and its transformational semantics. / Anureev, Igor; Garanina, Natalia; Liakh, Tatiana et al.

2019 International Siberian Conference on Control and Communications, SIBCON 2019 - Proceedings. ed. / O Stukach. Institute of Electrical and Electronics Engineers Inc., 2019. 8729633 (2019 International Siberian Conference on Control and Communications, SIBCON 2019 - Proceedings).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

Harvard

Anureev, I, Garanina, N, Liakh, T, Rozov, A, Schulte, H & Zyubin, V 2019, Towards safe cyber-physical systems: The reflex language and its transformational semantics. in O Stukach (ed.), 2019 International Siberian Conference on Control and Communications, SIBCON 2019 - Proceedings., 8729633, 2019 International Siberian Conference on Control and Communications, SIBCON 2019 - Proceedings, Institute of Electrical and Electronics Engineers Inc., 2019 International Siberian Conference on Control and Communications, SIBCON 2019, Tomsk, Russian Federation, 18.04.2019. https://doi.org/10.1109/SIBCON.2019.8729633

APA

Anureev, I., Garanina, N., Liakh, T., Rozov, A., Schulte, H., & Zyubin, V. (2019). Towards safe cyber-physical systems: The reflex language and its transformational semantics. In O. Stukach (Ed.), 2019 International Siberian Conference on Control and Communications, SIBCON 2019 - Proceedings [8729633] (2019 International Siberian Conference on Control and Communications, SIBCON 2019 - Proceedings). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/SIBCON.2019.8729633

Vancouver

Anureev I, Garanina N, Liakh T, Rozov A, Schulte H, Zyubin V. Towards safe cyber-physical systems: The reflex language and its transformational semantics. In Stukach O, editor, 2019 International Siberian Conference on Control and Communications, SIBCON 2019 - Proceedings. Institute of Electrical and Electronics Engineers Inc. 2019. 8729633. (2019 International Siberian Conference on Control and Communications, SIBCON 2019 - Proceedings). doi: 10.1109/SIBCON.2019.8729633

Author

Anureev, Igor ; Garanina, Natalia ; Liakh, Tatiana et al. / Towards safe cyber-physical systems : The reflex language and its transformational semantics. 2019 International Siberian Conference on Control and Communications, SIBCON 2019 - Proceedings. editor / O Stukach. Institute of Electrical and Electronics Engineers Inc., 2019. (2019 International Siberian Conference on Control and Communications, SIBCON 2019 - Proceedings).

BibTeX

@inproceedings{eab2c12ea0f44a03aa1323aa35ed5b58,
title = "Towards safe cyber-physical systems: The reflex language and its transformational semantics",
abstract = "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.",
keywords = "Cyber-physical systems, Deductive verification, Reflex language, Safety critical software",
author = "Igor Anureev and Natalia Garanina and Tatiana Liakh and Andrei Rozov and Horst Schulte and Vladimir Zyubin",
note = "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).; 2019 International Siberian Conference on Control and Communications, SIBCON 2019 ; Conference date: 18-04-2019 Through 20-04-2019",
year = "2019",
month = apr,
doi = "10.1109/SIBCON.2019.8729633",
language = "English",
series = "2019 International Siberian Conference on Control and Communications, SIBCON 2019 - Proceedings",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
editor = "O Stukach",
booktitle = "2019 International Siberian Conference on Control and Communications, SIBCON 2019 - Proceedings",
address = "United States",

}

RIS

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 -

ID: 28552155