Towards safe cyber-physical systems: The reflex language and its transformational semantics

Igor Anureev, Natalia Garanina, Tatiana Liakh, Andrei Rozov, Horst Schulte, Vladimir Zyubin

Результат исследования: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

Аннотация

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.

Язык оригиналаанглийский
Название основной публикации2019 International Siberian Conference on Control and Communications, SIBCON 2019 - Proceedings
РедакторыO Stukach
ИздательInstitute of Electrical and Electronics Engineers Inc.
Число страниц6
ISBN (электронное издание)9781538651414
DOI
СостояниеОпубликовано - 1 апр 2019
Событие2019 International Siberian Conference on Control and Communications, SIBCON 2019 - Tomsk, Российская Федерация
Продолжительность: 18 апр 201920 апр 2019

Серия публикаций

Название2019 International Siberian Conference on Control and Communications, SIBCON 2019 - Proceedings

Конференция

Конференция2019 International Siberian Conference on Control and Communications, SIBCON 2019
СтранаРоссийская Федерация
ГородTomsk
Период18.04.201920.04.2019

Fingerprint Подробные сведения о темах исследования «Towards safe cyber-physical systems: The reflex language and its transformational semantics». Вместе они формируют уникальный семантический отпечаток (fingerprint).

Цитировать