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 and static verification (model checking, deductive verification, ontological design).

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. 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,
  • 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”,
  • 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., 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., 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,