Research group

Cyber-Physical Systems Lab

Group Interests

process-oriented programming, software psychology and domain-specific languages for control software (cyber-physical systems, PLCs, embedded systems, IIoT, distributed control systems, etc.), safety critical systems, requirement engineering, formal semantics, dynamic verification, model checking, deductive verification, ontological design

Group supervisory & consulting experience (2010-2019)

B. Sc. – 50+

M. Sc. – 30+

Ph. D. – 6

Group teaching experiences

Post-Grad courses:

  • Methodology of Research & Development
  • Open Systems
  • Analysis of Algorithms
  • Model Checking
  • Formal Methods in Software Engineering

Grad courses:

  • Engineering of Modern Information Systems
  • Systems Engineering and Programming
  • Process-Oriented Programming
  • Hybrid systems with ARM-architecture
  • Programmable Microcontrollers
  • Embedded Systems
  • Basics of Object-Oriented Programming
  • Image processing
  • OS components designing
  • Modern Software Testing and Verification Techniques
  • Functional Languages of Distributive Programming

Selected projects

  • Dynamic Verification of Control Algorithms in Cyber-Physical Systems Using Software Simulators
  • IndustrialC: a Process-Oriented Programming Language for MCU-based Automation
  • Control System for the Large Solar Vacuum Telescope
  • Using Process-Oriented Programming in LabVIEW
  • Virtual Labs for Teaching of Control Programming
  • Information Complexity: Psychological Basis for Reasoning on Pragmatics
  • Software for Physical Simulation of Large-Size Silicon Ingots Growing
  • Reflex Language: a Process-Oriented Programming Language for PLC-based Automation
  • Hyper-Automaton: a Conceptual Framework for Process-Oriented Programming
  • Automated Control System for a Silicon Single-Crystal Growth Furnace
  • VME-Based Multiprocessor Control System for CNC Machine
  • Deductive Verification of Control-Loop Based Software for Reactive Systems
  • Model Checking for Concurrent Systems
  • Formal semantics of programs and program systems
  • Ontological Design for Conceptually Complex Systems

Publications

  • LNCS, vol 12232,
  • Anureev I.S., Garanina N.O., Liakh T.V., Rozov A.S., Zyubin V.E., Gorlatch S
    Two-Step Deductive Verification of Control Software Using Reflex
    Preliminary Proceedings of A. P. Ershov Informatics Conference (PSI-19). A. P. Ershov Institute of Informatics Systems: IPC NSU, Novosibirsk, Russia, Akademgorodok, Russia,
  • Anureev I.S., Garanina N.O., Liakh T.V., Rozov A.S., Schulte H., Zyubin V.E
    Towards safe cyber-physical systems: the Reflex language and its transformational semantics
    14th IEEE International Siberian Conference on Control and Communications (SIBCON-2019). Tomsk State University of Control Systems and Radioelectronics, Tomsk. P.1–6.,
  • Staroletov S., Fedorov V
    An Application of Test-Driven Development Methodology into the Process of Hardware Creation (a View from a Software Perspective)
    10th workshop “Program semantics, specification and verification: Theory and applications”,
  • Staroletov S., Dubko A
    A Method to Verify Parallel and Distributed Software in C# by Doing Roslyn AST Transformation to a Promela Model
    System Informatics. P. 13-44,
  • Garanina N.O., Anureev I.S., Zyubin V.E
    Constructing verification-oriented domain-specific process ontologies
    System Informatics. Iss. 14. 2019. A.P. Ershov Institute of Informatics Systems, Siberian Branch of the Russian Academy of Sciences, Novosibirsk. P. 19–30.,
  • 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
    Model-Driven Methods to Design of Reliable Multiagent Cyber-Physical Systems
    Proceedings of MACSPro 2019 : Modeling and Analysis of Complex Systems and Processes, Vienna, Austria,
  • Garanina N. O., Zyubin V., Lyakh T., Gorlatch S
    New Trends in Intelligent Software Methodologies, Tools and Techniques – Proceedings of the 17th International Conference SoMeT18, Granada, Spain,
  • Automatic Verification of Control Algorithms for Complex Technological Objects on Software Simulators
    Vestnik NSU. Series: Information Technologies 16.4. In Russian, pp. 85–94.,
  • Reflex Language: a Practical Notation for Cyber-Physical Systems
    System Informatics 12 (2018), pp. 84–104,
  • Tatiana Liah, Vladimir Zyubin
    The Reflex Language Usage to Automate the Large Solar Vacuum Telescope
    17th International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices (EDM).,
  • Andrey Rozov, Vladimir Zyubin
    A hyperprocess-based approach in Arduino programming
    International Conference on Advanced Technology & Sciences (ICAT’15), Antalya,
  • Anureev I.S
    Operational semantics of Reflex
    System Informatics. Iss. 14. 2019. A.P. Ershov Institute of Informatics Systems, Siberian Branch of the Russian Academy of Sciences, Novosibirsk. P. 1–10,
  • Andrei S. Rozov and Vladimir E. Zyubin
    Process-oriented programming language for MCU-based automation
    IEEE International Conference on Control and Communications, SIBCON-2013, Krasnoyarsk,
  • Zyubin V. E
    Using Process-Oriented Programming in LabVIEW
    Proceedings of the Second IASTED International Multi-Conference on “Automation, control, and information technology”: Control, Diagnostics, and Automation, Novosibirsk,
  • Zyubin V. E
    Information Complexity Hypothesis: a Conceptual Framework for Reasoning on Pragmatics Issues
    Proceedings of IEEE International Conference on Computational Technologies in Electrical and Electronics Engineering, SIBIRCON-08. Novosibirsk Scientific Center, Novosibirsk, Russia,
  • Vladimir E. Zyubin
    IEEE International Conference on Control and Communications, SIBCON-2013, Krasnoyarsk,
  • Bulavskij D., Zyubin V., Karlson N., Krivoruchko V., Mironov V
    An Automated Control System for a Silicon Single-Crystal Growth Furnace
    Autometria, Vol. 32, No 2 (1996), pp. 25–30,