@inproceedings{d7c19f542d6b45a58f428cac84f1f19b,
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, cyber-physical systems, C-PROGRAMS, safety critical software, deductive verification, VERIFICATION",
author = "Igor Anureev and Natalia Garanina and Tatiana Liakh and Andrei Rozov and Horst Schulte and Vladimir Zyubin",
year = "2019",
month = apr,
day = "1",
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",
note = "2019 International Siberian Conference on Control and Communications, SIBCON 2019 ; Conference date: 18-04-2019 Through 20-04-2019",
}