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

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

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.

Original languageEnglish
Title of host publication2019 International Siberian Conference on Control and Communications, SIBCON 2019 - Proceedings
EditorsO Stukach
PublisherInstitute of Electrical and Electronics Engineers Inc.
Number of pages6
ISBN (Electronic)9781538651414
DOIs
Publication statusPublished - 1 Apr 2019
Event2019 International Siberian Conference on Control and Communications, SIBCON 2019 - Tomsk, Russian Federation
Duration: 18 Apr 201920 Apr 2019

Publication series

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

Conference

Conference2019 International Siberian Conference on Control and Communications, SIBCON 2019
CountryRussian Federation
CityTomsk
Period18.04.201920.04.2019

Keywords

  • Cyber-physical systems
  • Deductive verification
  • Reflex language
  • Safety critical software
  • cyber-physical systems
  • C-PROGRAMS
  • safety critical software
  • deductive verification
  • VERIFICATION

Fingerprint Dive into the research topics of 'Towards safe cyber-physical systems: The reflex language and its transformational semantics'. Together they form a unique fingerprint.

Cite this