Author of pioneering work in the field of process-oriented programming, starting with the fundamental work introducing the conceptual framework for process-oriented programming - the hyperprocess model, which extends the finite state machine model for application in a wide class of control algorithms. The hyperprocess model later served as a basis for C-like specialized programming language SPARM, and, consequently, of it's advanced version - the Reflex language.
Effectiveness of the process-oriented approach has since been demonstrated in a series of complex and practically valuable projects. Most notable among these are the automatic control system for growing silicon single-crystal ingots, and automatic climate control system for the Big Vacuum Solar Telescope (Listvyanka, Baikal).
Based on the developed approach, a technology has been created for automated dynamic verification of control algorithms via testing, followed by an automatic verification approach using software simulators of control objects.
With Reflex language as a basis, the IndustrialC programming language has been developed, adapting the process-oriented approach for development of embedded microcontroller systems.
Dr. Zyubin has extensive experience in developing industrial automatic control systems. Particularly, world-class results have been achieved in the project on automatic recording of Bragg gratings in optical fibers.
Since 2017, he was directly involved in a series of research projects on creating static verification tools for control software using ontology-based methods, model checking and deductive verification. As a result, a process ontology was developed, covering the class of control objects, the transformation semantics of the Reflex language was specified, and a two-stage deductive verification method was proposed for Reflex programs based on the Z3 prover. The latest results are the poST language that is a process-oriented extension of the IEC 61131-3 Structured Text language and Event-Driven Temporal Logic (EDTL) notation for control software requirements specification.
Dr. Zyubin currently heads the laboratory of cyber-physical systems in the Institute of Automation and Electrometry SB RAS, which included experts in the fields of programming languages, dynamic and static verification of control algorithms, and neural network systems. This enables multidisciplinary research on development of integrated approaches based on the process-oriented programming paradigm, yielding world-class scientific results.
An Ontology-based Approach to Support Formal Verification of Concurrent Systems
Verifying Reflex-software with SPIN: Hand Dryer Case Study
Tatiana V. Liakh, Natalia O. Garanina, Igor S. Anureev, Vladimir E. Zyubin
Two-Step Deductive Verification of Control Software Using Reflex
Anureev I.S., Garanina N.O., Liakh T.V., Rozov A.S., Zyubin V.E., Gorlatch S
Towards safe cyber-physical systems: the Reflex language and its transformational semantics
Anureev I.S., Garanina N.O., Liakh T.V., Rozov A.S., Schulte H., Zyubin V.E
Model-Driven Methods to Design of Reliable Multiagent Cyber-Physical Systems
Staroletov S. M., Shilov N. V., Zyubin V. E., Liakh T. V., Rozov A. S., Konyukhov I., Shilov I. N., Baar T., and Schulte H
Constructing verification-oriented domain-specific process ontologies
Garanina N.O., Anureev I.S., Zyubin V.E
An Ontology of Specification Patterns for Verification of Concurrent Systems
Garanina N. O., Zyubin V., Lyakh T., Gorlatch S
Automatic Verification of Control Algorithms for Complex Technological Objects on Software Simulators
Reflex Language: a Practical Notation for Cyber-Physical Systems
The Reflex Language Usage to Automate the Large Solar Vacuum Telescope
Tatiana Liah, Vladimir Zyubin
A hyperprocess-based approach in Arduino programming
Andrey Rozov, Vladimir Zyubin
Process-oriented programming language for MCU-based automation
Andrei S. Rozov and Vladimir E. Zyubin
Using Process-Oriented Programming in LabVIEW
Zyubin V. E
Information Complexity Hypothesis: a Conceptual Framework for Reasoning on Pragmatics Issues
Zyubin V. E
Hyper-automaton: A Model of Control Algorithms
Vladimir E. Zyubin
An Automated Control System for a Silicon Single-Crystal Growth Furnace
Bulavskij D., Zyubin V., Karlson N., Krivoruchko V., Mironov V