Zobrazeno 1 - 10
of 16
pro vyhledávání: '"Tatiana Liakh"'
Autor:
Giordano Lilli, Midhun Xavier, Etienne Le Priol, Vincent Perret, Tatiana Liakh, Roberto Oboe, Valeriy Vyatkin
Publikováno v:
IEEE Open Journal of the Industrial Electronics Society, Vol 4, Pp 417-431 (2023)
Automation systems within nuclear laboratories are intended to work under harsh operating conditions. Selective Production of Exotic Species (SPES) is a nuclear research facility currently under construction by the Istituto Nazionale di Fisica Nuclea
Externí odkaz:
https://doaj.org/article/6965df7f10f7481687a3fb82bee001fb
With increase in use formal verification tools and methods in distributed systems, it is becoming more challenging to analyse the execution traces generated by formal verification tools. This paper presents a method for unification of execution trace
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c9f870628c33896154e26cc093d5e8dc
http://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-95121
http://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-95121
Autor:
Horst Schulte, Thomas Baar, Tatiana Liakh, Andrei Rozov, Sergey Staroletov, Nikolay V. Shilov, Vladimir Zyubin, Ivan Konyukhov
Publikováno v:
FedCSIS
The choice of an adequate notation and subsequent system formalization are the crucial points for the design of cyber-physical systems (CPSs). Here, an appropriate notation allows an explicit specification of the deterministic system behavior for spe
Autor:
Alexandr Dvinianin, Tatiana Liakh
Publikováno v:
2021 International Russian Automation Conference (RusAutoCon).
Reflex is a process-oriented language designed for the development of control software in cyber-physical systems. Cost of errors in such systems is very high. Dynamic debugging allows to check the quality of control software and prevent breakdowns. H
Autor:
Tatiana Liakh, Ilya Gornev
Publikováno v:
2021 IEEE 22nd International Conference of Young Professionals in Electron Devices and Materials (EDM).
The process-oriented programming language Reflex is a programming language for cyber-physical systems' (CPS) control software. It is based on the formal hyperprocess model. Reflex has proved effective in industrial projects. But using Reflex is diffi
Autor:
Alexandra Grivtsova, Tatiana Liakh
Publikováno v:
2020 International Russian Automation Conference (RusAutoCon).
Process-oriented programming is an approach for cyber-physical systems (CPS) software development. However, CPS software development requires verification tools in order to control the quality of CPS software. Dynamic verification is the most common
Publikováno v:
2020 21st International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices (EDM).
Process-oriented programming is a natural way to describe control software as a set of communicating processes with executable states, that allows to speed up its development. The Reflex language is one of the representatives of the family of process
Autor:
Vladimir Zyubin, Sergei Gorlatch, Tatiana Liakh, Igor S. Anureev, Natalia Olegovna Garanina, Andrei Rozov
Publikováno v:
System Informatics.
We address the formal verification of the control software of critical systems, i.e., ensuring the absence of design errors in a system with respect to requirements. Control systems are usually based on industrial controllers, also known as Programma
Publikováno v:
2019 International Multi-Conference on Engineering, Computer and Information Sciences (SIBIRCON).
This paper concerns a formal four-component dynamic verification model of process-oriented control algorithms, developed for cyber-physical systems (CPS) - support system of dynamic verification of CPS. It is a system of four interacting extended hyp
Publikováno v:
2019 International Multi-Conference on Engineering, Computer and Information Sciences (SIBIRCON).
Embedded systems based on small cheap microcontrollers surround all aspects of our lives. Due to inherent concurrency microcontroller software can exhibit complex behavior that is best specified using specialized programming langauges. The Industrial